search

smithy-lang / smithy-dafny

Apache License 2.0
9 stars 8 forks source link

Support @smokeTests for Rust #425

Open robin-aws opened 3 months ago

robin-aws commented 3 months ago

Great way to sanity check TestModels even as we're only benerating them - would have caught https://github.com/smithy-lang/smithy-dafny/pull/423 for example.

robin-aws commented 3 months ago

Might be worth attempting to compile the Dafny tests in test models first.