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/floats-esbmc-regression/fabs_true-unreach-call.i |
programSHA | 967ceca3233503b35e425608c78970574cd480e1cf458fc9323b26d9e83cdcb3 |
witnessName | results-verified/interpchecker.2017-12-05_0752.logfiles/sv-comp18.fabs_true-unreach-call.i.files/witness.graphml |
witnessSHA | 944c0287c97f0122973762558ca8a7f4ea52ed035b361409ea0fef63d26a0d73 |