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/recursive-simple/sum_10x0_true-unreach-call_true-termination.c |
programSHA | 3d1dc09557d78ef9976ff72a1f3b4c53d2a1540af12ab3407aaab5ef1d02f364 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.sum_10x0_true-unreach-call_true-termination.c.files/witness.graphml |
witnessSHA | ff5ccd60ec4e964a6556e3a39064bf442c527e629f10c073179a84d415df7b4f |