From 6f66b5c4e23fba6db5b2bc25fe8183b516c28168 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Tue, 11 Feb 2025 08:00:32 -0500 Subject: [PATCH] uc-crux-llvm: Define debug option in test suite The `debug` option was introduced in #1297, but due to an oversight, this option was not defined in the `uc-crux-llvm` test suite. Easily fixed. Towards a fix for #1302. --- uc-crux-llvm/test/Utils.hs | 1 + 1 file changed, 1 insertion(+) 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 ::