smithy-lang / smithy-dafny

Apache License 2.0
10 stars 8 forks source link

Remove *CalledWith and *SucceededWith predicate bodies #20

Open alex-chew opened 2 years ago

alex-chew commented 2 years ago

See https://github.com/aws/aws-encryption-sdk-dafny/pull/573 for manual code changes and explanation.

robin-aws commented 1 year ago

@seebees I think this is moot now, since we have a completely different way of expressing this?