Enforce negative zero (model-checking#2365)

tautschnig · Apr 13, 2023 · 4f710d4 · 4f710d4
1 parent 868b13b
commit 4f710d4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tests/ui/concrete-playback/f32/main.rs b/tests/ui/concrete-playback/f32/main.rs
@@ -18,7 +18,7 @@ pub fn harness() {
         !(f32_1 == f32::NEG_INFINITY
             && f32_2 == f32::MIN
             && f32_3 == -101f32
-            && f32_4 == 0f32
+            && (f32_4 == 0f32 && f32_4.signum() < 0.0)
             && f32_5 == f32::MIN_POSITIVE
             && f32_6 == 101f32
             && f32_7 == f32::MAX

diff --git a/tests/ui/concrete-playback/f64/main.rs b/tests/ui/concrete-playback/f64/main.rs
@@ -18,7 +18,7 @@ pub fn harness() {
         !(f64_1 == f64::NEG_INFINITY
             && f64_2 == f64::MIN
             && f64_3 == -101f64
-            && f64_4 == 0f64
+            && (f64_4 == 0f64 && f64_4.signum() < 0.0)
             && f64_5 == f64::MIN_POSITIVE
             && f64_6 == 101f64
             && f64_7 == f64::MAX