Do not normalize to representatives for variable equalities in conflict-based instant...

[cvc5.git] / cmake / ConfigCompetition.cmake

diff --git a/cmake/ConfigCompetition.cmake b/cmake/ConfigCompetition.cmake
index a7c7cb961a43e9b6dfc125f4941a2e4e2b837b46..e18d2b2f1b212ef206659313feda31dec179815e 100644 (file)
--- a/cmake/ConfigCompetition.cmake
+++ b/cmake/ConfigCompetition.cmake
@@ -1,22 +1,17 @@
-set(CVC4_BUILD_PROFILE_COMPETITION 1)
 add_definitions(-DCVC4_COMPETITION_MODE)
 add_check_c_cxx_flag("-funroll-all-loops")
 add_check_c_cxx_flag("-fexpensive-optimizations")
 add_check_c_cxx_flag("-fno-enforce-eh-specs")
 # OPTLEVEL=9
-# enable_optimized=yes
-cvc4_set_option(ENABLE_OPTIMIZED ON)
 set(OPTIMIZATION_LEVEL 9)
 # enable_debug_symbols=no
 cvc4_set_option(ENABLE_DEBUG_SYMBOLS OFF)
 # enable_statistics=no
 cvc4_set_option(ENABLE_STATISTICS OFF)
-# enable_replay=no
-cvc4_set_option(ENABLE_REPLAY OFF)
 # enable_assertions=no
 cvc4_set_option(ENABLE_ASSERTIONS OFF)
 # enable_proof=no
-cvc4_set_option(ENABLE_PROOFS, OFF)
+cvc4_set_option(ENABLE_PROOFS OFF)
 # enable_tracing=no
 cvc4_set_option(ENABLE_TRACING OFF)
 # enable_dumping=no
@@ -24,7 +19,6 @@ cvc4_set_option(ENABLE_DUMPING OFF)
 # enable_muzzle=yes
 cvc4_set_option(ENABLE_MUZZLE ON)
 # enable_valgrind=no
-cvc4_set_option(ENABLE_VALGRIND OFF)
 # enable_shared=no
 cvc4_set_option(ENABLE_SHARED OFF)
 cvc4_set_option(ENABLE_UNIT_TESTING OFF)