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/heap-manipulation/tree_false-unreach-call_false-valid-deref.i |
programSHA | 219b024195f4bee3b0c05567d84c18481f53dfb42dca03a02e31f84d5a2d73e4 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.tree_false-unreach-call_false-valid-deref.i.files/witness.graphml |
witnessSHA | 0f46c237ac2a8a61be6c3dd5c891fd61117421d7dfa14dc4750687b15675e5ac |