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