chore(dafny): add length check validation for beacon key condition ex…#2348

josecorella merged 2 commits into

mainaws/aws-database-encryption-sdk-dynamodb:mainfrom

jocorell/expression-length-checkaws/aws-database-encryption-sdk-dynamodb:jocorell/expression-length-checkCopy head branch name to clipboard