Commit 1c8c33aa authored by garciay's avatar garciay
Browse files

STF538: Start ATS validation

parent a3baeb1e

ttcn/AtsRSUsSimulator/ItsRSUsSimulator_Functions.ttcn

+7 −4
Original line number Diff line number Diff line
@@ -867,6 +867,13 @@ module ItsRSUsSimulator_Functions { 
    }

    

    altstep a_process_cf_ut_command() runs on ItsRSUsSimulator {

      var UtGnInitialize v_utGnInitialize;

      

        [] cfPort.receive(UtGnInitialize:?) -> value v_utGnInitialize {

          log("v_utGnInitialize = ", v_utGnInitialize);

          cfPort.send(UtGnResults: { utGnInitializeResult := true } );

          repeat;

        }

        [vc_cam == true] cfPort.receive(UtCamInitialize:?) {

          cfPort.send(UtCamResults: { utCamInitializeResult := true } );

          repeat;
@@ -880,10 +887,6 @@ module ItsRSUsSimulator_Functions { 
          cfPort.send(UtDenmResults: { utDenmInitializeResult := true } );

          repeat;

        }

        [vc_beacon == true] cfPort.receive(UtGnInitialize:?) {

          cfPort.send(UtGnResults: { utGnInitializeResult := true } );

          repeat;

        }

        /* [PICS_GENERATE_DENM == true] utPort.receive(UtDenmInitialize:?) { */

        /*     utPort.send(UtDenmResults: { utDenmInitializeResult := true }); */

        /* } */