SimpleTrafficLights Test Specification Example: testsuite not working
To reproduce:
- open SimpleTrafficLights Test Specification Example
- go to TLCSystem
- right-click on the Testsuite
- try update, execute, validate
==>None is working
(from redmine: issue id 2106, created on 2014-08-06, closed on 2015-01-28)