Commit 3d043a00 authored by Asma Tafat-Bouzid's avatar Asma Tafat-Bouzid
Browse files

Larex statistics

parent e02d67d4
...@@ -350,7 +350,7 @@ let rec goal_latex_stat n prov depth depth_max first g = ...@@ -350,7 +350,7 @@ let rec goal_latex_stat n prov depth depth_max first g =
Session.Done res -> Session.Done res ->
if res.Call_provers.pr_answer = Call_provers.Valid if res.Call_provers.pr_answer = Call_provers.Valid
then printf "& %.2f " res.Call_provers.pr_time then printf "& %.2f " res.Call_provers.pr_time
else printf "& --- " else printf "& - "
| _ -> printf "& " | _ -> printf "& "
with Not_found -> printf "&") prov; with Not_found -> printf "&") prov;
printf "\\\\ \\hline @."; printf "\\\\ \\hline @.";
......
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