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/ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i |
programSHA | 598fd6d8d90edc6e5400c9913bd0e47da8840d06f6988963063a8c868dd5828e |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i.files/witness.graphml |
witnessSHA | a3ef64d532a32aa92c48cdb4f969b91b1ec0867fa11716c185483ea3b8c72782 |