Commit 2c436ce7 authored by garciay's avatar garciay
Browse files

Bug fixed on decoding

parent d5c9bfd5
Loading
Loading
Loading
Loading
+22 −3
Original line number Diff line number Diff line
@@ -112,13 +112,32 @@ module TestCodec_CAM {
                   );
      }
      
      testcase tc_CamInd() runs on TCType system TCType {
      testcase tc_CamInd_1() runs on TCType system TCType {
        TestCamInd(
                   mw_camInd(
                   mw_camIndWithGnParameters(
                             m_camMsg(
                                      10047,
                                      31859
                                      )
                                      ),
                             1, // 01
                             2, // 02
                             3, // 03
                             67438087, // 04050607
                             8 // 08
                            ), 
                   '01020000273f7c730059f34f8c4e2db0661ffffffc2231129e48927fc1f48082788a800f53080fffc40140040102030405060708090a0b0c0d0e0f00000000000000000000000000000000000000000000000000000000000a0a0a0a'O
                   );
      }
      
      testcase tc_CamInd_2() runs on TCType system TCType {
        TestCamInd(
                   mw_camIndWithSecurityParameters(
                             m_camMsg(
                                      10047,
                                      31859
                                      ),
                             int2bit(0, 256), // 00{32}
                             168430090 // 0a0a0a0a
                            ), 
                   '01020000273f7c730059f34f8c4e2db0661ffffffc2231129e48927fc1f48082788a800f53080fffc40140040102030405060708090a0b0c0d0e0f00000000000000000000000000000000000000000000000000000000000a0a0a0a'O
                   );
+7 −12
Original line number Diff line number Diff line
@@ -1205,9 +1205,8 @@ module TestCodec_GeoNetworking {
        map(self:geoNetworkingPort, system:geoNetworkingPort);
        map(self:acPort, system:acPort);

        // No timeout ==> failure
        
        f_acTriggerEvent(m_getLongPosVector(f_getIutGnLocalAddress()));
        tc_ac.start;
        f_acTriggerEvent(m_getLongPosVector(PX_TS_NODE_A_LOCAL_GN_ADDR)); // Do nit use IUT GN Address
        alt {
          [] acPort.receive(AcGnResponse: { failure := { failure := true } }) {
            tc_ac.stop;
@@ -1268,7 +1267,7 @@ module TestCodec_GeoNetworking {
            setverdict(fail, "Received unexpected AC message");
          }
          [] tc_ac.timeout {
            log("Timeout while waiting for adapter control event result");
            setverdict(inconc, "Timeout while waiting for adapter control event result");
            stop;
          }
        } // End of 'alt' statement
@@ -1328,8 +1327,7 @@ module TestCodec_GeoNetworking {
            setverdict(fail, "Received unexpected AC message");
          }
          [] tc_ac.timeout {
            log("Timeout while waiting for adapter control event result");
            stop;
            setverdict(inconc, "Timeout while waiting for adapter control event result");
          }
        } // End of 'alt' statement
                
@@ -1396,8 +1394,7 @@ module TestCodec_GeoNetworking {
            setverdict(fail, "Received unexpected AC message");
          }
          [] tc_ac.timeout {
            log("Timeout while waiting for adapter control event result");
            stop;
            setverdict(inconc, "Timeout while waiting for adapter control event result");
          }
        } // End of 'alt' statement
                
@@ -1459,8 +1456,7 @@ module TestCodec_GeoNetworking {
            setverdict(fail, "Received unexpected AC message");
          }
          [] tc_ac.timeout {
            log("Timeout while waiting for adapter control event result");
            stop;
            setverdict(inconc, "Timeout while waiting for adapter control event result");
          }
        } // End of 'alt' statement
        
@@ -1496,8 +1492,7 @@ module TestCodec_GeoNetworking {
            setverdict(fail, "Received unexpected AC message");
          }
          [] tc_ac.timeout {
            log("Timeout while waiting for adapter control event result");
            stop;
            setverdict(inconc, "Timeout while waiting for adapter control event result");
          }
        } // End of 'alt' statement