In TEST1 make
Checking invariant inv1
In TEST1 make
Checking invariant inv1
In TEST1 make
Checking invariant inv1
Execution completed