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/loop-lit/gr2006_true-unreach-call_true-termination.c.i
programSHA 9323c6df99d7611b7c2165bc2f75a9bab12dfef37ae629943c484e0bc5186f22
witnessName results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.gr2006_true-unreach-call_true-termination.c.i.files/witness.graphml
witnessSHA ac1de43df878dc592931cbaab784ac2ef2d95027e18ea1538281544e8eaf4e92

Information about the Witness from Competition Database

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