Do a full check on the multiply test

Thomas Kiley · Thomas Kiley · commit 4e39366fd7fd · 2020-05-29T10:37:06.000+01:00
diff --git a/unit/util/interval/multiply.cpp b/unit/util/interval/multiply.cpp
@@ -27,7 +27,7 @@ SCENARIO("multiply interval domain", "[core][analyses][interval][multiply]")
       constant_interval_exprt a(CEV(5));
       constant_interval_exprt b(CEV(10));
       const auto a_times_b = a.multiply(b);
-      REQUIRE(V(a_times_b.get_upper()) == 50);
+      REQUIRE(a_times_b == constant_interval_exprt(CEV(50), CEV(50)));
     }
 
     WHEN("Both are positive [2,5]*[7,11]")

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@ SCENARIO("multiply interval domain", "[core][analyses][interval][multiply]")`
`27`	`27`	`constant_interval_exprt a(CEV(5));`
`28`	`28`	`constant_interval_exprt b(CEV(10));`
`29`	`29`	`const auto a_times_b = a.multiply(b);`
`30`		`- REQUIRE(V(a_times_b.get_upper()) == 50);`
	`30`	`+ REQUIRE(a_times_b == constant_interval_exprt(CEV(50), CEV(50)));`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	`WHEN("Both are positive [2,5]*[7,11]")`