Stabilize value.

model-checking · May 31, 2023 · fb41650 · fb41650
1 parent e3e29bf
commit fb41650
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/ui/concrete-playback/single-harness-multi-trace/main.rs b/tests/ui/concrete-playback/single-harness-multi-trace/main.rs
@@ -16,6 +16,7 @@ mod verify {
         match result {
             Ok(nz_val) => {
                 cover!(true, "Ok"); // Cover 1
+                kani::assume(val == 16); // stabilize value for playback
                 assert_eq!(nz_val.get(), val);
             }
             Err(_) => {