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/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 |