avoid edge case where final frame is popped

matter-labs · Jun 4, 2024 · d9e4d8b · d9e4d8b
1 parent 8d36eb8
commit d9e4d8b
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/src/single_instruction_test/vm.rs b/src/single_instruction_test/vm.rs
@@ -53,11 +53,9 @@ impl<'a> Arbitrary<'a> for VirtualMachine {
                 register_pointer_flags,
                 flags: u.arbitrary()?,
                 current_frame: u.arbitrary()?,
-                previous_frames: if u.arbitrary()? {
-                    vec![(0, Callframe::dummy())]
-                } else {
-                    vec![]
-                },
+                // Exiting the final frame is different in vm2 on purpose,
+                // so always generate two frames to avoid that.
+                previous_frames: vec![(0, Callframe::dummy())],
                 heaps: u.arbitrary()?,
                 transaction_number: u.arbitrary()?,
                 context_u128: u.arbitrary()?,