search

izlatkin / HornLauncher

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

[iftelse.c] coverage different #39

Open izlatkin opened 2 years ago

izlatkin commented 2 years ago

there is a mistake in coverage merge for benchmark iftelse.c difference for TestCov and TG eresults image