From ff9599abe139d8aefc5b7a69d935844dc13c6d8a Mon Sep 17 00:00:00 2001
From: pedrocarlo <pedro.muniz.carlo@gmail.com>
Date: Tue, 23 Sep 2025 21:51:23 -0300
Subject: [PATCH] do not generate non-conccurent transactions with mvcc

---
 simulator/generation/property.rs | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/simulator/generation/property.rs b/simulator/generation/property.rs
index 35b49e436..41e4bb217 100644
--- a/simulator/generation/property.rs
+++ b/simulator/generation/property.rs
@@ -1164,6 +1164,7 @@ fn property_insert_values_select<R: rand::Rng>(
     rng: &mut R,
     remaining: &Remaining,
     ctx: &impl GenerationContext,
+    mvcc: bool,
 ) -> Property {
     // Get a random table
     let table = pick(ctx.tables(), rng);
@@ -1183,7 +1184,7 @@ fn property_insert_values_select<R: rand::Rng>(
     };
 
     // Choose if we want queries to be executed in an interactive transaction
-    let interactive = if rng.random_bool(0.5) {
+    let interactive = if !mvcc && rng.random_bool(0.5) {
         Some(InteractiveQueryInfo {
             start_with_immediate: rng.random_bool(0.5),
             end_with_commit: rng.random_bool(0.5),
@@ -1541,7 +1542,14 @@ impl ArbitraryFrom<(&SimulatorEnv, &InteractionStats)> for Property {
                 } else {
                     0
                 },
-                Box::new(|rng: &mut R| property_insert_values_select(rng, &remaining_, conn_ctx)),
+                Box::new(|rng: &mut R| {
+                    property_insert_values_select(
+                        rng,
+                        &remaining_,
+                        conn_ctx,
+                        env.profile.experimental_mvcc,
+                    )
+                }),
             ),
             (
                 remaining_.select.max(1),