Witness Inspection

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).

View and Validate the Witness

Input Given to this Service about the Witness (URL Query)

Key Value
programName sv-benchmarks/c/loops/while_infinite_loop_1_true-unreach-call_false-termination.i
programSHA d84305f67ac4cfdea2425ef8dab1b85d1252bb0859bd08e5b91af29c309d1ee0
witnessName results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.while_infinite_loop_1_true-unreach-call_false-termination.i.files/witness.graphml
witnessSHA 55c0b9ac2fe88dfc25d8f976ae80565f3e7bb350c0b9f9c2085f65a0a7c1540f

Information about the Witness from Competition Database

from https://sv-comp.sosy-lab.org/2018/results/witnessInfoByHash/55c0b9ac2fe88dfc25d8f976ae80565f3e7bb350c0b9f9c2085f65a0a7c1540f.json