Loading 08_modules/0803_module_control_part/NegSyn_0803_ModuleControlPart_001.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ ** @verdict pass reject *****************************************************************/ module Syn_0803_ModuleControlPart_001 { module NegSyn_0803_ModuleControlPart_001 { control { Loading 08_modules/0803_module_control_part/NegSyn_0803_ModuleControlPart_002.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ ** @verdict pass reject *****************************************************************/ module Syn_0803_ModuleControlPart_002 { module NegSyn_0803_ModuleControlPart_002 { control { var integer count := 0; Loading 08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_002.ttcn +3 −3 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ ** @verdict pass accept, noexecution *****************************************************************/ module Syn_0803_ModuleControlPart_001 { module Syn_0803_ModuleControlPart_002 { type component GeneralComp {} Loading @@ -14,7 +14,7 @@ type record MyRecordType { charstring field2 } testcase Syn_0803_ModuleControlPart_001() runs on GeneralComp { testcase Syn_0803_ModuleControlPart_002() runs on GeneralComp { setverdict(pass); } Loading @@ -24,7 +24,7 @@ control { timer t_mytimer; t_mytimer.start; if (v_i == 1) { execute(Syn_0803_ModuleControlPart_001()); execute(Syn_0803_ModuleControlPart_002()); } else { log("something went wrong"); } 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_0803_ModuleControlPart_001 { module Syn_15_ModuleControlPart_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_0803_ModuleControlPart_001 { module Syn_15_ModuleControlPart_001 { type record MyRecord { default def Loading Loading
08_modules/0803_module_control_part/NegSyn_0803_ModuleControlPart_001.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ ** @verdict pass reject *****************************************************************/ module Syn_0803_ModuleControlPart_001 { module NegSyn_0803_ModuleControlPart_001 { control { Loading
08_modules/0803_module_control_part/NegSyn_0803_ModuleControlPart_002.ttcn +1 −1 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ ** @verdict pass reject *****************************************************************/ module Syn_0803_ModuleControlPart_002 { module NegSyn_0803_ModuleControlPart_002 { control { var integer count := 0; Loading
08_modules/0803_module_control_part/Syn_0803_ModuleControlPart_002.ttcn +3 −3 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ ** @verdict pass accept, noexecution *****************************************************************/ module Syn_0803_ModuleControlPart_001 { module Syn_0803_ModuleControlPart_002 { type component GeneralComp {} Loading @@ -14,7 +14,7 @@ type record MyRecordType { charstring field2 } testcase Syn_0803_ModuleControlPart_001() runs on GeneralComp { testcase Syn_0803_ModuleControlPart_002() runs on GeneralComp { setverdict(pass); } Loading @@ -24,7 +24,7 @@ control { timer t_mytimer; t_mytimer.start; if (v_i == 1) { execute(Syn_0803_ModuleControlPart_001()); execute(Syn_0803_ModuleControlPart_002()); } else { log("something went wrong"); } 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_0803_ModuleControlPart_001 { module Syn_15_ModuleControlPart_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_0803_ModuleControlPart_001 { module Syn_15_ModuleControlPart_001 { type record MyRecord { default def Loading