[Pkg-ocaml-maint-commits] [ocplib-simplex] 05/07: fix test for version 0.4

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository ocplib-simplex.

commit f928ca96b2c0d169e7818bb58609739a249313b2
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Nov 15 07:54:59 2017 +0100

    fix test for version 0.4
---
 debian/changelog        |  3 ++-
 debian/patches/series   |  1 +
 debian/patches/testcase | 24 ++++++++++++++++++++++++
 3 files changed, 27 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index b9e7ff0..04ed896 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,8 +3,9 @@ ocplib-simplex (0.4-1) unstable; urgency=medium
   * New upstream version.
     - dropped patch install-target which has been integrated by upstream
     - new patch destdir: don't have $(DESTDIR) filled in by ./configure
+    - new patch testcase: fix minimal test for version 0.4
 
- -- Ralf Treinen <treinen at debian.org>  Wed, 15 Nov 2017 07:37:33 +0100
+ -- Ralf Treinen <treinen at debian.org>  Wed, 15 Nov 2017 07:54:10 +0100
 
 ocplib-simplex (0.3-1) unstable; urgency=medium
 
diff --git a/debian/patches/series b/debian/patches/series
index cd70b32..e4f1abc 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 destdir
+testcase
diff --git a/debian/patches/testcase b/debian/patches/testcase
new file mode 100644
index 0000000..8dc62f4
--- /dev/null
+++ b/debian/patches/testcase
@@ -0,0 +1,24 @@
+Author: Ralf Treinen <treinen at 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

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocplib-simplex.git