/**
 *    @author   ETSI / TTF041
 *    @version  $URL$
 *              $Id$
 *    @desc     This module provides testcases for NG_NAS tests.
 *    @copyright   ETSI Copyright Notification
 *                 No part may be reproduced except as authorized by written permission.
 *                 The copyright and the foregoing restriction extend to reproduction in all media.
 *                 All rights reserved.
 *    @see      ETSI TS 
 */

module NG_NAS_TestControl {

    // NG_NAS
    import from NG_NAS_TestCases all;
    import from NG_NAS_Pics all;

    control {

        if (not PICS_NGNAS) {
            execute(TC_5GNAS_AMF_AUT_REQ_01());
            execute(TC_5GNAS_AMF_AUT_REQ_02());
            execute(TC_5GNAS_AMF_AUT_REQ_03());
            execute(TC_5GNAS_AMF_AUT_REQ_04());
            execute(TC_5GNAS_AMF_AUT_REQ_05());

            execute(TC_5GNAS_AMF_AUT_ABN_01());

            execute(TC_NGNAS_AMF_AUT_SEQ_01());

            execute(TC_5GNAS_AMF_SEC_ACC_01());
            execute(TC_5GNAS_AMF_SEC_REJ_01());

            execute(TC_5GNAS_AMF_DLN_ACC_01());

            execute(TC_5GNAS_AMF_REG_ACC_01());
            execute(TC_5GNAS_AMF_REG_ACC_02());
            execute(TC_5GNAS_AMF_REG_ACC_03());
            execute(TC_5GNAS_AMF_REG_ACC_04());
            execute(TC_5GNAS_AMF_REG_ACC_05());

            execute(TC_5GNAS_AMF_REG_REJ_01());
            execute(TC_5GNAS_AMF_REG_REJ_02());

            execute(TC_5GNAS_AMF_DRG_ACC_01());
            execute(TC_5GNAS_AMF_DRG_ACC_02());

            execute(TC_5GNAS_AMF_DRG_REQ_01());
            execute(TC_5GNAS_AMF_DRG_REQ_02());
            execute(TC_5GNAS_AMF_DRG_REQ_03());

        }

        if (not PICS_NGNAS) {
            execute(TC_5GAP_ICS_01());
        }
    }

} // End of module NG_NAS_TestControl