Skip to content

Commit

Permalink
Add verify.c to proof dependencies for this function.
Browse files Browse the repository at this point in the history 
Signed-off-by: Rod Chapman <[email protected]>
  • Loading branch information
@rod-chapman
rod-chapman committed Jul 2, 2024
1 parent 14d303e commit b73242a
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions cbmc/proofs/poly_compress/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ UNWINDSET +=

PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
PROJECT_SOURCES += $(SRCDIR)/mlkem/verify.c

# UNWINDSET += $(KYBER_NAMESPACE)poly_compress.0:9
# UNWINDSET += $(KYBER_NAMESPACE)poly_compress.1:33
Expand Down

0 comments on commit b73242a

Please sign in to comment.