Syntax fixes

tautschnig · Feb 6, 2024 · a044577 · a044577
1 parent 2a286fc
commit a044577
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/tests/kani/Intrinsics/Math/Arith/powf32.rs b/tests/kani/Intrinsics/Math/Arith/powf32.rs
@@ -6,5 +6,5 @@ fn verify_pow() {
     let x: f32 = kani::any();
     kani::assume(x.is_normal());
     let x2 = x.powf(2.0);
-    assert!(x2 >= 0);
+    assert!(x2 >= 0.0);
 }
diff --git a/tests/kani/Intrinsics/Math/Arith/powi.rs b/tests/kani/Intrinsics/Math/Arith/powi.rs
@@ -6,13 +6,13 @@ fn verify_powi32() {
     let x: f32 = kani::any();
     kani::assume(x.is_normal());
     let x2 = x.powi(2);
-    assert!(x2 >= 0);
+    assert!(x2 >= 0.0);
 }
 
 #[kani::proof]
 fn verify_powi64() {
     let x: f64 = kani::any();
     kani::assume(x.is_normal());
     let x2 = x.powi(2);
-    assert!(x2 >= 0);
+    assert!(x2 >= 0.0);
 }