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

Align code to ETSI TS 102 985-3 v0.0.3

parent 479026a6
Loading
Loading
Loading
Loading
+4 −4
Original line number Original line Diff line number Diff line
@@ -38,7 +38,7 @@ module LibItsFntp_Functions {
    import from LibItsFntp_Templates all;
    import from LibItsFntp_Templates all;
    import from LibItsFntp_Pixits all;
    import from LibItsFntp_Pixits all;
    import from LibItsFntp_Pics {
    import from LibItsFntp_Pics {
        modulepar PICS_ITS_S_INW;
        modulepar PICS_ITS_S_INW, PICS_ROLE_RH;
    };
    };
    // FIXME To be removed
    // FIXME To be removed
//    import from LibItsCommon_TypesAndValues {
//    import from LibItsCommon_TypesAndValues {
@@ -56,8 +56,8 @@ module LibItsFntp_Functions {
        function f_cf01Up() runs on ItsCalm {
        function f_cf01Up() runs on ItsCalm {
            
            
            // Sanity check
            // Sanity check
            if (PICS_ITS_S_INW) {
            if (PICS_ITS_S_INW or not(PICS_ROLE_RH)) {
                log("*** f_cf01Up: ERROR: PICS_ITS_S_INW shall not be required for executing the TC ***");
                log("*** f_cf01Up: ERROR: 'PICS_ITS_S_INW or not(PICS_ROLE_RH)' required for stting up CF01 ***");
                stop;
                stop;
            }
            }
            
            
@@ -90,7 +90,7 @@ module LibItsFntp_Functions {
            
            
            // Sanity check
            // Sanity check
            if (not(PICS_ITS_S_INW)) {
            if (not(PICS_ITS_S_INW)) {
                log("*** f_cf02Up: ERROR: PICS_ITS_S_INW required for executing the TC ***");
                log("*** f_cf02Up: ERROR: PICS_ITS_S_INW required for setting uo CF02 ***");
                stop;
                stop;
            }
            }