DEBUG: partial revert of "Compile CaDiCaL with -DNDEBUG"

This reverts commit bc8a56a.
tautschnig · Jul 29, 2024 · 1ad4c6d · 1ad4c6d
1 parent bc8a56a
commit 1ad4c6d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/cadical_CMakeLists.txt b/scripts/cadical_CMakeLists.txt
@@ -9,7 +9,7 @@ add_library(cadical ${sources})
 
 # Pass -DNBUILD to disable including the version information, which is not
 # needed since cbmc doesn't run the cadical binary
-target_compile_options(cadical PUBLIC -DNBUILD -DNFLEXIBLE -DNDEBUG)
+target_compile_options(cadical PUBLIC -DNBUILD -DNFLEXIBLE)
 
 set_target_properties(
     cadical