...
The simulation relies on you adding simple verification attributes. (This is similar to c/c++/python asserts). These can be added on a task, family and suite.
There are however restrictions. If the definition has large loops due to Repeat date attributes, which run indefinitely, then in this case the simulation will never complete, and will timeout after a years worth of run time.
...