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/heap-manipulation/tree_false-unreach-call_false-valid-deref.i
programSHA 219b024195f4bee3b0c05567d84c18481f53dfb42dca03a02e31f84d5a2d73e4
witnessName results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.tree_false-unreach-call_false-valid-deref.i.files/witness.graphml
witnessSHA 0f46c237ac2a8a61be6c3dd5c891fd61117421d7dfa14dc4750687b15675e5ac

Information about the Witness from Competition Database

from https://sv-comp.sosy-lab.org/2018/results/witnessInfoByHash/0f46c237ac2a8a61be6c3dd5c891fd61117421d7dfa14dc4750687b15675e5ac.json