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/loops/while_infinite_loop_1_true-unreach-call_false-termination.i |
programSHA | d84305f67ac4cfdea2425ef8dab1b85d1252bb0859bd08e5b91af29c309d1ee0 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.while_infinite_loop_1_true-unreach-call_false-termination.i.files/witness.graphml |
witnessSHA | 55c0b9ac2fe88dfc25d8f976ae80565f3e7bb350c0b9f9c2085f65a0a7c1540f |