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/ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c |
programSHA | 76dab129dbbc77603bfa3981c5bef02b5a1b88f01b28e97d3f6ec6663512ad15 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.s3_srvr.blast.04_false-unreach-call.i.cil.c.files/witness.graphml |
witnessSHA | f9ca0f4e7f5f96b1a0c02a7a51d65360cda760b9d1cf531722458a81fadd5ebb |