3 ## Top contributors (to current version):
4 ## Aina Niemetz, Mathias Preiner
5 ## This file is part of the CVC4 project.
6 ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
7 ## in the top-level source directory and their institutional affiliations.
8 ## All rights reserved. See the file COPYING in the top-level source
9 ## directory for licensing information.
12 set(OPTIMIZATION_LEVEL 2)
13 # enable_debug_symbols=yes
14 cvc4_set_option(ENABLE_DEBUG_SYMBOLS ON)
15 # enable_statistics=yes
16 cvc4_set_option(ENABLE_STATISTICS ON)
17 # enable_assertions=yes
18 cvc4_set_option(ENABLE_ASSERTIONS ON)
20 cvc4_set_option(ENABLE_PROOFS ON)
22 cvc4_set_option(ENABLE_TRACING ON)
24 cvc4_set_option(ENABLE_DUMPING ON)
26 cvc4_set_option(ENABLE_MUZZLE OFF)
28 cvc4_set_option(ENABLE_UNIT_TESTING ON)