Known WP limitations on `assigns` handling
This issue lists known WP issues with the handling of
assigns annotation. Related issues are closed (as duplicates) and listed here.
WP assigns verification is stronger than what ACSL specifies
WP does not use per behavior assigns
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information