@@ -625,8 +625,8 @@ TEST(IntegerRelationTest, rangeProduct) {
625625}
626626
627627TEST (IntegerRelationTest, rangeProductMultdimRange) {
628- IntegerRelation r1 = parseRelationFromSet (
629- " (i, k) : (2*i + 3*k == 0, i >= 0, k >= 0)" , 1 );
628+ IntegerRelation r1 =
629+ parseRelationFromSet ( " (i, k) : (2*i + 3*k == 0, i >= 0, k >= 0)" , 1 );
630630 IntegerRelation r2 = parseRelationFromSet (
631631 " (i, l, m) : (4*i + 6*m + 9*l == 0, i >= 0, l >= 0, m >= 0)" , 1 );
632632
@@ -642,8 +642,8 @@ TEST(IntegerRelationTest, rangeProductMultdimRange) {
642642TEST (IntegerRelationTest, rangeProductMultdimRangeSwapped) {
643643 IntegerRelation r1 = parseRelationFromSet (
644644 " (i, l, m) : (4*i + 6*m + 9*l == 0, i >= 0, l >= 0, m >= 0)" , 1 );
645- IntegerRelation r2 = parseRelationFromSet (
646- " (i, k) : (2*i + 3*k == 0, i >= 0, k >= 0)" , 1 );
645+ IntegerRelation r2 =
646+ parseRelationFromSet ( " (i, k) : (2*i + 3*k == 0, i >= 0, k >= 0)" , 1 );
647647
648648 IntegerRelation rangeProd = r1.rangeProduct (r2);
649649 IntegerRelation expected =
0 commit comments