To check properties and write meaningful scenarios, Mitten provides a mechanism for adding assertions throughout the code.

In fact, these assertions are very flexible and allow to execute arbitrary code. This gives the user total freedom on how to track information and check important properties, while still providing a general framework for recording and reporting results of the execution together with a few helper functions for usual checks and actions.