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

detail

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

2
src/smt/solver.ml
View file

@ -177,7 +177,7 @@ let assert_term self t = assert_terms self [ t ]
let solve ?(on_exit = []) ?(check = true) ?(on_progress = fun _ -> ()) let solve ?(on_exit = []) ?(check = true) ?(on_progress = fun _ -> ())
?(should_stop = fun _ _ -> false) ~assumptions (self : t) : res = ?(should_stop = fun _ _ -> false) ~assumptions (self : t) : res =
Profile.with_ "smt-solver.solve" @@ fun () -> let@ () = Profile.with_ "smt-solver.solve" in
let do_on_exit () = List.iter (fun f -> f ()) on_exit in let do_on_exit () = List.iter (fun f -> f ()) on_exit in
let on_progress = let on_progress =