Model checking does not function on the TLC-Tour example
The component merge is specified as table - the MC does not function
(from redmine: issue id 1849, created on 2013-12-02, closed on 2013-12-03)
The component merge is specified as table - the MC does not function
(from redmine: issue id 1849, created on 2013-12-02, closed on 2013-12-03)