Commit 88fda773 authored by POLLIEN Baptiste's avatar POLLIEN Baptiste
Browse files

Update Cache

parent b4b1abb2
(* Frama-C journal generated at 09:26 the 15/02/2021 *)
(* Frama-C journal generated at 15:44 the 16/02/2021 *)
exception Unreachable
exception Exception of string
......@@ -6,9 +6,7 @@ exception Exception of string
[@@@ warning "-26"]
(* Run the user commands *)
let run () =
Dynamic.Parameter.String.set "-load-module" "@default,auto_definition.ml";
()
let run () = ()
(* Main *)
let main () =
......
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "timeout", "time": 10. }
"verdict": "timeout", "time": 15. }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "timeout", "time": 10. }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "timeout", "time": 10. }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.0204,
"steps": 32 }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "timeout", "time": 10. }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "CVC4:1.9-prerelease:strings+counterexamples",
"verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.3.3", "verdict": "valid", "time": 0.013,
"steps": 12 }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "prover": "Z3:4.8.10:counterexamples", "verdict": "failed" }
{ "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