Add TestModel for simplified AWS SDK (SDKLite)

smithy-lang / smithy-dafny

Apache License 2.0

9 stars 8 forks source link

Closed robin-aws closed 2 months ago

robin-aws commented 4 months ago

Probably best to make a filtered version of KMS. Goal is to reduce the size to make it an easier target for new language support.