Skip to content

Commit

Permalink
Add one more stub function to satisfy CBMC 6.1 on EC2/Linux
Browse files Browse the repository at this point in the history 
Signed-off-by: Ubuntu <ubuntu@ip-172-31-46-247.eu-west-2.compute.internal>
  • Loading branch information
@rod-chapman
rod-chapman committed Aug 2, 2024
1 parent 850d50c commit 8b0b1f0
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 0 deletions.
1 change: 1 addition & 0 deletions tests/cbmc/proofs/s2n_stuffer_read_hex/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@ PROOF_SOURCES += $(PROOF_SOURCE)/make_common_datastructures.c
PROOF_SOURCES += $(PROOF_STUB)/s2n_calculate_stacktrace.c
PROOF_SOURCES += $(PROOF_STUB)/mlock.c
PROOF_SOURCES += $(PROOF_STUB)/munlock.c
PROOF_SOURCES += $(PROOF_STUB)/madvise.c

PROJECT_SOURCES += $(SRCDIR)/stuffer/s2n_stuffer_hex.c
PROJECT_SOURCES += $(SRCDIR)/stuffer/s2n_stuffer.c
Expand Down
1 change: 1 addition & 0 deletions tests/cbmc/proofs/s2n_stuffer_write_hex/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@ PROOF_SOURCES += $(PROOF_SOURCE)/make_common_datastructures.c
PROOF_SOURCES += $(PROOF_STUB)/s2n_calculate_stacktrace.c
PROOF_SOURCES += $(PROOF_STUB)/mlock.c
PROOF_SOURCES += $(PROOF_STUB)/munlock.c
PROOF_SOURCES += $(PROOF_STUB)/madvise.c

PROJECT_SOURCES += $(SRCDIR)/stuffer/s2n_stuffer_hex.c
PROJECT_SOURCES += $(SRCDIR)/stuffer/s2n_stuffer.c
Expand Down
1 change: 1 addition & 0 deletions tests/cbmc/proofs/s2n_stuffer_write_uint16_hex/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@ PROOF_SOURCES += $(PROOF_SOURCE)/make_common_datastructures.c
PROOF_SOURCES += $(PROOF_STUB)/s2n_calculate_stacktrace.c
PROOF_SOURCES += $(PROOF_STUB)/mlock.c
PROOF_SOURCES += $(PROOF_STUB)/munlock.c
PROOF_SOURCES += $(PROOF_STUB)/madvise.c

PROJECT_SOURCES += $(SRCDIR)/stuffer/s2n_stuffer_hex.c
PROJECT_SOURCES += $(SRCDIR)/stuffer/s2n_stuffer.c
Expand Down
1 change: 1 addition & 0 deletions tests/cbmc/proofs/s2n_stuffer_write_uint8_hex/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@ PROOF_SOURCES += $(PROOF_SOURCE)/make_common_datastructures.c
PROOF_SOURCES += $(PROOF_STUB)/s2n_calculate_stacktrace.c
PROOF_SOURCES += $(PROOF_STUB)/mlock.c
PROOF_SOURCES += $(PROOF_STUB)/munlock.c
PROOF_SOURCES += $(PROOF_STUB)/madvise.c

PROJECT_SOURCES += $(SRCDIR)/stuffer/s2n_stuffer_hex.c
PROJECT_SOURCES += $(SRCDIR)/stuffer/s2n_stuffer.c
Expand Down

0 comments on commit 8b0b1f0

Please sign in to comment.