From 1b3d2004ccceb6402d398ad969b10ec5069f61f2 Mon Sep 17 00:00:00 2001
From: alpaylan <alpkeles99@gmail.com>
Date: Mon, 3 Feb 2025 09:57:04 -0500
Subject: [PATCH] change a potentially bug-hiding 'unwrap_or' call into
 'expect' for clear messaging

---
 simulator/generation/property.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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