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-regression/integerpromotion_false-unreach-call_true-termination.c
programSHA a966fe3c643e09c8fc5207ca6c3eead2c84d01c2a7e856a045413ee9b39cec70
witnessName results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.integerpromotion_false-unreach-call_true-termination.c.files/witness.graphml
witnessSHA 89ed67fa65ab0cc31f5322cdf58cc5d6d7f01cc7795878c29213c760a35ccded

Information about the Witness from Competition Database

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