Commit ea0ae5d1 authored by zeiss's avatar zeiss
Browse files

more module name fixes.

parent acf80348

B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010303_permutation/NegSem_B010303_permutation_001.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass reject

 ** @verdict  pass reject

 ***************************************************/

 ***************************************************/





module NegSem_B010303_any_number_of_elements_or_none_001 { 

module NegSem_B010303_permutation_001 { 









	type record MessageType {

	type record MessageType {
@@ -24,7 +24,7 @@ type component GeneralComp { 
	  port loopbackPort messagePort

	  port loopbackPort messagePort

}	

}	





testcase TC_NegSem_B010303_any_number_of_elements_or_none_001() runs on GeneralComp {

testcase TC_NegSem_B010303_permutation_001() runs on GeneralComp {





    var MessageType v_testMessage;

    var MessageType v_testMessage;
@@ -48,7 +48,7 @@ testcase TC_NegSem_B010303_any_number_of_elements_or_none_001() runs on GeneralC 
}

}





control{

control{

    execute(TC_NegSem_B010303_any_number_of_elements_or_none_001());

    execute(TC_NegSem_B010303_permutation_001());

}

}





}

}

B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010303_permutation/Sem_B010303_permutation_001.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

 ***************************************************/





module Sem_B010303_any_number_of_elements_or_none_001 { 

module Sem_B010303_permutation_001 { 









	type record MessageType {

	type record MessageType {
@@ -24,7 +24,7 @@ type component GeneralComp { 
	  port loopbackPort messagePort

	  port loopbackPort messagePort

}	

}	





testcase TC_Sem_B010303_any_number_of_elements_or_none_001() runs on GeneralComp {

testcase TC_Sem_B010303_permutation_001() runs on GeneralComp {





    var MessageType v_testMessage;

    var MessageType v_testMessage;
@@ -56,7 +56,7 @@ testcase TC_Sem_B010303_any_number_of_elements_or_none_001() runs on GeneralComp 
}

}





control{

control{

    execute(TC_Sem_B010303_any_number_of_elements_or_none_001());

    execute(TC_Sem_B010303_permutation_001());

}

}





}

}

B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010303_permutation/Sem_B010303_permutation_002.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

 ***************************************************/





module Sem_B010303_any_number_of_elements_or_none_002 { 

module Sem_B010303_permutation_002 { 









	type record MessageType {

	type record MessageType {
@@ -24,7 +24,7 @@ type component GeneralComp { 
	  port loopbackPort messagePort

	  port loopbackPort messagePort

}	

}	





testcase TC_Sem_B010303_any_number_of_elements_or_none_002() runs on GeneralComp {

testcase TC_Sem_B010303_permutation_002() runs on GeneralComp {





    var MessageType v_testMessage;

    var MessageType v_testMessage;
@@ -56,7 +56,7 @@ testcase TC_Sem_B010303_any_number_of_elements_or_none_002() runs on GeneralComp 
}

}





control{

control{

    execute(TC_Sem_B010303_any_number_of_elements_or_none_002());

    execute(TC_Sem_B010303_permutation_002());

}

}





}

}

B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010303_permutation/Sem_B010303_permutation_003.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

 ***************************************************/





module Sem_B010303_any_number_of_elements_or_none_003 { 

module Sem_B010303_permutation_003 { 









	type record MessageType {

	type record MessageType {
@@ -24,7 +24,7 @@ type component GeneralComp { 
	  port loopbackPort messagePort

	  port loopbackPort messagePort

}	

}	





testcase TC_Sem_B010303_any_number_of_elements_or_none_003() runs on GeneralComp {

testcase TC_Sem_B010303_permutation_003() runs on GeneralComp {





    var MessageType v_testMessage;

    var MessageType v_testMessage;
@@ -56,7 +56,7 @@ testcase TC_Sem_B010303_any_number_of_elements_or_none_003() runs on GeneralComp 
}

}





control{

control{

    execute(TC_Sem_B010303_any_number_of_elements_or_none_003());

    execute(TC_Sem_B010303_permutation_003());

}

}





}

}

B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010303_permutation/Sem_B010303_permutation_004.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/

 ***************************************************/





module Sem_B010303_any_number_of_elements_or_none_004 { 

module Sem_B010303_permutation_004 { 









	type record MessageType {

	type record MessageType {
@@ -24,7 +24,7 @@ type component GeneralComp { 
	  port loopbackPort messagePort

	  port loopbackPort messagePort

}	

}	





testcase TC_Sem_B010303_any_number_of_elements_or_none_004() runs on GeneralComp {

testcase TC_Sem_B010303_permutation_004() runs on GeneralComp {





    var MessageType v_testMessage;

    var MessageType v_testMessage;
@@ -56,7 +56,7 @@ testcase TC_Sem_B010303_any_number_of_elements_or_none_004() runs on GeneralComp 
}

}





control{

control{

    execute(TC_Sem_B010303_any_number_of_elements_or_none_004());

    execute(TC_Sem_B010303_permutation_004());

}

}





}

}