test/lp_test.cc
changeset 957 2eebc8f7dca5
parent 631 d21b38647e53
child 988 8d281761dea4
     1.1 --- a/test/lp_test.cc	Wed Jul 13 14:38:50 2011 +0200
     1.2 +++ b/test/lp_test.cc	Tue Nov 01 08:24:30 2011 +0100
     1.3 @@ -166,6 +166,14 @@
     1.4      c = ((2 >= e) >= 3);
     1.5      c = ((2 >= p1) >= 3);
     1.6  
     1.7 +    { //Tests for #430
     1.8 +      LP::Col v=lp.addCol();
     1.9 +      LP::Constr c = v >= -3;
    1.10 +      c = c <= 4;
    1.11 +      LP::Constr c2;
    1.12 +      c2 = -3 <= v <= 4;
    1.13 +    }
    1.14 +
    1.15      e[x[3]]=2;
    1.16      e[x[3]]=4;
    1.17      e[x[3]]=1;