- Feb 10, 2023
-
-
Matthias Simon authored
-
Matthias Simon authored
This commit provides the corrections provided by Tomáš Urban. Bellow you'll find his message: 1. NegSem_0503_Ordering_002 - old test, the declarations don't have to occur in the beginning of a block only. The test should be changed to a positive one. 2. NegSem_0503_Ordering_003 - old test, the declarations don't have to occur in the beginning of a block only. The test should be changed to a positive one. 3. NegSyn_05040102_parameters_of_kind_template_001 - old test, module parameters of template kind are allowed (see 8.2.1 for more details). The test should be changed to a positive one. Nevertheless, the mentioned restriction from 5.4.1.2 and the first paragraph should be changed. CR 8182 created. 4. The test on timer and port parameters should be moved to the section 5.4.1.1 and renamed. The folders 05040103_parameters_of_kind_timer and 05040104_parameters_of_kind_port deleted. The core language has been simplified and there are no specific rules for this kind of parameters any more. The following tests should be changed to positive ones: NegSyn_05040103_parameters_of_kind_timer_001 NegSem_05040104_parameters_of_kind_port_003 5. Sem_05040103_parameters_of_kind_timer_002 - old test, inout passing not possible in this case as the passed timer is not a variable. The test should be modified by adding a timer variable which could be safely passed. 6. Sem_05040104_parameters_of_kind_port_002 - old test, inout passing not possible in this case as the passed port is not a variable. The test should be modified by adding a port variable which could be safely passed. 7. There's a couple of test cases that were rendered invalid by recently added rules on implicit template restrictions (15.8.2). In order to correct them, the referenced field shall be changed to optional. The affected test case: Sem_05040101_parameters_of_kind_value_028 Sem_05040101_parameters_of_kind_value_032 Sem_05040102_parameters_of_kind_template_001 Sem_05040102_parameters_of_kind_template_002 Sem_05040102_parameters_of_kind_template_003 Sem_05040102_parameters_of_kind_template_004 Sem_05040102_parameters_of_kind_template_009 Sem_05040102_parameters_of_kind_template_010 Sem_05040102_parameters_of_kind_template_014 Sem_05040102_parameters_of_kind_template_015 Sem_05040102_parameters_of_kind_template_016 Sem_05040102_parameters_of_kind_template_030 Sem_05040102_parameters_of_kind_template_031 Sem_05040103_parameters_of_kind_timer_001 Sem_05040104_parameters_of_kind_port_001 Sem_050402_actual_parameters_002 Sem_050402_actual_parameters_117 Sem_050402_actual_parameters_118 Sem_050402_actual_parameters_123 Sem_050402_actual_parameters_124 Sem_050402_actual_parameters_129 Sem_050402_actual_parameters_130 Sem_050402_actual_parameters_152 Sem_050402_actual_parameters_188 8. The resolution of CR 8183 allows to use integer expressions in enumerated type definitions rendering the tests. The tests listed below should be changed to positive ones. Nevertheless, the change was not perfect as the BNF was not updated. A CR 8183 was created to fix this issue. NegSyn_060204_enumerated_type_and_values_001 NegSyn_060204_enumerated_type_and_values_002 9. Sem_06021505_accessing_the_keys_003 - new test, contains two errors: incorrect condition and wrong test case name 10. Sem_06021506_accessing_the_values_003 - new test, contains wrong double quote characters 11. The following old tests use "delta" as an identifier, which violates the rule on using keywords from extension packages (see A.1.5.0 for more details). A different identifier should be used. Sem_060301_non_structured_types_002 Sem_070101_ArithmeticOperators_019 Sem_070101_ArithmeticOperators_020 Sem_070101_ArithmeticOperators_021 Sem_070101_ArithmeticOperators_022 Sem_070101_ArithmeticOperators_023 Sem_160102_predefined_functions_001 12. NegSem_060302_structured_types_001 - old test, compatibility rules for enumerations have changed. The test should be changed to a positive one. 13. Sem_07010802_ischosen_operator_003 - old test, violation of implicit template restrictions, the m_u4 template should have the present restriction. 14. Sem_08020301_GeneralFormatOfImport_006 - old test for a deprecated feature that was withdrawn in 2019. The test should be either changed to a negative one or use a language string such as TTCN-3:2018 15. NegSem_1400_procedure_signatures_003 - new test and clearly invalid one, because verdicttype is a data type. It should be replaced e.g. with a component to make it valid. 16. NegSem_1503_GlobalAndLocalTemplates_008 - new test, the used templates do violate the mentioned condition, but fulfil another condition (all parameters initialized), thus the templates are valid. The test should contain a template without an abstract modifier that has a missing (or skipped) both an "in" and "out" parameter. It would be much better to have several tests trying various missing/skipped in/out/inout combinations to cover all cases. It is not necessary to include any communication operations. 17. Sem_1503_GlobalAndLocalTemplates_010 - new test, the test is a positive one and works as designed, but the expected result is incorrectly set as a negative one. It should be changed to positive. 18. NegSem_1505_ModifiedTemplates_009 - new test, contrary to the description, the base and modified templates have the same restriction. The test should be either removed, because 008 already tests this rule or it should be modified to test a different forbidden restriction combination than 008 19. Sem_150601_ReferencingIndividualStringElements_001 - new test, invalid use of a template in an equality operation, valueof operation or value extraction should be added in order to convert the template to a value. 20. Sem_150601_ReferencingIndividualStringElements_004 - new test, contains an odd number of hexadecimal digits in an octet string while an even number is required. 21. Sem_150601_ReferencingIndividualStringElements_005 - new test, syntax error in the if-condition (missing closing parenthesis). 22. Sem_150601_ReferencingIndividualStringElements_006 - new test, syntax error. The keywords "var template octetstring" should be removed from line 14. 23. NegSem_150802_ImplicitRestrictions_003 - new test. It is always safe to assign template(value) into template(omit). This should be a positive test. 24. NegSem_150802_ImplicitRestrictions_005 - new test. It is always safe to assign template(value) into an unrestricted template. This should be a positive test. 25. NegSem_150802_ImplicitRestrictions_010 - new test. It is always safe to assign template(value) into template(omit). This should be a positive test. 26. NegSem_150802_ImplicitRestrictions_012 - new test. It is always safe to assign template(value) into an unrestricted template. This should be a positive test. 27. NegSem_150802_ImplicitRestrictions_016 - new test. It is always safe to assign template(value) into template(omit). This should be a positive test. 28. NegSem_150802_ImplicitRestrictions_021 - new test. It is always safe to assign template(value) into template(present). This should be a positive test. 29. NegSem_150802_ImplicitRestrictions_022 - new test. It is always safe to assign template(present) into an unrestricted template. The test even doesn't match its description. This should be a positive test. 30. NegSem_150802_ImplicitRestrictions_024 - new test. It is always safe to assign template(present) into an unrestricted template. This should be a positive test. 31. Sem_150802_ImplicitRestrictions_001 - new test, it is not possible to access fields of an omitted record. The template should contain contain a record value. 32. Sem_150802_ImplicitRestrictions_002 - new test, it is not possible to access fields of an omitted record. The template should contain contain a record value. 33. Sem_150802_ImplicitRestrictions_006 - new test, generally okay, but the condition at the end is wrong producing a fail verdict. 34. Sem_150802_ImplicitRestrictions_008 - new test, generally okay, but the condition at the end is wrong producing a fail verdict. 35. Sem_150802_ImplicitRestrictions_009 - new test, it is not possible to access fields of an omitted record of. The template should contain contain a record of value. 36. Sem_150802_ImplicitRestrictions_010 - new test, wrong match operation on line 25. It should be match(3, v_second). 37. Sem_150802_ImplicitRestrictions_011 - new test, wrong match operation on line 25. It should be match(3, v_second). 38. Folder structure: 150801_explicit_restrictions and 150802_implicit_restrictions should be inside 1508_template_restrictions and the tests currently present under 1508_template_restrictions should be moved to 150801_explicit_restrictions and renamed accordingly. 39. Sem_1508_TemplateRestrictions_007 - old test, though the assigned content doesn't violate template restrictions, the restrictions themselves are not compatible. Content-based check was deprecated for a long period of time and completely withdrawn recently. The test should be changed to a negative one. 40. The following old tests violate the rules on changing restrictions during modification. They tested a deprecated feature that was later withdrawn. The tests should be changed to a negative ones. Sem_1508_TemplateRestrictions_016 Sem_1508_TemplateRestrictions_017 Sem_1508_TemplateRestrictions_018 Sem_1508_TemplateRestrictions_020 Sem_1508_TemplateRestrictions_022 Sem_1508_TemplateRestrictions_024 Sem_1508_TemplateRestrictions_025 Sem_1508_TemplateRestrictions_031 Sem_1508_TemplateRestrictions_032 Sem_1508_TemplateRestrictions_033 Sem_1508_TemplateRestrictions_034 Sem_1508_TemplateRestrictions_035 Sem_1508_TemplateRestrictions_036 41. Sem_1508_TemplateRestrictions_043 - old test, violates the rules on implicit restrictions. The ExampleType.a field should be changed to optional. 42. Sem_1508_TemplateRestrictions_044 - old test, violates the rules on implicit restrictions. The ExampleType.a field should be changed to optional. 43. Sem_1508_TemplateRestrictions_045 - old test, violates the rules on implicit restrictions. The test should be changed to negative one. 44. Sem_1512_TheOmitOperation_001 - new test, it is not allowed to match two templates. The condition at the line 27 should be changed to: istemplatekind(m_targetOmit, "omit") 45. Sem_1512_TheOmitOperation_002 - new test, it is not allowed to match two templates. Valueof operation or value extraction should be added to the first operand of the match operation at the line 28. 46. NegSem_1512_ThePresentOperation_003 - new test, the main issue is that conversion doesn't actually produce an error as ? fulfils the present restriction. The original template should be changed to * and the final operation to setverdict(pass). 47. Sem_1512_ThePresentOperation_001 - new test, it is not allowed to match two templates. Valueof operation or value extraction should be added to the first operand of the match operation at the line 29. 48. Sem_1514_PresentnessConversion_001 - new test, it is not allowed to match two templates. The condition at the line 23 should be changed to: istemplatekind(v_field, "?") 49. Sem_1515_ValueExtraction_001 - new test, several syntax errors (missing parentheses) 50. NegSem_160102_predefined_functions_029 - old test, this kind of qualified reference was not allowed in TTCN-3:2018 and older, but it is fine with the current standard. The test should be either removed or changed to a positive one. 51. NegSem_160102_predefined_functions_037 - old test, the rules for string indexing changed in the last standard and the substr function allows this kind of input now. The test should be changed to a positive one. 52. NegSem_160102_predefined_functions_062 and NegSem_160102_predefined_functions_063 - new tests which are essentially correct, but fail to notice one important thing: support for record of and set of hasn't been completely withdrawn and it is still present as a deprecated feature (G.4). The tests should stay in the list of unverified features and wait for G.4 withdrawal. 53. The following old tests contain a template parameter with an incompatible template restriction. The template variables passed as a parameter to predefined functions should have a value restriction. Sem_160102_predefined_functions_016 Sem_160102_predefined_functions_097 Sem_160102_predefined_functions_098 Sem_160102_predefined_functions_104 Sem_160102_predefined_functions_107 54. Sem_160102_predefined_functions_095 - old test, violation of implicit template restrictions, the m_u4 template should have the present restriction. 55. Sem_160102_predefined_functions_110 - old test. The test assumes that the supplied bitstring is encoded in a certain way. When a different codec is used, the test will fail. The test should be written in such a way that it is not dependent on a specific codec, e.g. by comparing a result of the encvalue_o function with a converted result of the encvalue_o function. 56. Sem_160102_predefined_functions_113 and Sem_160102_predefined_functions_114 - old tests, the rules for string indexing changed in the last standard and the substr function behaves differently now. The tests should be either rewritten or use a language clause "TTCN-3:2021" in its header. 57. Sem_160102_predefined_functions_116 - old test, it cannot work, because the operands of the match operation contain uninitialized values. The condition should be changed to reflect that. 58. NegSem_160103_external_functions_001 - old test, according to the current standard, templates can be returned by external functions. The test should be converted to a positive one. 59. Syn_1603_testcases_004 - new test. I wonder who wrote this one. The rule (which is even mentioned in this test) clearly states that a test case without a "runs on" clause executes on an MTC that has no ports and no variables. Yet the test assumes that the MTC uses ports and variables of the component type referenced in the system clause. The test should be either removed or rewritten. 60. NegSem_2004_InterleaveStatement_013 - old test, this kind of jump out of interleave is allowed now. The tests should be changed to a positive one. 61. The following old tests try to verify restrictions on local timer usage that were removed from the standard. The tests should be either converted to a positive ones or removed. NegSem_200502_the_activate_operation_002 NegSem_200502_the_activate_operation_006 NegSem_200502_the_activate_operation_007 62. Sem_210101_connect_and_map_operations_011 and Sem_210101_connect_and_map_operations_012 - old tests, they test a specific situation that was declared to be an error in TTCN-3:2018. The tests should converted to negative ones (if such test don't already exist). 63. Sem_B010303_permutation_006 and Sem_B010303_permutation_009 - old tests, violate rules on implicit template restrictions. The problematic templates should be defined with the present restriction. # Please enter the commit message for your changes. Lines starting # with '#' will be ignored, and an empty message aborts the commit. # # On branch v14-unvalidated # Your branch is up to date with 'upstream/v14-unvalidated'. # # Changes to be committed: # modified: 05_basic_language_elements/0503_ordering_of_declarations/NegSem_0503_Ordering_002.ttcn # modified: 05_basic_language_elements/0503_ordering_of_declarations/NegSem_0503_Ordering_003.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value/Sem_05040101_parameters_of_kind_value_028.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040101_parameters_of_kind_value/Sem_05040101_parameters_of_kind_value_032.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/NegSyn_05040102_parameters_of_kind_template_001.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_001.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_002.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_003.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_004.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_009.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_010.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_014.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_015.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_016.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_030.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040102_parameters_of_kind_template/Sem_05040102_parameters_of_kind_template_031.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040103_parameters_of_kind_timer/NegSyn_05040103_parameters_of_kind_timer_001.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040103_parameters_of_kind_timer/Sem_05040103_parameters_of_kind_timer_001.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040103_parameters_of_kind_timer/Sem_05040103_parameters_of_kind_timer_002.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040104_parameters_of_kind_port/NegSem_05040104_parameters_of_kind_port_003.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040104_parameters_of_kind_port/Sem_05040104_parameters_of_kind_port_001.ttcn # modified: 05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040104_parameters_of_kind_port/Sem_05040104_parameters_of_kind_port_002.ttcn # modified: 05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_001.ttcn # modified: 05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_002.ttcn # modified: 05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_117.ttcn # modified: 05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_118.ttcn # modified: 05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_123.ttcn # modified: 05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_124.ttcn # modified: 05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_129.ttcn # modified: 05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_130.ttcn # modified: 05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_152.ttcn # modified: 05_basic_language_elements/0504_parametrization/050402_actual_parameters/Sem_050402_actual_parameters_188.ttcn # deleted: "06_types_and_values/0602_structured_types_and_values/060201_record_type_and_values/06020103_nested_type_definitions_for_field_types/Sem_06020103_nested_type_definitions_for_field_types_0 \342\200\223 koopia.ttcn" # modified: 06_types_and_values/0602_structured_types_and_values/060204_enumerated_type_and_values/NegSyn_060204_enumerated_type_and_values_001.ttcn # modified: 06_types_and_values/0602_structured_types_and_values/060204_enumerated_type_and_values/NegSyn_060204_enumerated_type_and_values_002.ttcn # modified: 06_types_and_values/0602_structured_types_and_values/060215_map_types/06021505_accessing_the_keys/Sem_06021505_accessing_the_keys_003.ttcn # modified: 06_types_and_values/0602_structured_types_and_values/060215_map_types/06021506_accessing_the_values/Sem_06021506_accessing_the_values_003.ttcn # modified: 06_types_and_values/0603_type_compatibility/060301_non-structured_types/Sem_060301_non_structured_types_002.ttcn # modified: 06_types_and_values/0603_type_compatibility/060302_structured_types/NegSem_060302_structured_types_001.ttcn # modified: 07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_019.ttcn # modified: 07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_020.ttcn # modified: 07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_021.ttcn # modified: 07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_022.ttcn # modified: 07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_023.ttcn # modified: 07_expressions/0701_operators/070108_presence_checking_operators/07010802_ischosen_operator/Sem_07010802_ischosen_operator_003.ttcn # modified: 08_modules/0802_module_definitions_part/080203_importing_from_modules/08020301_general_format_of_import/Sem_08020301_GeneralFormatOfImport_006.ttcn # modified: 14_procedure_signatures/NegSem_1400_procedure_signatures_003.ttcn # modified: 15_templates/1503_global_and_local_templates/NegSem_1503_GlobalAndLocalTemplates_008.ttcn # modified: 15_templates/1503_global_and_local_templates/Sem_1503_GlobalAndLocalTemplates_010.ttcn # modified: 15_templates/1505_modified_templates/NegSem_1505_ModifiedTemplates_009.ttcn # modified: 15_templates/1506_referencing_elements_of_template_fields/150601_referencing_individual_string_elements/Sem_150601_ReferencingIndividualStringElements_001.ttcn # modified: 15_templates/1506_referencing_elements_of_template_fields/150601_referencing_individual_string_elements/Sem_150601_ReferencingIndividualStringElements_004.ttcn # modified: 15_templates/1506_referencing_elements_of_template_fields/150601_referencing_individual_string_elements/Sem_150601_ReferencingIndividualStringElements_005.ttcn # modified: 15_templates/1506_referencing_elements_of_template_fields/150601_referencing_individual_string_elements/Sem_150601_ReferencingIndividualStringElements_006.ttcn # modified: 15_templates/150802_implicit_restrictions/NegSem_150802_ImplicitRestrictions_003.ttcn # modified: 15_templates/150802_implicit_restrictions/NegSem_150802_ImplicitRestrictions_005.ttcn # modified: 15_templates/150802_implicit_restrictions/NegSem_150802_ImplicitRestrictions_010.ttcn # modified: 15_templates/150802_implicit_restrictions/NegSem_150802_ImplicitRestrictions_012.ttcn # modified: 15_templates/150802_implicit_restrictions/NegSem_150802_ImplicitRestrictions_016.ttcn # modified: 15_templates/150802_implicit_restrictions/NegSem_150802_ImplicitRestrictions_021.ttcn # modified: 15_templates/150802_implicit_restrictions/NegSem_150802_ImplicitRestrictions_022.ttcn # modified: 15_templates/150802_implicit_restrictions/NegSem_150802_ImplicitRestrictions_024.ttcn # modified: 15_templates/150802_implicit_restrictions/Sem_150802_ImplicitRestrictions_001.ttcn # modified: 15_templates/150802_implicit_restrictions/Sem_150802_ImplicitRestrictions_002.ttcn # modified: 15_templates/150802_implicit_restrictions/Sem_150802_ImplicitRestrictions_006.ttcn # modified: 15_templates/150802_implicit_restrictions/Sem_150802_ImplicitRestrictions_008.ttcn # modified: 15_templates/150802_implicit_restrictions/Sem_150802_ImplicitRestrictions_009.ttcn # modified: 15_templates/150802_implicit_restrictions/Sem_150802_ImplicitRestrictions_010.ttcn # modified: 15_templates/150802_implicit_restrictions/Sem_150802_ImplicitRestrictions_011.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_007.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_016.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_017.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_018.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_020.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_022.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_024.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_025.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_031.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_032.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_033.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_034.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_035.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_036.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_043.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_044.ttcn # modified: 15_templates/1508_template_restrictions/Sem_1508_TemplateRestrictions_045.ttcn # modified: 15_templates/1512_the_omit_operation/Sem_1512_TheOmitOperation_001.ttcn # modified: 15_templates/1512_the_omit_operation/Sem_1512_TheOmitOperation_002.ttcn # modified: 15_templates/1513_the_present_operation/NegSem_1512_ThePresentOperation_003.ttcn # modified: 15_templates/1513_the_present_operation/Sem_1512_ThePresentOperation_001.ttcn # modified: 15_templates/1514_presentness_conversion/Sem_1514_PresentnessConversion_001.ttcn # modified: 15_templates/1515_value_extraction/Sem_1515_ValueExtraction_001.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/NegSem_160102_predefined_functions_029.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/NegSem_160102_predefined_functions_037.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/NegSem_160102_predefined_functions_062.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/NegSem_160102_predefined_functions_063.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_001.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_016.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_095.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_097.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_098.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_104.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_107.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_110.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_113.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_114.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160102_predefined_functions/Sem_160102_predefined_functions_116.ttcn # modified: 16_functions_altsteps_testcases/1601_functions/160103_external_functions/NegSem_160103_external_functions_001.ttcn # modified: 16_functions_altsteps_testcases/1603_testcases/Syn_1603_testcases_004.ttcn # modified: 20_statement_and_operations_for_alt/2004_the_interleave_statement/NegSem_2004_InterleaveStatement_013.ttcn # modified: 20_statement_and_operations_for_alt/2005_default_handling/200502_the_activate_operation/NegSem_200502_the_activate_operation_002.ttcn # modified: 20_statement_and_operations_for_alt/2005_default_handling/200502_the_activate_operation/NegSem_200502_the_activate_operation_006.ttcn # modified: 20_statement_and_operations_for_alt/2005_default_handling/200502_the_activate_operation/NegSem_200502_the_activate_operation_007.ttcn # modified: 21_configuration_operations/2101_connection_operations/210101_connect_and_map_operations/Sem_210101_connect_and_map_operations_011.ttcn # modified: 21_configuration_operations/2101_connection_operations/210101_connect_and_map_operations/Sem_210101_connect_and_map_operations_012.ttcn # modified: 22_communication_operations/2203_procedure_based_communication/220303_reply_operation/Sem_220303_ReplyOperation_005.ttcn # modified: B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010303_permutation/Sem_B010303_permutation_006.ttcn # modified: B_matching_incoming_values/B01_template_matching/B0103_matching_inside_values/B010303_permutation/Sem_B010303_permutation_009.ttcn # # Untracked files: # foo.log # ../../build-aux/extract-operations # ../../standards/base/CR8113.docx # ../../standards/base/CR8156-3.docx #
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
- Nov 08, 2022
-
-
Matthias Simon authored
-
- Sep 07, 2022
-
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
- Sep 06, 2022
-
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
Matthias Simon authored
-
- Aug 17, 2022
-
-
Miguel Angel Reina Ortega authored
-