search

smithy-lang / smithy-dafny

Apache License 2.0
7 stars 8 forks source link

chore: More AWS SDK test models #424

Closed robin-aws closed 3 weeks ago

robin-aws commented 3 weeks ago

Description of changes:

Adding a couple more SDKs as test cases.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.