search

izlatkin / HornLauncher

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

[tool tg] low coverage for benchmark17_conjunctive #21

Closed izlatkin closed 3 years ago

izlatkin commented 3 years ago

For https://github.com/sosy-lab/sv-benchmarks/blob/99d37c5b4072891803b9e5c154127c912477f705/c/loop-zilu/benchmark17_conjunctive.c coverage is expected to be higher and covered conditions image benchmark17_conjunctive.smt2.txt log.txt

However, it works fine for very similar c-file https://github.com/sosy-lab/sv-benchmarks/blob/99d37c5b4072891803b9e5c154127c912477f705/c/loop-zilu/benchmark27_linear.c

grigoryfedyukovich commented 3 years ago

should be fixed now

izlatkin commented 3 years ago

fixed image