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/systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c |
programSHA | 075db278199700abbc65295bfdc6d23d7d28a0da4180c2b31a92d03a1c92fb10 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.mem_slave_tlm.3_true-unreach-call_false-termination.cil.c.files/witness.graphml |
witnessSHA | 997f2b5767b52e9b46d6953dc9e21675d8c6eb5e00835507daed2cf4d21c1c03 |