Update tests/script-based-pre/playback_print/print_vars.rs

celinval · Nov 2, 2023 · 35478c1 · 35478c1
1 parent 76957eb
commit 35478c1
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tests/script-based-pre/playback_print/print_vars.rs b/tests/script-based-pre/playback_print/print_vars.rs
@@ -1,8 +1,7 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 //
-// compile-flags: --edition 2021
-// kani-flags: playback
+// Harness used to test that playback do not override assertion and panic functions.
 
 #[kani::proof]
 pub fn harness() {