Loading ttcn/CAM/LibItsCam_Functions.ttcn +13 −0 Original line number Diff line number Diff line Loading @@ -189,6 +189,19 @@ module LibItsCam_Functions { // basic default altstep activate(a_default()); camPort.clear; tc_ac.start; alt { [] camPort.receive(mw_camInd ( mw_camMsg_any )){ tc_ac.stop; log("*** " & testcasename() & ": INFO: Received initial CAM ***"); } [] tc_ac.timeout { log("*** " & testcasename() & ": INCONC: Initial CAM not received ***"); f_selfOrClientSyncAndVerdictPreamble("error", e_timeout); } } } // end f_prInitialState } // end of preambles Loading Loading
ttcn/CAM/LibItsCam_Functions.ttcn +13 −0 Original line number Diff line number Diff line Loading @@ -189,6 +189,19 @@ module LibItsCam_Functions { // basic default altstep activate(a_default()); camPort.clear; tc_ac.start; alt { [] camPort.receive(mw_camInd ( mw_camMsg_any )){ tc_ac.stop; log("*** " & testcasename() & ": INFO: Received initial CAM ***"); } [] tc_ac.timeout { log("*** " & testcasename() & ": INCONC: Initial CAM not received ***"); f_selfOrClientSyncAndVerdictPreamble("error", e_timeout); } } } // end f_prInitialState } // end of preambles Loading