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 | ../../../comp/sv-benchmarks/c/reducercommutativity/sum40_true-unreach-call.i |
programSHA | 21a4b0441fe1d938017abc4b77d51e76fd2a6d866ca473a060534b234e465eb4 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.sum40_true-unreach-call.i.files/witness.graphml |
witnessSHA | bd4764bfa34f227506539d07e0a72ab71d294b6f338548827f702751840ec5bc |