Replace fixed values in CBMC Makefiles by definable values
Opened this issue · 0 comments
adpaco-aws commented
Some unwinding values appearing in CBMC Makefiles are fixed values. For example, the following one in proof aws_cryptosdk_enc_ctx_size
UNWINDSET += aws_add_size_checked_varargs.0:5
should become a value defined somewhere as in
UNWINDSET += aws_add_size_checked_varargs.0:$(MAX_VARS_LEN)