Safety checks: Run tests by default

2019-03-22 17:08:53 -07:00
parent 33e1dad680
commit 21cfe59ff7
3 changed files with 27 additions and 0 deletions
--- a/scripts/gen_run_tests.py
+++ b/scripts/gen_run_tests.py
@@ -40,6 +40,7 @@ possible_config_opts = [
    '--enable-debug',
    '--enable-prof',
    '--disable-stats',
+    '--enable-opt-safety-checks',
 ]
 if bits_64:
    possible_config_opts.append('--with-lg-vaddr=56')
--- a/scripts/gen_travis.py
+++ b/scripts/gen_travis.py
@@ -46,6 +46,7 @@ configure_flag_unusuals = [
    '--enable-prof',
    '--disable-stats',
    '--disable-libdl',
+    '--enable-opt-safety-checks',
 ]

 malloc_conf_unusuals = [