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.
GaloisInc · Feb 11, 2025 · 6f66b5c · 6f66b5c
1 parent ae3d6dd
commit 6f66b5c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 ::