@@ -361,9 +361,20 @@ TEST_CASE("elementary_constraint", "[smoke]")
361361 WHEN (" v < v" )
362362 {
363363 auto e = v < v;
364- static std::list<std::string> baseline = {
365- " [" , " <" , " -Inf" , " [" , " +" , " v" , " [" , " *" , " -1" , " v" , " ]" , " ]" , std::to_string (0.0 ),
366- " ]" };
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+ " ]" };
367378 REQUIRE (e.to_list () == baseline);
368379 }
369380
@@ -669,7 +680,7 @@ TEST_CASE("elementary_constraint", "[smoke]")
669680 " v" ,
670681 " [" ,
671682 " *" ,
672- " -1 " ,
683+ std::to_string (- 1.0 ) ,
673684 " v" ,
674685 " ]" ,
675686 " ]" ,
@@ -934,8 +945,10 @@ TEST_CASE("elementary_constraint", "[smoke]")
934945 WHEN (" v == v" )
935946 {
936947 auto e = v == v;
937- static std::list<std::string> baseline = {
938- " [" , " ==" , " [" , " +" , " v" , " [" , " *" , " -1" , " v" , " ]" , " ]" , std::to_string (0.0 ), " ]" };
948+ static std::list<std::string> baseline = {" [" , " ==" , " [" , " +" ,
949+ " v" , " [" , " *" , std::to_string (-1.0 ),
950+ " v" , " ]" , " ]" , std::to_string (0.0 ),
951+ " ]" };
939952 REQUIRE (e.to_list () == baseline);
940953 }
941954
@@ -1185,9 +1198,20 @@ TEST_CASE("elementary_constraint", "[smoke]")
11851198 WHEN (" v > v" )
11861199 {
11871200 auto e = v > v;
1188- static std::list<std::string> baseline = {
1189- " [" , " <" , " -Inf" , " [" , " +" , " v" , " [" , " *" , " -1" , " v" , " ]" , " ]" , std::to_string (0.0 ),
1190- " ]" };
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+ " ]" };
11911215 REQUIRE (e.to_list () == baseline);
11921216 }
11931217
@@ -1445,7 +1469,7 @@ TEST_CASE("elementary_constraint", "[smoke]")
14451469 " v" ,
14461470 " [" ,
14471471 " *" ,
1448- " -1 " ,
1472+ std::to_string (- 1.0 ) ,
14491473 " v" ,
14501474 " ]" ,
14511475 " ]" ,
0 commit comments