Skip to content
Snippets Groups Projects
Commit e390eaa0 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] update wp-cache

parent a2ec42f4
No related branches found
No related tags found
No related merge requests found
Showing
with 5 additions and 20 deletions
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0194, { "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0068,
"steps": 14 } "steps": 14 }
{ "prover": "Alt-Ergo:2.0.0", "verdict": "unknown" }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0087, { "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0047,
"steps": 5 } "steps": 5 }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0098, { "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0047,
"steps": 4 } "steps": 4 }
{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0065,
"steps": 4 }
{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0131,
"steps": 7 }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0075, { "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0027,
"steps": 7 } "steps": 7 }
{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0068,
"steps": 5 }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0083, { "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0038,
"steps": 6 } "steps": 6 }
{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }
{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0024,
"steps": 6 }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "unknown" }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0135,
"steps": 14 }
{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0077,
"steps": 3 }
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment