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/recursive-simple/fibo_2calls_10_false-unreach-call.c |
programSHA | febc4efdff535c6a999888148f92c44b53c62d91551550b90a0aaa8c95c042f4 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.fibo_2calls_10_false-unreach-call.c.files/witness.graphml |
witnessSHA | 0175ae92bcace45f52492364a1b0a24aef6a7183c5da6bc348c73f108f408d4e |