| Issue 26: | Check @Param and @Release in method implementations; track parameters through invariants | |
| Back to list |
- Make sure that methods actually capture / release parameter permissions. - Make sure that parameter permissions are preserved in invariants (fixed fractions) |