diff --git a/uc-crux-llvm/test/Utils.hs b/uc-crux-llvm/test/Utils.hs
index 32d2050c3..d4b4936e8 100644
--- a/uc-crux-llvm/test/Utils.hs
+++ b/uc-crux-llvm/test/Utils.hs
@@ -208,6 +208,7 @@ withOptions llvmModule file k =
           , Crux.quietMode = True
           , Crux.simVerbose = 0
           }
+        , Crux.debug = False
         }
 
 simulateFunc ::