Bug fix #148 : This is due to the fact that the cycle time was not initialized in the Test Frame. This is checked by the model checker, but a model check is not enforced before executing the tests.

In any case, the program should not crash! This fixed the crash.
I will enforce model check before execution of any test