Reduced unit test: Tracking issue: model-checking#2509

YoshikiTakashima · Jun 8, 2023 · 54488c8 · 54488c8
1 parent 39e5a2d
commit 54488c8
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/tests/script-based-pre/playback_zero_size/original.rs b/tests/script-based-pre/playback_zero_size/original.rs
@@ -5,7 +5,5 @@
 #[kani::proof]
 fn any_is_ok() {
     let unit: () = kani::any();
-    let unit2: () = kani::any();
     kani::cover!(unit == ());
-    kani::cover!(unit2 == ());
 }