An assert library for the Context/Specification framework Machine.Specifications - View it on GitHub