search

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation
0 stars 0 forks source link

[tg tool] false "Error: key 34747 not found" #18

Closed izlatkin closed 2 years ago

izlatkin commented 3 years ago

for https://github.com/sosy-lab/sv-benchmarks/blob/master/c/loop-invgen/apache-get-tag.i.p%2Blhb-reducer.c ./aeval/build/tools/tg/tg returns Error: key 34747 not found However key 34747 is in smt file reproduced with and without '--no-term' /Users/ilyazlatkin/PycharmProjects/aeval/build/tools/tg/tg --no-term --keys 18431,33064,34438,34582,34747,34483,34626,34507,34659,34802,34683,34564,34445,34738 apache-get-tag.i.p+lhb-reducer.smt2 apache-get-tag.i.p+lhb-reducer.smt2.txt log.txt

izlatkin commented 2 years ago

fixed