@@ -361,20 +361,9 @@ TEST_CASE("elementary_constraint", "[smoke]")
361361 WHEN (" v < v" )
362362 {
363363 auto e = v < v;
364- static std::list<std::string> baseline = {" [" ,
365- " <" ,
366- " -Inf" ,
367- " [" ,
368- " +" ,
369- " v" ,
370- " [" ,
371- " *" ,
372- std::to_string (-1.0 ),
373- " v" ,
374- " ]" ,
375- " ]" ,
376- std::to_string (0.0 ),
377- " ]" };
364+ static std::list<std::string> baseline = {
365+ " [" , " <" , " -Inf" , " [" , " +" , " v" , " [" , " *" , " -1" , " v" , " ]" , " ]" , std::to_string (0.0 ),
366+ " ]" };
378367 REQUIRE (e.to_list () == baseline);
379368 }
380369
@@ -680,7 +669,7 @@ TEST_CASE("elementary_constraint", "[smoke]")
680669 " v" ,
681670 " [" ,
682671 " *" ,
683- std::to_string (- 1.0 ) ,
672+ " -1 " ,
684673 " v" ,
685674 " ]" ,
686675 " ]" ,
@@ -945,10 +934,8 @@ TEST_CASE("elementary_constraint", "[smoke]")
945934 WHEN (" v == v" )
946935 {
947936 auto e = v == v;
948- static std::list<std::string> baseline = {" [" , " ==" , " [" , " +" ,
949- " v" , " [" , " *" , std::to_string (-1.0 ),
950- " v" , " ]" , " ]" , std::to_string (0.0 ),
951- " ]" };
937+ static std::list<std::string> baseline = {
938+ " [" , " ==" , " [" , " +" , " v" , " [" , " *" , " -1" , " v" , " ]" , " ]" , std::to_string (0.0 ), " ]" };
952939 REQUIRE (e.to_list () == baseline);
953940 }
954941
@@ -1198,20 +1185,9 @@ TEST_CASE("elementary_constraint", "[smoke]")
11981185 WHEN (" v > v" )
11991186 {
12001187 auto e = v > v;
1201- static std::list<std::string> baseline = {" [" ,
1202- " <" ,
1203- " -Inf" ,
1204- " [" ,
1205- " +" ,
1206- " v" ,
1207- " [" ,
1208- " *" ,
1209- std::to_string (-1.0 ),
1210- " v" ,
1211- " ]" ,
1212- " ]" ,
1213- std::to_string (0.0 ),
1214- " ]" };
1188+ static std::list<std::string> baseline = {
1189+ " [" , " <" , " -Inf" , " [" , " +" , " v" , " [" , " *" , " -1" , " v" , " ]" , " ]" , std::to_string (0.0 ),
1190+ " ]" };
12151191 REQUIRE (e.to_list () == baseline);
12161192 }
12171193
@@ -1469,7 +1445,7 @@ TEST_CASE("elementary_constraint", "[smoke]")
14691445 " v" ,
14701446 " [" ,
14711447 " *" ,
1472- std::to_string (- 1.0 ) ,
1448+ " -1 " ,
14731449 " v" ,
14741450 " ]" ,
14751451 " ]" ,
0 commit comments