Default to develop-mode=off

devitocodes · Dec 11, 2023 · cb95673 · cb95673
1 parent b95947e
commit cb95673
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/devito/__init__.py b/devito/__init__.py
@@ -122,9 +122,10 @@ def autotune_callback(val):  # noqa
                   impacts_jit=False)
 
 # In develop-mode:
-# - Some optimizations may not be applied to the generated code.
-# - The compiler performs more type and value checking
-configuration.add('develop-mode', True, [False, True])
+# - The ALLOC_GUARD data allocator is used. This will trigger segfaults as soon
+#   as an out-of-bounds memory access is performed
+# - Some autoi-tuning optimizations are disabled
+configuration.add('develop-mode', False, [False, True])
 
 # Setup optimization level
 configuration.add('opt', 'advanced', list(operator_registry._accepted), deprecate='dle')