Passed

Install IDE / org.overture.parser.tests.SpecificatopnSlTestCase.AlarmSL <examples> (from org.overture.parser.tests.SpecificationSlTestSuite)

Took 4 ms.

Standard Output

============================================================================================================
|
|		Specificatopn SLs
|___________________________________________________________________________________________________________
Parsed Specificatopn SL - ModuleList<AModuleModules>         : module Database  definitions private static  PhysicalFile = Database`PhysicalFile private static  HeaderEntity = Database`HeaderEntity private static  Scope = Database`Scope private static  Recor
...[truncated 6004 bytes]...
{mk_(a, b)}), a))  end) private static  private static SortPoints: (set of ((nat * nat)) -> seq of (nat)) 	SortPoints(theSet) == let mk_(a, b) in set theSet in SortInnerRight((theSet \ {mk_(a, b)}), b) private  state Kernelof [in_model : (unresolved Database`PhysicalFile), out_model : (unresolved Database`PhysicalFile), last_id : nat] 	init k == (k = mk_Kernel(mk_PhysicalFile({|->}, {|->}), mk_PhysicalFile({|->}, {|->}), 0)) end Database  from "expressSL"