https://github.com/io7m-com/jaffirm

Simple and fast contract checks
https://github.com/io7m-com/jaffirm

contract invariant postcondition precondition

Last synced: 6 days ago
JSON representation

Simple and fast contract checks

• Host: GitHub
• URL: https://github.com/io7m-com/jaffirm
• Owner: io7m-com
• License: isc
• Created: 2016-08-06T19:00:06.000Z (over 8 years ago)
• Default Branch: develop
• Last Pushed: 2024-10-21T17:14:24.000Z (17 days ago)
• Last Synced: 2024-10-29T18:11:17.747Z (9 days ago)
• Topics: contract, invariant, postcondition, precondition
• Language: Java
• Homepage: https://www.io7m.com/software/jaffirm
• Size: 1.67 MB
• Stars: 1
• Watchers: 3
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README-CHANGES.xml

Awesome Lists containing this project

README