Passed

org.overture.parser.tests.SpecificatopnRtTestCase.MSAWRT <examples> (from org.overture.parser.tests.SpecificationRtTestSuite)

Took 56 ms.

Standard Output

============================================================================================================
|
|		Specification RTs
|___________________________________________________________________________________________________________
Parsed Specification RT - ClassList<AClassClassDefinition>   : class Accelerometer is subclass of [GLOBAL] public  stimulate ((unresolved Accelerometer`ActivityData) ==> ()) 	stimulate(a) == Pacemaker`rateController.stimulate(a) end Accelerometer  class Envi
...[truncated 10643 bytes]...
rometer(Pacemaker`accelerometer); Pacemaker`heartController.addLeadPacer(Pacemaker`atriaLead); Pacemaker`heartController.addLeadPacer(Pacemaker`ventricleLead); Pacemaker`heartController.setMode(mode); start (Pacemaker`heartController); start (Pacemaker`rateController); start (Pacemaker`atriaLead); start (Pacemaker`ventricleLead) ) public  Run (() ==> ()) 	Run() == (  start (env); env.isFinished(); Pacemaker`heartController.isFinished(); env.showResult() ) end World   from "PacemakerRT"