From 4aa2c1a579b1cdb43d46b4d72852ef3bb615f730 Mon Sep 17 00:00:00 2001 From: pedrocarlo Date: Mon, 14 Jul 2025 12:38:26 -0300 Subject: [PATCH] Property should fail if we encounter an error that is not expected --- simulator/generation/property.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/simulator/generation/property.rs b/simulator/generation/property.rs index 73ac03c5c..b2df3be07 100644 --- a/simulator/generation/property.rs +++ b/simulator/generation/property.rs @@ -615,7 +615,7 @@ impl Property { Property::FaultyQuery { query, tables } => { let checks = assert_all_table_values(tables); let query_clone = query.clone(); - let assumption = Assertion { + let assert = Assertion { // A fault may not occur as we first signal we want a fault injected, // then when IO is called the fault triggers. It may happen that a fault is injected // but no IO happens right after it @@ -640,7 +640,7 @@ impl Property { }; let first = [ Interaction::FaultyQuery(query.clone()), - Interaction::Assumption(assumption), + Interaction::Assertion(assert), ] .into_iter(); Vec::from_iter(first.chain(checks))