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/loop-lit/gr2006_true-unreach-call_true-termination.c.i |
programSHA | 9323c6df99d7611b7c2165bc2f75a9bab12dfef37ae629943c484e0bc5186f22 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.gr2006_true-unreach-call_true-termination.c.i.files/witness.graphml |
witnessSHA | ac1de43df878dc592931cbaab784ac2ef2d95027e18ea1538281544e8eaf4e92 |