Failing tests:

-------------------------------------------------------------------------------
ts001_tc002_2-way_synchro_smv_cmv
Bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=435612
-------------------------------------------------------------------------------