precond
Precondition checking utilities.
1
Versions
—
License
No
Install Scripts
Maintainers
mathieu
Keywords
preconditionassertinvariantcontractcondition
Versions (showing 1 of 1)
| Version | Deps | Published |
|---|---|---|
| 0.2.3 | 0 / 2 |