modelator 0.4.2

A framework and tools for model-based testing.
Documentation 
1
2
3
4
5
6
7
8
9

------------------------- MODULE NumbersAMaxBMinTest --------------------------
EXTENDS Numbers
-------------------------------------------------------------------------------

AMaxBMinTest ==
    /\ a = MaxNumber
    /\ b = 0

===============================================================================