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/nan_float_false-unreach-call_true-termination.c
programSHA 732c5a0c7e99ce1ebe0abb411ff994af4752be5fc25f5b400e29590b09449135
witnessName results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.nan_float_false-unreach-call_true-termination.c.files/witness.graphml
witnessSHA 5c0d88e7a2bf3fb0e768c70ca118a068e103b209fedffcc81ef026a5423148b5

Information about the Witness from Competition Database

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