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/loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i |
programSHA | f36a6f7a32113ae02d2de1e52f83c18ccb2063a0868547db452822ab1ed650bc |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.SpamAssassin-loop_true-unreach-call_false-termination.i.files/witness.graphml |
witnessSHA | fe746a3d3ec8879eaedb2bbc71e0c0ddfc04e3867f264ae79f30ca320a8040cc |