I'd love to replace the GitHub workflows that are testing all TestModels with this approach, but although it's straightforward to model them with a @ParameterizedTest, I haven't yet worked out how to execute them in parallel, and without that we'll have a fairly significant CI efficiency regression.
See https://github.com/smithy-lang/smithy-dafny/pull/257/files#diff-a933719600e0ce4e5ada8a6a7a64dfb38e005f6145c00147d9a02a16c69409d7R20-R24 for a related attempt.
I'd love to replace the GitHub workflows that are testing all TestModels with this approach, but although it's straightforward to model them with a @ParameterizedTest, I haven't yet worked out how to execute them in parallel, and without that we'll have a fairly significant CI efficiency regression.