Our current TestModel testing bar is a combination of Dafny-implemented tests and things like @smokeTests, but there are issues that they don't expose, such as whether a client can be safely used by multiple threads. Since Rust in particular is very persnickety about things like mutation, it's worth hand-writing a little bit of Rust code to use a test model client in a more realistic way to find these issues ASAP.
Our current TestModel testing bar is a combination of Dafny-implemented tests and things like
@smokeTests, but there are issues that they don't expose, such as whether a client can be safely used by multiple threads. Since Rust in particular is very persnickety about things like mutation, it's worth hand-writing a little bit of Rust code to use a test model client in a more realistic way to find these issues ASAP.