Commit 2432e8f3 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Add missing cache entries

parent 70a8c43d
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0035,
"steps": 22 }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "timeout", "time": 1. }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.007,
"steps": 22 }
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0053,
"steps": 22 }
Supports Markdown
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