From 7b3275e87d826026986eaf3801e0350b3daeb3c8 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 5 Aug 2015 20:19:42 +0100 Subject: 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. --- Makefile.common | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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) -- cgit 1.4.1