Commit acf80348 authored by zeiss's avatar zeiss
Browse files

fixed module names

parent 31a10532
Loading
Loading
Loading
Loading
+1 −1
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@
 ** @verdict  pass reject
 ** @verdict  pass reject
 *****************************************************************/
 *****************************************************************/


module NegSem_1508_TemplateRestrictions_005 {
module NegSem_1508_TemplateRestrictions_002 {


type record ExampleType {
type record ExampleType {
	integer a,
	integer a,
+1 −1
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@
 ** @verdict  pass reject
 ** @verdict  pass reject
 *****************************************************************/
 *****************************************************************/


module NegSem_1508_TemplateRestrictions_034 {
module NegSem_1508_TemplateRestrictions_035 {


type record ExampleType {
type record ExampleType {
	integer a,
	integer a,
+1 −1
Original line number Original line Diff line number Diff line
@@ -5,7 +5,7 @@
 ** @verdict  pass reject
 ** @verdict  pass reject
 *****************************************************************/
 *****************************************************************/


module NegSem_1508_TemplateRestrictions_034 {
module NegSem_1508_TemplateRestrictions_036 {


type record ExampleType {
type record ExampleType {
	integer a,
	integer a,
+3 −3
Original line number Original line Diff line number Diff line
@@ -5,11 +5,11 @@
 ** @verdict  pass reject
 ** @verdict  pass reject
 *****************************************************************/
 *****************************************************************/


module NegSem_1509_MatchOperation_001 {
module NegSem_1509_MatchOperation_002 {


type component GeneralComp { }
type component GeneralComp { }


testcase TC_NegSem_1509_MatchOperation_001() runs on GeneralComp {
testcase TC_NegSem_1509_MatchOperation_002() runs on GeneralComp {
	var integer v_valueOne := 20;
	var integer v_valueOne := 20;
	var integer v_valueTwo := 22;
	var integer v_valueTwo := 22;


@@ -21,7 +21,7 @@ testcase TC_NegSem_1509_MatchOperation_001() runs on GeneralComp {
}
}


control{
control{
    execute(TC_NegSem_1509_MatchOperation_001());
    execute(TC_NegSem_1509_MatchOperation_002());
}
}


}
}
 No newline at end of file
+3 −3
Original line number Original line Diff line number Diff line
@@ -4,7 +4,7 @@
 ** @purpose  1:16.1, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
 ** @purpose  1:16.1, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
 ** @verdict  pass reject
 ** @verdict  pass reject
 ***************************************************/
 ***************************************************/
module NegSem_160112_predefined_functions_011 {
module NegSem_160102_predefined_functions_011 {
	type enumerated MyEnumeratedType {e_black, e_white, e_green};
	type enumerated MyEnumeratedType {e_black, e_white, e_green};


	type record MyRecord {
	type record MyRecord {
@@ -21,7 +21,7 @@ type component GeneralComp {
}
}
	
	


testcase TC_NegSem_160112_predefined_functions_011 () runs on GeneralComp {
testcase TC_NegSem_160102_predefined_functions_011 () runs on GeneralComp {
	var MyRecord v_record1 := { field1 := omit, field2 := 2, field3 := 3, field4 := omit } ;
	var MyRecord v_record1 := { field1 := omit, field2 := 2, field3 := 3, field4 := omit } ;
	var boolean v_i;
	var boolean v_i;


@@ -32,7 +32,7 @@ testcase TC_NegSem_160112_predefined_functions_011 () runs on GeneralComp {


control{
control{


    execute(TC_NegSem_160112_predefined_functions_011());
    execute(TC_NegSem_160102_predefined_functions_011());


}
}


Loading