Added a testcase showing an issue in method MIP_Problem::OK().

The method checks for too strong (i.e., invlaid) invariants in the case
of a MIP_Problem subject to space dimnesion additions.
Modified method OK() to check those invariants on the "internal" space
dimension, rather the external one.
While at it, modified private method MIP_Problem::process_pending_constraints()
to avoid returning a bool value (which is never checked).

1 files changed, 14 insertions, 0 deletions

diff --git a/tests/MIP_Problem/mipproblem4.cc b/tests/MIP_Problem/mipproblem4.cc
index 860d9d933..ead6d5e8b 100644
--- a/tests/MIP_Problem/mipproblem4.cc
+++ b/tests/MIP_Problem/mipproblem4.cc
@@ -34,8 +34,22 @@ test01() {
   return true;
 }
 
+bool
+test02() {
+  Variable A(0);
+  Variable B(1);
+  MIP_Problem mip(1);
+  Generator p1 = mip.optimizing_point();
+  bool ok1 = (p1 == point(0*A));
+  mip.add_space_dimensions_and_embed(1);
+  Generator p2 = mip.optimizing_point();
+  bool ok2 = (p2 == point(0*A + 0*B));
+  return ok1 && ok2;
+}
+
 } // namespace
 
 BEGIN_MAIN
   DO_TEST(test01);
+  DO_TEST(test02);
 END_MAIN