Skip to content

Commit

Permalink
Test
Browse files Browse the repository at this point in the history
  • Loading branch information
@lrstewart
lrstewart committed Jan 31, 2024
1 parent c74f442 commit 0404d06
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/cbmc/proofs/Makefile.common
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 0404d06

Please sign in to comment.