Loading ItsDenm_TpFunctions.ttcn +4 −4 Original line number Diff line number Diff line Loading @@ -551,7 +551,7 @@ module ItsDenm_TpFunctions { f_poCancelEvent(e_iut, v_denmInd.msgIn.denm.management.actionId); f_awaitDenMessage(mw_denmInd(mw_denmPdu(mw_denm(mw_denmMgmtConTermination(v_denmInd.msgIn.denm.management.actionId)))), v_denmInd); } //save the last sequence number // Save the last sequence number v_sequenceNumber := v_denmInd.msgIn.denm.management.actionId.sequenceNumber; f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); Loading @@ -565,7 +565,7 @@ module ItsDenm_TpFunctions { mw_denmPdu( mw_denm( mw_denmMgmtConWithActionId( mw_action_id(-, f_increaseSequenceNumber(v_sequenceNumber)) mw_action_id(f_increaseSequenceNumber(v_sequenceNumber)) ) ) ) Loading Loading @@ -3687,13 +3687,13 @@ module ItsDenm_TpFunctions { tc_ac.start; alt { [] denmPort.receive ( mw_denmInd ( mw_denmPdu ( mw_denm ( mw_denmMgmtCon ( mw_action_id ( f_getTsStationId() ) ), v_situation, mw_anyDenmLocation, [] denmPort.receive ( mw_denmInd ( mw_denmPdu ( mw_denm ( mw_denmMgmtCon ( mw_action_id ( -, f_getTsStationId() ) ), v_situation, mw_anyDenmLocation, mw_alacarteConImpactReduction ) ) ) ) { tc_ac.stop; log("*** " & testcasename() & ": PASS: DENM with correct alacarte container ***"); f_selfOrClientSyncAndVerdict(c_tbDone, e_success); } [] denmPort.receive ( mw_denmInd ( mw_denmPdu ( mw_denm ( mw_denmMgmtCon ( mw_action_id ( f_getTsStationId() ) ) ) ) ) ) { [] denmPort.receive ( mw_denmInd ( mw_denmPdu ( mw_denm ( mw_denmMgmtCon ( mw_action_id ( -, f_getTsStationId() ) ) ) ) ) ) { tc_ac.stop; log("*** " & testcasename() & ": FAIL: DENM with incorrect containers ***"); f_selfOrClientSyncAndVerdict(c_tbDone, e_error); Loading Loading
ItsDenm_TpFunctions.ttcn +4 −4 Original line number Diff line number Diff line Loading @@ -551,7 +551,7 @@ module ItsDenm_TpFunctions { f_poCancelEvent(e_iut, v_denmInd.msgIn.denm.management.actionId); f_awaitDenMessage(mw_denmInd(mw_denmPdu(mw_denm(mw_denmMgmtConTermination(v_denmInd.msgIn.denm.management.actionId)))), v_denmInd); } //save the last sequence number // Save the last sequence number v_sequenceNumber := v_denmInd.msgIn.denm.management.actionId.sequenceNumber; f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); Loading @@ -565,7 +565,7 @@ module ItsDenm_TpFunctions { mw_denmPdu( mw_denm( mw_denmMgmtConWithActionId( mw_action_id(-, f_increaseSequenceNumber(v_sequenceNumber)) mw_action_id(f_increaseSequenceNumber(v_sequenceNumber)) ) ) ) Loading Loading @@ -3687,13 +3687,13 @@ module ItsDenm_TpFunctions { tc_ac.start; alt { [] denmPort.receive ( mw_denmInd ( mw_denmPdu ( mw_denm ( mw_denmMgmtCon ( mw_action_id ( f_getTsStationId() ) ), v_situation, mw_anyDenmLocation, [] denmPort.receive ( mw_denmInd ( mw_denmPdu ( mw_denm ( mw_denmMgmtCon ( mw_action_id ( -, f_getTsStationId() ) ), v_situation, mw_anyDenmLocation, mw_alacarteConImpactReduction ) ) ) ) { tc_ac.stop; log("*** " & testcasename() & ": PASS: DENM with correct alacarte container ***"); f_selfOrClientSyncAndVerdict(c_tbDone, e_success); } [] denmPort.receive ( mw_denmInd ( mw_denmPdu ( mw_denm ( mw_denmMgmtCon ( mw_action_id ( f_getTsStationId() ) ) ) ) ) ) { [] denmPort.receive ( mw_denmInd ( mw_denmPdu ( mw_denm ( mw_denmMgmtCon ( mw_action_id ( -, f_getTsStationId() ) ) ) ) ) ) { tc_ac.stop; log("*** " & testcasename() & ": FAIL: DENM with incorrect containers ***"); f_selfOrClientSyncAndVerdict(c_tbDone, e_error); Loading