search

izlatkin / HornLauncher

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

[wrong coverage] loop4.c #26

Closed izlatkin closed 2 years ago

izlatkin commented 3 years ago

for https://github.com/sosy-lab/sv-benchmarks/blob/master/c/loop-floats-scientific-comp/loop4.c coverage looks wrong function radianMeasure(x) were called 4 time but it did not reflected in report

image

izlatkin commented 2 years ago

not supported