model
model copied to clipboard
model testing sugar for testing interactions on structures over time
Results
2
model issues
Sort by
recently updated
recently updated
newest added
Hi there, we (the Rust group at @sslab-gatech) are auditing crates on crates.io for safety issues and noticed that the `Shared` object seems to not have bounds on its `Send`/`Sync`...
Steps to reproduce: * Make a clean checkout of this repository (without `Cargo.lock`). * Run `cargo test`. I'm getting compile errors (cannot find macro prop_oneof) from the test. I suspect...