search

izlatkin / HornLauncher

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

mistake in coverage merge for nec11.c #11

Closed izlatkin closed 3 years ago

izlatkin commented 3 years ago

https://github.com/sosy-lab/sv-benchmarks/blob/master/c/loops/nec11.c

One test image but final coverage looks like image

izlatkin commented 3 years ago

not reproducible on the screenshot there are different files