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/loop-acceleration/overflow_true-unreach-call1.i |
programSHA | f443d693e922fefd24923bf3605add7b207f188a52bd4887d407b0726c380d82 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.overflow_true-unreach-call1.i.files/witness.graphml |
witnessSHA | d4ecdffdfe959b3d7edc36880b871aff4871af56c1ad98576b5fc85b88611a59 |