Commit 964ca145 authored by garciay's avatar garciay
Browse files

Merge with C2C project

parent 4ebfb17a
......@@ -29,8 +29,8 @@ module ItsCam_TpFunctions {
import from LibItsCam_Functions all;
import from LibItsCam_Templates all;
import from LibItsCam_TypesAndValues all;
import from LibItsCam_Pics {modulepar all;}
import from LibItsCam_Pixits {modulepar all;}
import from LibItsCam_Pics all;
import from LibItsCam_Pixits all;
// ASN.1
import from ITS_Container language "ASN.1:1997" all;
import from CAM_PDU_Descriptions language "ASN.1:1997" all;
......
......@@ -303,12 +303,12 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithHlAndFlags(mw_longPosVectorPosition_withDelta(v_longPosVectorIut), ?, p_hopLimit, p_flags)))) {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacketWithHlAndFlags(mw_longPosVectorPosition(v_longPosVectorIut), ?, p_hopLimit, p_flags)))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Correct GeoNetworking Common Header received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] a_receiveGeoBroadcast(mw_longPosVectorPosition_withDelta(v_longPosVectorIut), ?) {
[] a_receiveGeoBroadcast(mw_longPosVectorPosition(v_longPosVectorIut), ?) {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: Incorrect GeoNetworking Common Header received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
......@@ -587,7 +587,7 @@ module ItsGeoNetworking_TpFunctions {
// Test Body
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBeaconPacket(mw_longPosVectorPosition_withDelta(v_longPosVectorIut))))) {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBeaconPacket(mw_longPosVectorPosition(v_longPosVectorIut))))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Position equaling GN-MNGT primitive value received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
......@@ -633,7 +633,7 @@ module ItsGeoNetworking_TpFunctions {
// Test Body
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBeaconPacket(mw_longPosVectorPosition_withDelta(v_longPosVectorIut))))) {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBeaconPacket(mw_longPosVectorPosition(v_longPosVectorIut))))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Timestamp equaling GN-MNGT primitive value received ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
......@@ -694,9 +694,9 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwUnicastPacketWithSourcePv(
mw_shortPosVectorPosition_withDelta(f_longPosVector2ShortPosVector(v_longPosVectorNodeB)), // DEPV
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeB)), // DEPV
?, // sequence number
mw_longPosVectorPosition_withDelta(v_longPosVectorIut) //SOPV
mw_longPosVectorPosition(v_longPosVectorIut) //SOPV
)
)
)
......@@ -763,7 +763,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut), // SOPV
mw_longPosVectorPosition(v_longPosVectorIut), // SOPV
? // sequence number
)
)
......@@ -830,7 +830,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwAnycastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut), // SOPV
mw_longPosVectorPosition(v_longPosVectorIut), // SOPV
? // sequence number
)
)
......@@ -895,7 +895,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwShbPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut), // SOPV
mw_longPosVectorPosition(v_longPosVectorIut), // SOPV
1 //MHL
)
)
......@@ -959,7 +959,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwPdu(
mw_geoNwTsbPacket(
?, // sequence number
mw_longPosVectorPosition_withDelta(v_longPosVectorIut) // SOPV
mw_longPosVectorPosition(v_longPosVectorIut) // SOPV
)
)
)
......@@ -1897,14 +1897,14 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoBroadcast(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
v_expectedSequenceNumber) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: GBC packet received correctly ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] a_receiveGeoBroadcast(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
v_expectedSequenceNumber) {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: GBC packet received with incorrect sequence number ***");
......@@ -1958,7 +1958,7 @@ module ItsGeoNetworking_TpFunctions {
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?
)))) -> value v_geoNwInd {
tc_ac.stop;
......@@ -1980,7 +1980,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoBroadcast(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
v_expectedSequenceNumber) {
tc_ac.stop;
v_nbReceivedPackets := v_nbReceivedPackets + 1;
......@@ -1999,7 +1999,7 @@ module ItsGeoNetworking_TpFunctions {
}
}
[] a_receiveGeoBroadcast(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?) {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: GBC packet received with incorrect sequence number ***");
......@@ -2727,7 +2727,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwLsReplyPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeB))
)
)
......@@ -2782,7 +2782,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwLsReplyPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
mw_shortPosVectorPosition(f_longPosVector2ShortPosVector(v_longPosVectorNodeB))
)
)
......@@ -4141,7 +4141,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?)))) -> value v_geoNetInd {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: GBC packet received correctly ***");
......@@ -4175,7 +4175,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?)))) -> value v_geoNetInd {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: GBC packet received correctly ***");
......@@ -4252,7 +4252,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start(1.0);
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?)))) {
tc_ac.stop;
log("*** " & testcasename() & ": INCONC: GBC packet not buffered ***");
......@@ -4269,7 +4269,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
v_expectedSequenceNumber)))) -> value v_geoNetInd {
tc_ac.stop;
v_nbReceivedPackets := v_nbReceivedPackets + 1;
......@@ -4284,7 +4284,7 @@ module ItsGeoNetworking_TpFunctions {
}
}
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?)))) {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: GBC packet received in incorrect order ***");
......@@ -4322,7 +4322,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
v_expectedSequenceNumber)))) -> value v_geoNetInd {
tc_ac.stop;
v_nbReceivedPackets := v_nbReceivedPackets + 1;
......@@ -4337,7 +4337,7 @@ module ItsGeoNetworking_TpFunctions {
}
}
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?)))) {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: GBC packet received in incorrect order ***");
......@@ -4417,7 +4417,7 @@ module ItsGeoNetworking_TpFunctions {
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?)))) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: GBC packet received ***");
......@@ -4455,7 +4455,7 @@ module ItsGeoNetworking_TpFunctions {
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?)))) {
tc_noac.stop;
log("*** " & testcasename() & ": FAIL: GBC packet received ***");
......@@ -4650,7 +4650,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?)))) -> value v_geoNetInd {
tc_ac.stop;
......@@ -4692,7 +4692,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] geoNetworkingPort.receive(mw_geoNwInd(mw_geoNwPdu(mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?)))) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: GBC packet received correctly ***");
......@@ -4898,7 +4898,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwAnycastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?
)
)
......@@ -4944,7 +4944,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwAnycastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?
)
)
......@@ -5019,7 +5019,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?
)
)
......@@ -5065,7 +5065,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwBroadcastPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?
)
)
......@@ -5141,7 +5141,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwPdu(
mw_geoNwTsbPacket(
?,
mw_longPosVectorPosition_withDelta(v_longPosVectorIut)
mw_longPosVectorPosition(v_longPosVectorIut)
)
)
)
......@@ -5185,7 +5185,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwPdu(
mw_geoNwTsbPacket(
?,
mw_longPosVectorPosition_withDelta(v_longPosVectorIut)
mw_longPosVectorPosition(v_longPosVectorIut)
)
)
)
......@@ -5259,7 +5259,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwShbPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut)
mw_longPosVectorPosition(v_longPosVectorIut)
)
)
)
......@@ -5302,7 +5302,7 @@ module ItsGeoNetworking_TpFunctions {
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwShbPacket(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut)
mw_longPosVectorPosition(v_longPosVectorIut)
)
)
)
......@@ -7843,7 +7843,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoBroadcastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoBroadcastArea(c_area1)) {
tc_ac.stop;
......@@ -7877,7 +7877,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoBroadcastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoBroadcastArea(c_area1)) {
tc_ac.stop;
......@@ -7960,7 +7960,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoBroadcastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoBroadcastArea(c_area2)) {
tc_ac.stop;
......@@ -7994,7 +7994,7 @@ module ItsGeoNetworking_TpFunctions {
tc_noac.start;
alt {
[] a_receiveGeoBroadcastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoBroadcastArea(c_area2)) {
tc_noac.stop;
......@@ -9212,7 +9212,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoBroadcastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoBroadcastArea(c_area1)) {
tc_ac.stop;
......@@ -9246,7 +9246,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoBroadcastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoBroadcastArea(c_area1)) {
tc_ac.stop;
......@@ -10736,7 +10736,7 @@ module ItsGeoNetworking_TpFunctions {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwShbPacket(mw_longPosVectorPosition_withDelta(v_longPosVectorIut))
mw_geoNwShbPacket(mw_longPosVectorPosition(v_longPosVectorIut))
)
)
) {
......@@ -10773,7 +10773,7 @@ module ItsGeoNetworking_TpFunctions {
[] geoNetworkingPort.receive(
mw_geoNwInd(
mw_geoNwPdu(
mw_geoNwShbPacket(mw_longPosVectorPosition_withDelta(v_longPosVectorIut))
mw_geoNwShbPacket(mw_longPosVectorPosition(v_longPosVectorIut))
)
)
) {
......@@ -10910,7 +10910,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoAnycastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoAnycastArea(c_area1)) {
tc_ac.stop;
......@@ -10944,7 +10944,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoAnycastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoAnycastArea(c_area1)) {
tc_ac.stop;
......@@ -11027,7 +11027,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoAnycastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoAnycastArea(c_area2)) {
tc_ac.stop;
......@@ -11061,7 +11061,7 @@ module ItsGeoNetworking_TpFunctions {
tc_noac.start;
alt {
[] a_receiveGeoAnycastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoAnycastArea(c_area2)) {
tc_noac.stop;
......@@ -12233,7 +12233,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoAnycastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoAnycastArea(c_area2)) {
tc_ac.stop;
......@@ -12267,7 +12267,7 @@ module ItsGeoNetworking_TpFunctions {
tc_ac.start;
alt {
[] a_receiveGeoAnycastWithArea(
mw_longPosVectorPosition_withDelta(v_longPosVectorIut),
mw_longPosVectorPosition(v_longPosVectorIut),
?,
f_getGeoAnycastArea(c_area2)) {
tc_ac.stop;
......@@ -12317,11 +12317,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf04Up();
......@@ -12498,11 +12498,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf04Up();
......@@ -12687,11 +12687,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf04Up();
......@@ -12851,11 +12851,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf04Up();
......@@ -13007,11 +13007,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf04Up();
......@@ -13191,11 +13191,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf04Up();
......@@ -13352,11 +13352,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf04Up();
......@@ -13525,11 +13525,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf04Up();
......@@ -13716,11 +13716,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf06Up();
......@@ -13840,11 +13840,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf05Up();
......@@ -13968,11 +13968,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf06Up();
......@@ -14124,11 +14124,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
setverdict(inconc);
stop;
}
// if (f_getGeoBroadcastCbfMinTime() < 300) {
// log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");
// setverdict(inconc);
// stop;
// }
// Test component configuration
f_cf05Up();
......@@ -14240,11 +14240,11 @@ module ItsGeoNetworking_TpFunctions {
stop;
}
if (f_getGeoBroadcastCbfMinTime() < 300) {
log("*** " & testcasename() & ": PICS_GN_GEOBROADCAST_CBF_MIN_TIME >= 300 required for executing the TC ***");