-------------------------------------------------------------------------------
Test set: contractAutomataTest.convertersTest.MxeConverterTest
-------------------------------------------------------------------------------
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.047 sec
