r-assertive-models 0.0-2 Assertions to check properties of models

This package provides 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.