From 28ecb083e134feaa2d4dccc964b0ce64b359d90d Mon Sep 17 00:00:00 2001
From: alpaylan <alpkeles99@gmail.com>
Date: Tue, 15 Jul 2025 22:35:05 -0400
Subject: [PATCH] fix faulty Insert::Select generation within delete_select

---
 simulator/generation/property.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/simulator/generation/property.rs b/simulator/generation/property.rs
index e88f69dfa..3df6f8e31 100644
--- a/simulator/generation/property.rs
+++ b/simulator/generation/property.rs
@@ -984,6 +984,15 @@ fn property_delete_select<R: rand::Rng>(
                     continue;
                 }
             }
+            Query::Insert(Insert::Select {
+                table: t,
+                select: _,
+            }) => {
+                // A row that holds for the predicate will not be inserted.
+                if t == &table.name {
+                    continue;
+                }
+            }
             Query::Create(Create { table: t }) => {
                 // There will be no errors in the middle interactions.
                 // - Creating the same table is an error