-------------------------------------------------------------------------------
Test set: contractAutomataTest.operatorsTest.ChoreographyTest
-------------------------------------------------------------------------------
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 17.229 sec
