Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add TestModel for reusing input/output structures #593

Open
robin-aws opened this issue Sep 21, 2024 · 0 comments
Open

Add TestModel for reusing input/output structures #593

robin-aws opened this issue Sep 21, 2024 · 0 comments
Labels
TestModels Relates to Testing the code generator via the TestModels directory
Milestone
Support the DB ES...

Comments

@robin-aws
Copy link
Contributor

This was particularly annoying for Rust, since the codegen for input and output structures we imitated from smithy-rs is quite different from other structures, but Dafny doesn't distinguish. The DB ESDK does this a ton but no other polymorph project or test model does.
@robin-aws robin-aws added the TestModels Relates to Testing the code generator via the TestModels directory label Sep 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
TestModels Relates to Testing the code generator via the TestModels directory
Projects
None yet
Milestone
Support the DB ESDK and MPL (GA)
Development

No branches or pull requests
1 participant
@robin-aws