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/sum04_false-unreach-call_true-termination.i |
programSHA | 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.sum04_false-unreach-call_true-termination.i.files/witness.graphml |
witnessSHA | 3720938728abd632683a43e0a808feca66a701e5088982e3f429bbce832686dc |