diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-05 20:19:42 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-05 20:19:42 +0100 |
| commit | 7b3275e87d826026986eaf3801e0350b3daeb3c8 (patch) | |
| tree | 8d928ca79832d9e4e19a11def259088ca07d9f02 | |
| parent | fb3ec96d62febeb5945f0cf9ce163bc5e608d621 (diff) | |
| download | klee-7b3275e87d826026986eaf3801e0350b3daeb3c8.tar.gz | |
Enabling assertions by default for KLEE. While the instructions for 2.9 explicitely requir assertions to be enabled, in 3.4 we ask users to use LLVM packages, which are built in Release mode. This was prompted by issue #246, where the bug would have resulted in an easier-to-debug assert failure.
| -rw-r--r-- | Makefile.common | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index 268de9f8..d3fd1e76 100644 --- a/Makefile.common +++ b/Makefile.common @@ -5,6 +5,10 @@ include $(LEVEL)/Makefile.config # Include LLVM's Master Makefile config and rules. include $(LLVM_OBJ_ROOT)/Makefile.config +# Assertions should be enabled by default for KLEE (but they can still +# be disabled by running make with DISABLE_ASSERTIONS=1 +DISABLE_ASSERTIONS := 0 + BUILDING_RUNTIME:=$(if $(or $(BYTECODE_LIBRARY),$(MODULE_NAME)),1,0) ifeq ($(BUILDING_RUNTIME),1) # @@ -12,7 +16,6 @@ ifeq ($(BUILDING_RUNTIME),1) # to override whatever the user may have said on the command line, # hence the use of override. # - override ENABLE_OPTIMIZED := $(RUNTIME_ENABLE_OPTIMIZED) override DISABLE_ASSERTIONS := $(RUNTIME_DISABLE_ASSERTIONS) override ENABLE_PROFILING := $(RUNTIME_ENABLE_PROFILING) |