From 2954e2e7bfc46f6802e164a74b0101b1d0f2211e Mon Sep 17 00:00:00 2001
From: pedrocarlo <pedro.muniz.carlo@gmail.com>
Date: Mon, 18 Aug 2025 12:42:07 -0300
Subject: [PATCH] shrinking: remove table assertions for non-dependent tables

---
 simulator/shrink/plan.rs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/simulator/shrink/plan.rs b/simulator/shrink/plan.rs
index 29935aa0d..f08ccbb5a 100644
--- a/simulator/shrink/plan.rs
+++ b/simulator/shrink/plan.rs
@@ -73,14 +73,16 @@ impl InteractionPlan {
                             | Property::DropSelect { queries, .. } => {
                                 queries.clear();
                             }
+                            Property::FsyncNoWait { tables, .. }
+                            | Property::FaultyQuery { tables, .. } => {
+                                tables.retain(|table| depending_tables.contains(table));
+                            }
                             Property::SelectLimit { .. }
                             | Property::SelectSelectOptimizer { .. }
                             | Property::WhereTrueFalseNull { .. }
                             | Property::UNIONAllPreservesCardinality { .. }
-                            | Property::FsyncNoWait { .. }
                             | Property::ReadYourUpdatesBack { .. }
-                            | Property::TableHasExpectedContent { .. }
-                            | Property::FaultyQuery { .. } => {}
+                            | Property::TableHasExpectedContent { .. } => {}
                         }
                     }
                     // Check again after query clear if the interactions still uses the failing table