Commit 04e9f107 authored by MARCHE Claude's avatar MARCHE Claude

enhanced html output

parent 00bc1c70
......@@ -142,9 +142,11 @@ let print_results fmt provers proofs =
| Call_provers.Invalid ->
fprintf fmt "FF0000\">Invalid"
| Call_provers.Timeout ->
fprintf fmt "FF8000\">Timeout"
fprintf fmt "FF8000\">Timeout (%ds)"
pr.S.proof_timelimit
| Call_provers.OutOfMemory ->
fprintf fmt "FF8000\">Out Of Memory"
fprintf fmt "FF8000\">Out Of Memory (%dM)"
pr.S.proof_memlimit
| Call_provers.Unknown _ ->
fprintf fmt "FF8000\">%.2f" res.Call_provers.pr_time
| Call_provers.Failure _ ->
......
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