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/float-benchs/filter2_set_true-unreach-call_true-termination.c
programSHA 09681a919821532e0dcf7767adad4c046c899f9bc66dc21b27e74e1d7ca39bae
witnessName results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.filter2_set_true-unreach-call_true-termination.c.files/witness.graphml
witnessSHA 0e05422dec284422cd3d87e9f244b2c6e36316dd5ecdaa0cf03c883759a04cf4

Information about the Witness from Competition Database

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