A description of this web service can be found in the CAV paper "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses" (more material).
Key | Value |
programName | sv-benchmarks/c/float-benchs/sqrt_biNewton_pseudoconstant_true-unreach-call.c |
programSHA | 62eefed3e2b425051b4ddd3fdaacb094798240c9bcda9e38ace1f095316dbd89 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.sqrt_biNewton_pseudoconstant_true-unreach-call.c.files/witness.graphml |
witnessSHA | 7b7e3c9c226c0d3eb9797baa4721ce937f7eef4fcc28b6c588121d9753e64bab |