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

fix tests the most stupid way possible

Browse source
This commit is contained in:
Simon Cruanes 2020-12-29 10:36:18 -05:00
parent d5b4798e20
commit 8b06566013
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/arith/tests/test_simplex.ml
View file

@ -108,9 +108,7 @@ module Problem = struct
end end
let add_problem (t:Spl.t) (pb:Problem.t) : unit = let add_problem (t:Spl.t) (pb:Problem.t) : unit =
(* TODO: use an arbitrary litteral if the tests do not check the unsat core, let lit = 0 in
or else add litterals to the generated problem. *)
let lit = assert false in
List.iter (fun constr -> Spl.add_constr t constr lit) pb List.iter (fun constr -> Spl.add_constr t constr lit) pb
let pp_subst : subst Fmt.printer = let pp_subst : subst Fmt.printer =