aboutsummaryrefslogtreecommitdiff
path: root/src/debug.cpp
diff options
context:
space:
mode:
authorPjotr Prins2018-09-27 09:51:52 +0000
committerPjotr Prins2018-09-27 09:51:52 +0000
commit040e501d37dbe552f333b1afbb329116ee7fe1c7 (patch)
treee22c74f9d80364721ef486cf831a88c046b0a5a4 /src/debug.cpp
parentc08e633d2f858b35d2939d92c8a1b82d36168944 (diff)
downloadpangemma-040e501d37dbe552f333b1afbb329116ee7fe1c7.tar.gz
Using -no-check by default now
Diffstat (limited to 'src/debug.cpp')
-rw-r--r--src/debug.cpp3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/debug.cpp b/src/debug.cpp
index 3a62d2a..ddd3c48 100644
--- a/src/debug.cpp
+++ b/src/debug.cpp
@@ -40,7 +40,7 @@
static bool debug_mode = false;
static bool debug_data_mode = false;
-static bool debug_check = true; // check data/algorithms
+static bool debug_check = false; // check data/algorithms
static bool debug_fpe_check = true; // check floating point errors (intel hardware)
static bool debug_strict = false; // fail on error, more rigorous checks
static bool debug_quiet = false;
@@ -49,6 +49,7 @@ static bool debug_legacy = false; // legacy mode
void debug_set_debug_mode(bool setting) { debug_mode = setting; }
void debug_set_debug_data_mode(bool setting) { debug_data_mode = setting; }
+void debug_set_check_mode(bool setting) {debug_check = setting; }
void debug_set_no_check_mode(bool setting) {debug_check = !setting; }
void debug_set_no_fpe_check_mode(bool setting) {debug_fpe_check = !setting; }
void debug_set_strict_mode(bool setting) { debug_strict = setting; }