From 59da8283624cdd21e91ef34e1be5a5035938fd73 Mon Sep 17 00:00:00 2001 From: pedrocarlo Date: Mon, 18 Aug 2025 12:21:58 -0300 Subject: [PATCH] do not shadow FaultyQuery's immediately. Only shadow them later --- simulator/generation/plan.rs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/simulator/generation/plan.rs b/simulator/generation/plan.rs index 908e9f654..9d8a708c8 100644 --- a/simulator/generation/plan.rs +++ b/simulator/generation/plan.rs @@ -123,11 +123,12 @@ impl Shadow for Interactions { let mut is_error = false; for interaction in property.interactions() { match interaction { - Interaction::Query(query) - | Interaction::FsyncQuery(query) - | Interaction::FaultyQuery(query) => { - is_error = is_error || query.shadow(tables).is_err(); + Interaction::Query(query) | Interaction::FsyncQuery(query) => { + if query.shadow(tables).is_err() { + is_error = true; + } } + Interaction::FaultyQuery(..) => {} Interaction::Assertion(_) => {} Interaction::Assumption(_) => {} Interaction::Fault(_) => {}