gcontracts-core: 1.2.4
Closed Tickets
-
✔ #17
old variable generation on inherited instance variablesno tags ✓resolved -
✔ #10
Support for static methodsno tags ✓resolved -
✔ #25
Precondition (@Requires) should be checked before the method, closure is invokedno tags ✓resolved -
✔ #28
use locks to avoid concurrency issues when checking contractsno tags ✓resolved -
✔ #29
no explicit return returns nullno tags ✓resolved -
✔ #30
ReturnStatementVisitor does not ignore closure expressionsno tags ✓resolved
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
core module
me (at andresteingress)
Unassigned