com.io7m.jaffirm:io7m-jaffirm-tests (maven): Contract checking (Unit tests)
Keywords: contract|invariant|java|postcondition|precondition