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/square_7_true-unreach-call_true-termination.i |
programSHA | 11162587c4738e7aec7c2d504092dbfe64b0e8418f6e2ab4008f53360556516f |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.square_7_true-unreach-call_true-termination.i.files/witness.graphml |
witnessSHA | 4427bccfdc2a84a081105e40d4ca9d802ea0f94340ac13c5395d5f8f87c3fe38 |