Use kani::any() instead of concrete value in test_ctlz_nonzero

model-checking · Mar 3, 2022 · 0ac5186 · 0ac5186
1 parent bef1597
commit 0ac5186
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/kani/Intrinsics/Count/ctlz.rs b/tests/kani/Intrinsics/Count/ctlz.rs
@@ -38,7 +38,7 @@ macro_rules! test_ctlz {
 // exclude zero
 macro_rules! test_ctlz_nonzero {
     ($ty:ty) => {
-        let var_nonzero: $ty = 8;
+        let var_nonzero: $ty = kani::any();
         kani::assume(var_nonzero != 0);
         unsafe {
             assert!(ctlz(var_nonzero) == ctlz_nonzero(var_nonzero));