From 7f961db103f2c83a3f8884e706a1d774ac313b18 Mon Sep 17 00:00:00 2001
From: reinaortega <miguelangel.reinaortega@etsi.org>
Date: Fri, 29 May 2020 18:39:28 +0200
Subject: [PATCH] Small fix for subscription permutation of f_CSE_DMR_DEL_001

Signed-off-by: reinaortega <miguelangel.reinaortega@etsi.org>
---
 OneM2M_PermutationFunctions.ttcn | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/OneM2M_PermutationFunctions.ttcn b/OneM2M_PermutationFunctions.ttcn
index 2d3088e..5bf472d 100644
--- a/OneM2M_PermutationFunctions.ttcn
+++ b/OneM2M_PermutationFunctions.ttcn
@@ -6451,6 +6451,10 @@ module OneM2M_PermutationFunctions {
 						v_resourceIndex := f_cse_createResource(p_resourceType, p_createRequestPrimitive, v_parentIndex); 				
                 												
 						// Test Body
+						if(p_resourceType == int23) {
+							vc_ae2.start(f_cse_notifyProcedure_noNotificationHandler());
+						}
+						
 						v_request := valueof(m_delete(f_getResourceAddress(v_resourceIndex), f_getOriginator(v_resourceIndex)));
 						                		
 						f_send(e_mca_port, m_request(v_request));
-- 
GitLab