My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
Issue 26: Check @Param and @Release in method implementations; track parameters through invariants
  Back to list
 
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
- Make sure that methods actually capture / release parameter permissions.

- Make sure that parameter permissions are preserved in invariants (fixed
fractions)

Powered by Google Project Hosting