Analyzed
2 days
ago.
based on code collected
3 days
ago.
Project Summary
Haggler supports the definition, documentation, and implementation of class invariants and method pre-conditions and post-conditions through Java5 annotations.
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy