diff --git a/ttcn/CAM/LibItsCam_Functions.ttcn b/ttcn/CAM/LibItsCam_Functions.ttcn index 374b953619cf00a0854977e4e38332052f19d9c7..81271657429de6f02f14e64b0e4c324adfe72e88 100644 --- a/ttcn/CAM/LibItsCam_Functions.ttcn +++ b/ttcn/CAM/LibItsCam_Functions.ttcn @@ -22,15 +22,15 @@ module LibItsCam_Functions { altstep a_basicDefault() runs on ItsFa { [] camPort.receive(mw_camInd ( mw_camMsg_any )){ - setverdict(fail, "**** a_basicDefault: CAM message received in default ****"); + setverdict(fail, "*** a_basicDefault: FAIL: CAM message received in default ***"); stop; } - []camPort.receive { - setverdict(fail, "**** a_basicDefault: event received on CAM port in default ****"); + [] camPort.receive { + setverdict(fail, "*** a_basicDefault: FAIL: event received on CAM port in default ***"); stop; } [] any timer.timeout { - setverdict(fail, "**** a_basicDefault: atimer expired in default ****"); + setverdict(fail, "*** a_basicDefault: FAIL: a timer expired in default ***"); stop; } }//end altstep a_basicDefault diff --git a/ttcn/CAM/LibItsCam_Templates.ttcn b/ttcn/CAM/LibItsCam_Templates.ttcn index 1fb4057b0a23c0262f0b71a7e80c8d009345ca6e..8ce0e2b5b9bb5bd01fc7e331236b7cc6811204ff 100644 --- a/ttcn/CAM/LibItsCam_Templates.ttcn +++ b/ttcn/CAM/LibItsCam_Templates.ttcn @@ -12,9 +12,9 @@ module LibItsCam_Templates { import from ASNAUX all; - template CamInd mw_camInd (in template CoopAwareness camMsg) := { msgIn := camMsg }; + template CamInd mw_camInd (in template CoopAwareness p_camMsg) := { msgIn := p_camMsg }; - template CamReq mw_camReq (in template CoopAwareness camMsg) := { msgOut := camMsg }; + template CamReq m_camReq (in template CoopAwareness p_camMsg) := { msgOut := p_camMsg }; template CoopAwareness mw_camMsg_any := { protocolVersion :=?,