Skip to content
Kani Extra

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

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 #1461

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