test(dafny): beacon partition tests#2199

josecorella merged 11 commits into

ajewell/bucketsaws/aws-database-encryption-sdk-dynamodb:ajewell/bucketsfrom

jocorell/partition-beacon-testsaws/aws-database-encryption-sdk-dynamodb:jocorell/partition-beacon-testsCopy head branch name to clipboard