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/ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i
programSHA 698990129f6491a9e8bba7312b2b88b01d45f094f386925898141ce4107a7c73
witnessName results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i.files/witness.graphml
witnessSHA 4c8d6970867f9dcfe021a26b39fe13b2a46715e12dd807d6a4cd58f87d8e631b

Information about the Witness from Competition Database

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