Commit a06495c6 authored by garciay's avatar garciay
Browse files

Remove comments

parent f0080ae8
......@@ -17,16 +17,16 @@ module ItsDenm_TestControl {
control {
if(PICS_DENM_GENERATION) {
/*execute(TC_DEN_MSGF_BV_01());
execute(TC_DEN_MSGF_BV_02());*/
execute(TC_DEN_MSGF_BV_01());
execute(TC_DEN_MSGF_BV_02());
/*execute(TC_DEN_EVGN_BV_01());
execute(TC_DEN_EVGN_BV_02());*/
/*execute(TC_DEN_EVGN_BV_03());
execute(TC_DEN_EVGN_BV_01());
execute(TC_DEN_EVGN_BV_02());
execute(TC_DEN_EVGN_BV_03());
execute(TC_DEN_EVGN_BV_04());
execute(TC_DEN_EVGN_BV_05());
execute(TC_DEN_EVGN_BV_07());
execute(TC_DEN_EVGN_BV_10());*/
execute(TC_DEN_EVGN_BV_10());
}
if(PICS_DENM_UPDATE) {
......@@ -54,42 +54,42 @@ module ItsDenm_TestControl {
}
if(PICS_DENM_REPETITION) {
/*execute(TC_DEN_EVRP_TI_01());
execute(TC_DEN_EVRP_TI_01());
execute(TC_DEN_EVRP_BV_02());
execute(TC_DEN_EVRP_BV_03());
execute(TC_DEN_EVRP_BV_04());
execute(TC_DEN_EVRP_BV_05());
execute(TC_DEN_EVRP_BV_06());*/
/*execute(TC_DEN_EVRP_BV_08());
execute(TC_DEN_EVRP_BV_06());
execute(TC_DEN_EVRP_BV_08());
execute(TC_DEN_EVRP_BV_09());
execute(TC_DEN_EVRP_BV_10());
execute(TC_DEN_EVRP_BV_11());*/
execute(TC_DEN_EVRP_BV_11());
}
if(PICS_DENM_GENERATION) {
/*execute(TC_DEN_PAR_BV_01());
execute(TC_DEN_PAR_BV_02());*/
execute(TC_DEN_PAR_BV_01());
execute(TC_DEN_PAR_BV_02());
}
if(PICS_IS_IUT_SECURED) {
/*execute(TC_DEN_SSP_BV_01());
execute(TC_DEN_SSP_BV_02());*/
execute(TC_DEN_SSP_BV_01());
execute(TC_DEN_SSP_BV_02());
}
if(PICS_DENM_RECEPTION) {
/*execute(TC_DEN_MSRV_BV_01());
execute(TC_DEN_MSRV_BV_01());
execute(TC_DEN_MSRV_BV_02());
execute(TC_DEN_MSRV_BO_03());
execute(TC_DEN_MSRV_BO_04());
execute(TC_DEN_MSRV_BO_05());
execute(TC_DEN_MSRV_BO_06());
execute(TC_DEN_MSRV_BV_07());*/
execute(TC_DEN_MSRV_BV_07());
if(PICS_IS_IUT_SECURED) {
/*execute(TC_DEN_MSRV_BO_08_01());
execute(TC_DEN_MSRV_BO_08_02());*/
execute(TC_DEN_MSRV_BO_08_01());
execute(TC_DEN_MSRV_BO_08_02());
/*execute(TC_DEN_MSRV_BO_09_01());*/
execute(TC_DEN_MSRV_BO_09_01());
execute(TC_DEN_MSRV_BO_09_02());
}
if(PICS_IMPACT_REDUCTION) {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment