Loading 15_templates/15_toplevel/Syn_15_TopLevel_001.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ ** @verdict pass accept, noexecution *****************************************************************/ module Syn_15_ModuleControlPart_001 { module Syn_15_TopLevel_001 { type record MyRecord { charstring field1 Loading 15_templates/15_toplevel/Syn_15_TopLevel_002.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ ** @verdict pass accept, noexecution *****************************************************************/ module Syn_15_ModuleControlPart_001 { module Syn_15_TopLevel_001 { type record MyRecord { default def Loading Loading
15_templates/15_toplevel/Syn_15_TopLevel_001.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ ** @verdict pass accept, noexecution *****************************************************************/ module Syn_15_ModuleControlPart_001 { module Syn_15_TopLevel_001 { type record MyRecord { charstring field1 Loading
15_templates/15_toplevel/Syn_15_TopLevel_002.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ ** @verdict pass accept, noexecution *****************************************************************/ module Syn_15_ModuleControlPart_001 { module Syn_15_TopLevel_001 { type record MyRecord { default def Loading