Commit a5543c38 authored by POLLIEN Baptiste's avatar POLLIEN Baptiste
Browse files

Remove frama-c cache

parent bec4f317

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.055,
"steps": 152 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0177,
"steps": 26 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.56 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.09 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.13 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "valid", "time": 0.08 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 3.594,
"steps": 482 }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 5.853,
"steps": 585 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0228,
"steps": 60 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.2975,
"steps": 314 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.3512,
"steps": 528 }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment