Skip to content
  1. Mar 27, 2024
  2. Mar 26, 2024
  3. Apr 06, 2023
  4. Apr 05, 2023
  5. Mar 17, 2023
  6. Feb 23, 2023
  7. Feb 20, 2023
  8. Feb 17, 2023
  9. Feb 16, 2023
    • Axel Rennoch's avatar
      Aktualisieren... · 620d2972
      Axel Rennoch authored
      Aktualisieren ATS/core_language/19_basic_program_statements/1901_assignments/190102_shorthand_assignments/Sem_190102_shorthand_increment.ttcn, ATS/core_language/19_basic_program_statements/1901_assignments/190102_shorthand_assignments/Sem_190102_shorthand_decrement.ttcn, ATS/core_language/19_basic_program_statements/1901_assignments/190102_shorthand_assignments/NegSem_190102_shorthand_increment.ttcn, ATS/core_language/19_basic_program_statements/1904_for_statement/190402_range_based_loop/Sem_190402_range_based_loop_001.ttcn
      620d2972
  10. Feb 10, 2023
    • Matthias Simon's avatar
      Update test prefixes · 8c3ac5b2
      Matthias Simon authored
      8c3ac5b2
    • Matthias Simon's avatar
      Fix white-spaces · 3111061e
      Matthias Simon authored
      3111061e
    • Matthias Simon's avatar
      Merge branch 'v14-unvalidated' into 'main' · 3d66b38f
      Matthias Simon authored
      V14 unvalidated
      
      See merge request !1
      3d66b38f
    • Matthias Simon's avatar
      Add suggested corrections for test suite validation · 45c0275f
      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 #
      45c0275f
    • Matthias Simon's avatar
      Add core language tests · 2069835b
      Matthias Simon authored
      2069835b