A set of predicates and assertions for checking the properties of models. This is mainly for use by other package developers who want to include run-time testing features in their own packages. End-users will usually want to use assertive directly.
|Author||Richard Cotton [aut, cre]|
|Date of publication||2015-10-06 14:04:11|
|Maintainer||Richard Cotton <firstname.lastname@example.org>|
|License||GPL (>= 3)|