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/float-benchs/filter2_set_true-unreach-call_true-termination.c |
programSHA | 09681a919821532e0dcf7767adad4c046c899f9bc66dc21b27e74e1d7ca39bae |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.filter2_set_true-unreach-call_true-termination.c.files/witness.graphml |
witnessSHA | 0e05422dec284422cd3d87e9f244b2c6e36316dd5ecdaa0cf03c883759a04cf4 |