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( 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