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/seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c |
programSHA | e18c8eb7ebebccbc387b6c9a38f9dc99d1dce01ddf27405ab9ec90728199118d |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c.files/witness.graphml |
witnessSHA | 663ffd091f2c8b23a5eedeed8d0140bf7a6be6221b0dcfa67112d02805d9afae |