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/bitvector-loops/diamond_false-unreach-call2.i |
programSHA | bcf679bfa04b1fbcd635d39b7fcf10b90f13b5b1b9a6cb34d9f932caed50dbe3 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.diamond_false-unreach-call2.i.files/witness.graphml |
witnessSHA | 3c570faf6c8ee45a7173489b5dae7f62706e2fa066145630c1c66308fd694997 |