NEWS

---

precondition 0.1.0 (2023-03-28)

This is the initial release, implementing three types of assertion checks:

• precondition() for testing function input invariants
• postcondition() for testing function output invariants
• sanity_check() for testing critical internal invariants