diff options
Diffstat (limited to 'cmake/ConfigTesting.cmake')
-rw-r--r-- | cmake/ConfigTesting.cmake | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/cmake/ConfigTesting.cmake b/cmake/ConfigTesting.cmake new file mode 100644 index 000000000..4d6094ce8 --- /dev/null +++ b/cmake/ConfigTesting.cmake @@ -0,0 +1,20 @@ +set(CVC4_BUILD_PROFILE_TESTING 1) +# OPTLEVEL=2 +# enable_optimized=yes +set(OPTIMIZATION_LEVEL, 2) +# enable_debug_symbols=yes +add_check_c_cxx_flag("-ggdb3") +# enable_statistics=yes +set(ENABLE_STATISTICS ON) +# enable_replay=yes +set(ENABLE_REPLAY ON) +# enable_assertions=yes +set(ENABLE_ASSERTIONS ON) +# enable_proof=yes +set(ENABLE_PROOFS, ON) +# enable_tracing=yes +set(ENABLE_TRACING ON) +# enable_dumping=yes +set(ENABLE_DUMPING ON) +# enable_muzzle=no +# enable_valgrind=no |