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_20x0_false-unreach-call_true-termination.c |
programSHA | 68d37a402b93bae08f8b3466b283c1c655bc91c889876606a9f6ecc6e33ecff0 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.sum_20x0_false-unreach-call_true-termination.c.files/witness.graphml |
witnessSHA | b637ad457eb52942486d6d74239f16aeb80000b85f2fc07e63bec74d978bd221 |