Enable an #[invariant(...)]
attribute helper for the Arbitrary
and Invariant
macros
#5574
Job | Run time |
---|---|
50s | |
50s |
#[invariant(...)]
attribute helper for the Arbitrary
and Invariant
macros
#5574
Job | Run time |
---|---|
50s | |
50s |