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/loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i |
programSHA | d74b9ea066fb7f17f4f9b2b3a94a770c4bbb7e4584e29ffac6eb4606412daaf8 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i.files/witness.graphml |
witnessSHA | cfed21ee61493e5f11d216cfbb676a9b53c84857b0a75dcd5afe4af745bfa118 |