TestCov 2022
There is something in Testcov_v3.5_Post3 I could not understand. I noticed in the previous Testcov_v3.5_Dev0 was giving an accurate percentage compared with the "Testcov_v3.5_Post3". This happened in "array-fpi/*" files mostly.
Consider this program "array-fpi/sina5f.yml" as a case study:
1- Result from Testcov_v3.5_Post3: https://test-comp.sosy-lab.org/2022/results/results-verified/FuSeBMC.2021-11-05_20-54-01.results.Test-Comp22_coverage-branches.ReachSafety-Arrays.xml.bz2.merged.xml.bz2.table.html#/table?hidden1=9&filter=id_any(value(array-fpi/sina5f.yml))
2- Result from Testcov_v3.5_Dev0: https://test-comp.sosy-lab.org/2022/results/results-verified/FuSeBMC.2021-11-04_09-30-11.results.Test-Comp22_coverage-branches.ReachSafety-Arrays.xml.bz2.merged.xml.bz2.table.html#/table?filter=id_any(value(array-fpi/sina5f.yml))
This changed our results in this subcategory, "Arrays," from 298 to 284.
@lemberger Is there any explanation for this behavior?