A value checking library for Java (DbC, validations, and test assertioins)
Primary LanguageJavaApache License 2.0Apache-2.0