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/floats-cdfpl/sine_2_false-unreach-call_true-termination.i |
programSHA | fc61f411650ed0513604e7c2fc4f7236bd85ec5cb7bf12d7f380d06fd86ae920 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.sine_2_false-unreach-call_true-termination.i.files/witness.graphml |
witnessSHA | b8f6bf1768a1b5988d8619ef2d6e52ae6716a94acf21c4495a93451bdc988c59 |