smithy-lang / smithy-dafny

Apache License 2.0
7 stars 8 forks source link

chore(tests): Add Positional test model #462

Open robin-aws opened 3 days ago

robin-aws commented 3 days ago

Issue #, if available: Resolves #370

Description of changes: See README.md, hopefully self-explanatory.

Also fixed a small bug in the implementation of --generate impl-stub.

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