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/bitvector/sum02_false-unreach-call_true-no-overflow.i
programSHA a9d51788de70020ea7ac82cbe7bab39f80fa224038d9978f5ea41a6e9555c8ec
witnessName results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.sum02_false-unreach-call_true-no-overflow.i.files/witness.graphml
witnessSHA 181e475bf54049876f714bf909aafc033fc4750aaa892f367a6ccf104193ec7d

Information about the Witness from Competition Database

from https://sv-comp.sosy-lab.org/2018/results/witnessInfoByHash/181e475bf54049876f714bf909aafc033fc4750aaa892f367a6ccf104193ec7d.json