-------------------------------------------------------------------------------
Test set: contractAutomataTest.MSCATransitionTest
-------------------------------------------------------------------------------
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec
