search

smithy-lang / smithy-dafny

Apache License 2.0
7 stars 8 forks source link

feat: add SimpleBlob TestModel for Rust #353

Closed andrewbanchich closed 1 month ago

andrewbanchich commented 2 months ago

Description of changes:

adds SimpleBlob test model

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

MikaelMayer commented 1 month ago

Please import the generated file runtimes/rust/dafny_impl/src/implementation_from_dafny.rs of PR https://github.com/smithy-lang/smithy-dafny/pull/368 so that there will be no merge conflicts.

and I can help you generate the future files after #368 (need to install Dafny locally, on the branch feat-rust, and then run DAFNY=path/to/Dafny.exe make dafny_benerate in a SimpleBlob-like folder