gcontracts’s Overview

Open Tickets

• 1 provide better javadoc for SPI classes new
• 5 consistent naming through the core classes new
• 9 support for annotation contracts in interfaces new
• 18 call to super method causes precondition violation new
• 32 Check for support of @Requires and @Ensures on Groovy properties new
• View more…