10 lines
470 B
OCaml
10 lines
470 B
OCaml
|
|
(* let go_full (Hsim main : unit Ztypes.hsimu) : unit = *)
|
|
(* let n, z = Lift.lift_hsim_full (Hsim main) in *)
|
|
(* let s = Full.compose_solvers (Csolver.make_full ()) (Zsolver.make_full z) in *)
|
|
(* ignore @@ Full.hrun n s [{h=10.0; f=fun _ -> ()}] *)
|
|
|
|
let go (Hsim main : unit Ztypes.hsimu) : unit =
|
|
let n, z = Lift.lift_hsim (Hsim main) in
|
|
let s = Fill.compose_solvers (Csolver.make ()) (Zsolver.make z) in
|
|
ignore @@ Fill.hrun n s [{h=10.0; f=fun _ -> ()}]
|