aws/aws-encryption-sdk-c

Enable deep checks in CBMC proofs

Opened this issue · 0 comments

adpaco-aws commented

Some Makefiles include this code:

# Enable after https://github.com/diffblue/cbmc/issues/5344 is fixed
#DEFINES += -DAWS_DEEP_CHECKS=1

We have to track this CBMC issue and enable deep checks once it is addressed.