1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
Author: Ralf Treinen <treinen@debian.org>
Description: Fix test case for version 0.4
Index: ocplib-simplex/tests/standalone_minimal.ml
===================================================================
--- ocplib-simplex.orig/tests/standalone_minimal.ml 2017-11-15 07:50:44.069906520 +0100
+++ ocplib-simplex/tests/standalone_minimal.ml 2017-11-15 07:50:25.621818968 +0100
@@ -66,13 +66,13 @@
let sim = Sim.Assert.var sim "x" zero (Ex.singleton "x>=0") None Ex.empty in
(* y >= 0 *)
- let sim = Sim.Assert.var sim "y" zero (Ex.singleton "y>=0") None Ex.empty in
+ let sim = Sim.Assert.var (fst sim) "y" zero (Ex.singleton "y>=0") None Ex.empty in
let x_y = Sim.Core.P.from_list ["x", Rat.one; "y", Rat.one] in
(* z == x + y <= -1 *)
let sim =
- Sim.Assert.poly sim x_y "z" None Ex.empty m_one (Ex.singleton "x+y<=-1") in
- let sim = Sim.Solve.solve sim in
+ Sim.Assert.poly (fst sim) x_y "z" None Ex.empty m_one (Ex.singleton "x+y<=-1") in
+ let sim = Sim.Solve.solve (fst sim) in
match Sim.Result.get None sim with
| Sim.Core.Unknown -> assert false
| Sim.Core.Sat _ -> assert false
|
