diff --git a/simulator/generation/property.rs b/simulator/generation/property.rs index 37c1fe744..860f11184 100644 --- a/simulator/generation/property.rs +++ b/simulator/generation/property.rs @@ -196,7 +196,7 @@ impl Property { }), }); - let limit = select.limit.unwrap_or(0); + let limit = select.limit.expect("Property::SelectLimit without a LIMIT clause"); let assertion = Interaction::Assertion(Assertion { message: "select query should respect the limit clause".to_string(),