fix: Provide -compileSuffix to dafny when available#250

robin-aws merged 1 commit intomainaws/aws-database-encryption-sdk-dynamodb:mainfrom

robin-aws/add-compile-suffix-option-when-availableaws/aws-database-encryption-sdk-dynamodb:robin-aws/add-compile-suffix-option-when-availableCopy head branch name to clipboard