modelator 0.2.0

A framework and tools for model-based testing.
Documentation