Commit 85f4551b authored by Thorsten Wißmann's avatar Thorsten Wißmann
Browse files

Print time durations as float

parent cac42fce
......@@ -24,7 +24,7 @@ let string_of_solvanswer a =
type testresults =
((string list) (* solver names *)
* ((string * ((solvanswer * int) list)) (*some test case with times for each reasoner*)
* ((string * ((solvanswer * float) list)) (*some test case with times for each reasoner*)
list))
let debugMsg str =
......@@ -180,7 +180,7 @@ let runTests solvs formulas timeout : testresults =
| G.TIMED_OUT -> ATIMEOUT
| G.FAILED -> AFAILED
in
(answer, int_of_float time)
(answer, time)
in
let interrupted = ref (false) in
let do_line (str,f) = if not !interrupted then
......@@ -303,7 +303,7 @@ let doTestGenericCL () : testresults =
let printRawData ((rn,results):testresults) : unit =
let doubler l = List.fold_right (fun a b -> (a ^ "_state")::(a^"_time")::b) l [] in
print_endline (String.concat ";" ("formula"::doubler rn)) ;
let format_cell (stat,time) = (string_of_solvanswer stat) ^ ";" ^ (string_of_int time) in
let format_cell (stat,time) = (string_of_solvanswer stat) ^ ";" ^ (string_of_float time) in
let format_line (fn,res) = fn ^ ";" ^ (String.concat ";" (List.map format_cell res)) in
let lines = List.map format_line results in
print_endline (String.concat "\n" lines)
......
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