Witness Inspection

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).

View and Validate the Witness

Input Given to this Service about the Witness (URL Query)

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

Information about the Witness from Competition Database

from https://sv-comp.sosy-lab.org/2018/results/witnessInfoByHash/ff5ccd60ec4e964a6556e3a39064bf442c527e629f10c073179a84d415df7b4f.json