Skip to content

Commit

Permalink
DEBUG: increase verbosity
Browse files Browse the repository at this point in the history
  • Loading branch information
@tautschnig
tautschnig committed Aug 16, 2024
1 parent 9853c1b commit 25ece41
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions tests/cbmc/proofs/s2n_stuffer_reread/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,8 @@ PROJECT_SOURCES += $(SRCDIR)/utils/s2n_blob.c
PROJECT_SOURCES += $(SRCDIR)/utils/s2n_ensure.c
PROJECT_SOURCES += $(SRCDIR)/utils/s2n_result.c

CBMC_VERBOSITY = --verbosity 9

#No loops to unwind
UNWINDSET +=
###########
Expand Down

0 comments on commit 25ece41

Please sign in to comment.