TestCodec_Pki.ttcn

    }
  } // End of testcase tc_inner_ec_functions_4
  
  control {
    execute(tc_inner_ec_request_1());
    execute(tc_inner_ec_request_2());
    execute(tc_inner_ec_request_3());
    execute(tc_inner_ec_response_1());
    execute(tc_inner_ec_response_2());
    execute(tc_inner_ec_functions_1());
    execute(tc_inner_ec_functions_2());
    execute(tc_inner_ec_functions_3());
    execute(tc_inner_ec_functions_4());
  }
  
} // End of module TestCodec_Pki