From 8b06566013015e4f3dd0e1de397a99f5179a4b7a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 29 Dec 2020 10:36:18 -0500 Subject: [PATCH] fix tests the most stupid way possible --- src/arith/tests/test_simplex.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/arith/tests/test_simplex.ml b/src/arith/tests/test_simplex.ml index 760c05ff..ac0c7fbd 100644 --- a/src/arith/tests/test_simplex.ml +++ b/src/arith/tests/test_simplex.ml @@ -108,9 +108,7 @@ module Problem = struct end let add_problem (t:Spl.t) (pb:Problem.t) : unit = - (* TODO: use an arbitrary litteral if the tests do not check the unsat core, - or else add litterals to the generated problem. *) - let lit = assert false in + let lit = 0 in List.iter (fun constr -> Spl.add_constr t constr lit) pb let pp_subst : subst Fmt.printer =