Skip to content
Kani Extra

Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros #1407

Sign in to view logs

Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros

Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros #1407

The logs for this run have expired and are no longer available.