Pre-/Post-Conditions Were Removed
It looks like pre- & post-conditions were removed in b4e74444 but not replaced. They are still mentioned as supported in the README and the wiki.
It looks like pre- & post-conditions were removed in b4e74444 but not replaced. They are still mentioned as supported in the README and the wiki.