Skip to content

Commit

Permalink
Fix arraySearch CBMC proof
Browse files Browse the repository at this point in the history
  • Loading branch information
@kar-rahul-aws
kar-rahul-aws committed May 13, 2024
1 parent 4447232 commit e53b106
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions test/cbmc/proofs/arraySearch/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,9 @@ USE_DYNAMIC_FRAMES = 1

CBMC_OBJECT_BITS = 12

UNWINDSET += arraySearch.0:$(CBMC_MAX_BUFSIZE)
UNWINDSET += arraySearch.1:$(CBMC_MAX_BUFSIZE)

USE_FUNCTION_CONTRACTS += skipAnyScalar
USE_FUNCTION_CONTRACTS += skipCollection
USE_FUNCTION_CONTRACTS += skipSpace
Expand Down

0 comments on commit e53b106

Please sign in to comment.