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/floats-cbmc-regression/float-div1_true-unreach-call.i |
programSHA | 1494627bc9e4ae8f359c1ada94dca8a2ee770b681a11c3c7748ef8f6a403995a |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.float-div1_true-unreach-call.i.files/witness.graphml |
witnessSHA | 73520da82a3deba148082b7a1fa9bd6fd245acb3508e42ada552b966a32ef126 |