search

smithy-lang / smithy-dafny

Apache License 2.0
7 stars 8 forks source link

[WIP] chore: add S3 test model #349

Closed justplaz closed 6 days ago

justplaz commented 2 months ago

Issue #, if available:

Description of changes: work in progress - adds a TestModel for S3 in the aws-sdk TestModels directory

I've uploaded this code for now to give an easy repro for https://github.com/smithy-lang/smithy-dafny/issues/350.

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

justplaz commented 6 days ago

I am closing this PR in favor of https://github.com/smithy-lang/smithy-dafny/pull/461; as we are focusing on Python first for S3.