model icon indicating copy to clipboard operation
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...