Loading ATS/core_language/05_basic_language_elements/0504_parametrization/050403_variadic_parameters/Sem_050403_variadic_parameters_006.ttcn +3 −4 Original line number Diff line number Diff line Loading @@ -3,7 +3,6 @@ // @verdict pass accept module Sem_050403_variadic_parameters_006 { type record of integer RoI; type record of integer RoA[3]; type record of C RoC; Loading ATS/core_language/05_basic_language_elements/0504_parametrization/050403_variadic_parameters/Sem_050403_variadic_parameters_009.ttcn +5 −6 Original line number Diff line number Diff line Loading @@ -30,7 +30,6 @@ testcase TC_Sem_050403_variadic_parameters_009() runs on GeneralComp { } } control { execute(TC_Sem_050403_variadic_parameters_009()); } Loading ATS/core_language/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/06020104_embedding_fields/Sem_06020104_embedding_fields_001.ttcn +6 −7 Original line number Diff line number Diff line Loading @@ -11,7 +11,6 @@ type record R { Sem_06020104_embedding_fields_001.GeneralComp } testcase TC_Sem_06020104_embedding_fields_001() runs on GeneralComp { var R r := { integer := 23, Loading ATS/core_language/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/06020104_embedding_fields/Sem_06020104_embedding_fields_004.ttcn +4 −5 Original line number Diff line number Diff line Loading @@ -5,7 +5,6 @@ module Sem_06020104_embedding_fields_004 { type component GeneralComp {} type record A { B } Loading ATS/core_language/06_types_and_values/0605_automatic_type/Sem_0605_automatic_type_004.ttcn +3 −4 Original line number Diff line number Diff line Loading @@ -7,5 +7,4 @@ function f() { var @fuzzy x := 1; } } Loading
ATS/core_language/05_basic_language_elements/0504_parametrization/050403_variadic_parameters/Sem_050403_variadic_parameters_006.ttcn +3 −4 Original line number Diff line number Diff line Loading @@ -3,7 +3,6 @@ // @verdict pass accept module Sem_050403_variadic_parameters_006 { type record of integer RoI; type record of integer RoA[3]; type record of C RoC; Loading
ATS/core_language/05_basic_language_elements/0504_parametrization/050403_variadic_parameters/Sem_050403_variadic_parameters_009.ttcn +5 −6 Original line number Diff line number Diff line Loading @@ -30,7 +30,6 @@ testcase TC_Sem_050403_variadic_parameters_009() runs on GeneralComp { } } control { execute(TC_Sem_050403_variadic_parameters_009()); } Loading
ATS/core_language/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/06020104_embedding_fields/Sem_06020104_embedding_fields_001.ttcn +6 −7 Original line number Diff line number Diff line Loading @@ -11,7 +11,6 @@ type record R { Sem_06020104_embedding_fields_001.GeneralComp } testcase TC_Sem_06020104_embedding_fields_001() runs on GeneralComp { var R r := { integer := 23, Loading
ATS/core_language/06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/06020104_embedding_fields/Sem_06020104_embedding_fields_004.ttcn +4 −5 Original line number Diff line number Diff line Loading @@ -5,7 +5,6 @@ module Sem_06020104_embedding_fields_004 { type component GeneralComp {} type record A { B } Loading
ATS/core_language/06_types_and_values/0605_automatic_type/Sem_0605_automatic_type_004.ttcn +3 −4 Original line number Diff line number Diff line Loading @@ -7,5 +7,4 @@ function f() { var @fuzzy x := 1; } }