simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

detail in printing

Browse source
This commit is contained in:
Simon Cruanes 2022-08-26 22:16:45 -04:00
parent e03e5e77a9
commit e66a27229b
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/smtlib/Process.ml
View file

@ -195,7 +195,7 @@ let solve ?gc:_ ?restarts:_ ?proof_file ?(pp_model = false) ?(check = false)
);
*)
let t3 = Sys.time () in
Fmt.printf "@.sat@.";
Fmt.printf "sat@.";
Fmt.printf "; (%.3f/%.3f/%.3f)@." (t1 -. start) (t2 -. t1) (t3 -. t2)
| Solver.Unsat { unsat_step_id; unsat_core = _ } ->
if check then
@ -228,7 +228,7 @@ let solve ?gc:_ ?restarts:_ ?proof_file ?(pp_model = false) ?(check = false)
| _ -> ());
let t3 = Sys.time () in
Fmt.printf "@.unsat@.";
Fmt.printf "unsat@.";
Fmt.printf "; (%.3f/%.3f/%.3f)@." (t1 -. start) (t2 -. t1) (t3 -. t2)
| Solver.Unknown reas ->
Fmt.printf "unknown@.";