From 0404d061c21b1c95ba1b9c9711773d5cf0d43c08 Mon Sep 17 00:00:00 2001 From: Lindsay Stewart Date: Tue, 30 Jan 2024 16:28:35 -0800 Subject: [PATCH] Test --- tests/cbmc/proofs/Makefile.common | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/cbmc/proofs/Makefile.common b/tests/cbmc/proofs/Makefile.common index ce5315c5533..f20af6b6cf1 100644 --- a/tests/cbmc/proofs/Makefile.common +++ b/tests/cbmc/proofs/Makefile.common @@ -299,7 +299,7 @@ CHECKFLAGS += $(CBMC_FLAG_UNSIGNED_OVERFLOW_CHECK) NONDET_STATIC ?= # Flags to pass to goto-cc for compilation and linking -COMPILE_FLAGS ?= -Wall +COMPILE_FLAGS ?= -Wall -Werror LINK_FLAGS ?= -Wall EXPORT_FILE_LOCAL_SYMBOLS ?= --export-file-local-symbols