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_all_false-unreach-call_true-valid-memsafety.i |
programSHA | 06c0f26b38014f39d6a8412ecc5470e5402a3f23b03da99503c30a1d78339617 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i.files/witness.graphml |
witnessSHA | 317ffc3f4864f8ebc9fe04d0eae4aa8ff1caf34720778de57316c99ec97b861b |