diff --git a/conformance_test/core_language_tests/negative_tests/23-27-B_folders.script b/conformance_test/core_language_tests/negative_tests/23-27-B_folders.script
index 86232ebf5857eb90b0dd5f6af1837de55513c6c6..4ea5da0cb35fead579e56d4d287373bb3592568d 100644
--- a/conformance_test/core_language_tests/negative_tests/23-27-B_folders.script
+++ b/conformance_test/core_language_tests/negative_tests/23-27-B_folders.script
@@ -6520,6 +6520,93 @@ error: Unmatched `\]'. Did you mean `\\\]'\?
<END_TC>
:exmp
+*---------------------------------------------------------------------*
+:h3. NegSem_B010504_match_referenced_characters_001 negative test
+.*---------------------------------------------------------------------*
+:xmp tab=0.
+
+<TC - Ensure that the IUT correctly handles template matching of character pattern reference characters >
+
+<COMPILE>
+<EXECUTE_PARALLEL>
+
+<MODULE TTCN NegSem_B010504_match_referenced_characters_001 NegSem_B010504_match_referenced_characters_001.ttcn >
+/******************************************************************************
+ ** @version 0.0.1
+ ** @purpose 1:B.1.5.4, Ensure that the IUT correctly handles template matching of character pattern reference characters
+ ** @verdict pass reject
+ ***************************************************/
+
+module NegSem_B010504_match_referenced_characters_001 {
+
+ modulepar {
+ charstring MOD_REF:="ef";
+ }
+
+ type charstring CharRange ("e".."t");
+
+ type record MessageType {
+ charstring field1,
+ charstring field2,
+ charstring field3,
+ charstring field4,
+ charstring field5,
+ charstring field6
+ }
+
+ type port loopbackPort message {
+ inout MessageType
+ } with {extension "internal"}
+
+
+ type component GeneralComp {
+ port loopbackPort messagePort;
+ const charstring c_Ref:="s";
+ }
+
+ testcase TC_NegSem_B010504_match_referenced_characters_001(charstring p_Ref) runs on GeneralComp {
+
+ var MessageType v_testMessage;
+ var charstring v_Ref:="s";
+ template charstring m_Ref:="s";
+
+ template MessageType mw_matchingTemplate:= {
+ field1 := pattern "te[\N{v_Ref}]t",
+ field2 := pattern "[\N{c_Ref}et]+",
+ field3 := pattern "[\N{MOD_REF}-t]+", //reference length is more than one character
+ field4 := pattern "te[\N{p_Ref}]t",
+ field5 := pattern "te[\N{m_Ref}]t",
+ field6 := pattern "\N{CharRange}+"
+ };
+
+ v_testMessage:= {
+ field1 := "test",
+ field2 := "test",
+ field3 := "test",
+ field4 := "test",
+ field5 := "test",
+ field6 := "test"
+ };
+
+ connect(self:messagePort, self:messagePort);
+ messagePort.send(v_testMessage);
+
+ }
+
+ control{
+ execute(TC_NegSem_B010504_match_referenced_characters_001("s"));
+ }
+
+}
+<END_MODULE>
+
+<RESULT COUNT 1>
+Dynamic test case error: The length of the charstring must be of length one, when it is being referenced in a pattern with \\N\{ref\}
+<END_RESULT>
+
+<END_TC>
+:exmp
+
*---------------------------------------------------------------------*
:h3. NegSyn_B010505_pattern_compatibility_001 negative test
.*---------------------------------------------------------------------*
diff --git a/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_040.ttcn b/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_040.ttcn
index 1d15b5b7a8ad5bf2f1d57ab2189759082efdabe5..b745594dcc0959d8427e0586803f793a1f84541a 100644
--- a/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_040.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_040.ttcn
@@ -21,7 +21,7 @@ testcase TC_Sem_070101_ArithmeticOperators_040() runs on GeneralComp {
var float v_result := v_k / v_i; // -Infinity special float as denominator
- if (v_result == 0.0) { setverdict(pass,"match") }
+ if (v_result == -0.00000) { setverdict(pass,"match") }
else { setverdict(fail,v_result) }
diff --git a/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_051.ttcn b/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_051.ttcn
index 92861026621da48043c1ea43dc0e655ce0221590..0946f036ff29b84e4763f11cc332200588ba0a20 100644
--- a/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_051.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_051.ttcn
@@ -4,8 +4,8 @@
* Adrien Kirjak
*
** @version 0.0.1
- ** @purpose 1:7.1.3, Ensure that the equal to operator on address with value null is evaulated correctly
- ** @verdict pass accept, ttcn3verdict:pass
+ ** @purpose 1:7.1.1, Ensure that arithmetic operators can not handle special float values
+ ** @verdict pass reject
*****************************************************************/
module Sem_070101_ArithmeticOperators_051 {
@@ -13,21 +13,15 @@ module Sem_070101_ArithmeticOperators_051 {
type component GeneralComp {
}
-type integer address;
-
testcase TC_Sem_070101_ArithmeticOperators_051() runs on GeneralComp {
-
- var address My_address := null;
-
-
- if (My_address == null)
- {
- setverdict(pass, My_address);
- } else {
- setverdict(fail,My_address);
- }
-}
+ var float v_i := -infinity;
+ var float v_k :=2.0E0;
+
+ var float v_result := v_i * v_k; // arithmetic operator with -infinity is not allowed
+
+ setverdict(pass);
+}
control{
execute(TC_Sem_070101_ArithmeticOperators_051());
}
diff --git a/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_052.ttcn b/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_052.ttcn
index eee0c5d1579435f14c23edc3ba666cc106fabc15..92861026621da48043c1ea43dc0e655ce0221590 100644
--- a/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_052.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_052.ttcn
@@ -4,26 +4,23 @@
* Adrien Kirjak
*
** @version 0.0.1
- ** @purpose 1:7.1.3, Ensure that the not equal to operator on address with value null is evaulated correctly
+ ** @purpose 1:7.1.3, Ensure that the equal to operator on address with value null is evaulated correctly
** @verdict pass accept, ttcn3verdict:pass
*****************************************************************/
-/* Restriction c) With the exception of the equality and non-equality operators, the special value null shall not be used as an operand of expressions (see clause 7.1.3).*/
-
-
-module Sem_070101_ArithmeticOperators_052 {
+module Sem_070101_ArithmeticOperators_051 {
type component GeneralComp {
}
type integer address;
-testcase TC_Sem_070101_ArithmeticOperators_052() runs on GeneralComp {
+testcase TC_Sem_070101_ArithmeticOperators_051() runs on GeneralComp {
- var address My_address := 1;
+ var address My_address := null;
- if (My_address != null)
+ if (My_address == null)
{
setverdict(pass, My_address);
} else {
@@ -32,7 +29,7 @@ testcase TC_Sem_070101_ArithmeticOperators_052() runs on GeneralComp {
}
control{
- execute(TC_Sem_070101_ArithmeticOperators_052());
+ execute(TC_Sem_070101_ArithmeticOperators_051());
}
}
diff --git a/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_053.ttcn b/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_053.ttcn
new file mode 100644
index 0000000000000000000000000000000000000000..eee0c5d1579435f14c23edc3ba666cc106fabc15
--- /dev/null
+++ b/conformance_test/core_language_tests/positive_tests/07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_053.ttcn
@@ -0,0 +1,38 @@
+/******************************************************************************
+ * Copyright (C) 2016 ETSI All Rights Reserved.
+ *
+ * Adrien Kirjak
+ *
+ ** @version 0.0.1
+ ** @purpose 1:7.1.3, Ensure that the not equal to operator on address with value null is evaulated correctly
+ ** @verdict pass accept, ttcn3verdict:pass
+ *****************************************************************/
+
+/* Restriction c) With the exception of the equality and non-equality operators, the special value null shall not be used as an operand of expressions (see clause 7.1.3).*/
+
+
+module Sem_070101_ArithmeticOperators_052 {
+
+type component GeneralComp {
+}
+
+type integer address;
+
+testcase TC_Sem_070101_ArithmeticOperators_052() runs on GeneralComp {
+
+ var address My_address := 1;
+
+
+ if (My_address != null)
+ {
+ setverdict(pass, My_address);
+ } else {
+ setverdict(fail,My_address);
+ }
+}
+
+control{
+ execute(TC_Sem_070101_ArithmeticOperators_052());
+}
+
+}
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/Sem_220202_ReceiveOperation_029.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/Sem_220202_ReceiveOperation_029.ttcn
index 51bea89b885c35aeecda6e103562d0ae2c121bec..36cfa7ef0dfc9bef96c9482cc25c99c7312b5177 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/Sem_220202_ReceiveOperation_029.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220202_receive_operation/Sem_220202_ReceiveOperation_029.ttcn
@@ -30,7 +30,7 @@ module Sem_220202_ReceiveOperation_029 {
p[1].send(1);
p[1].send(2);
p[1].send(3);
- any from p.receive(integer:?) -> @index v_int;
+ any from p.receive(integer:?) -> @index value v_int;
if (v_int == 1) { // evaluation of @lazy (receive shall not be called again)
alt {
diff --git a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/Sem_220203_TriggerOperation_028.ttcn b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/Sem_220203_TriggerOperation_028.ttcn
index 725705da4161269f507ad592e2da5de8c9b44f19..5a8244897483e43f9aafeb541106e1912eed1cce 100644
--- a/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/Sem_220203_TriggerOperation_028.ttcn
+++ b/conformance_test/core_language_tests/positive_tests/22_communication_operations/2202_message_based_communication/220203_trigger_operation/Sem_220203_TriggerOperation_028.ttcn
@@ -30,7 +30,7 @@ module Sem_220203_TriggerOperation_028 {
p[1].send(1);
p[1].send(2);
p[1].send(3);
- any from p.trigger(integer:?) -> @index v_int;
+ any from p.trigger(integer:?) -> @index value v_int;
if (v_int == 1) { // evaluation of @lazy (receive shall not be called again)
alt {
diff --git a/conformance_test/core_language_tests/positive_tests/pos_conf_tests.cfg b/conformance_test/core_language_tests/positive_tests/pos_conf_tests.cfg
index 7905c5f0b3e88cf07d9175c336e2460acd2c953c..25ab99a3f5978a815060516455186840cf5b8305 100644
--- a/conformance_test/core_language_tests/positive_tests/pos_conf_tests.cfg
+++ b/conformance_test/core_language_tests/positive_tests/pos_conf_tests.cfg
@@ -492,6 +492,31 @@ Sem_070101_ArithmeticOperators_023.control
Sem_070101_ArithmeticOperators_024.control
Sem_070101_ArithmeticOperators_025.control
Sem_070101_ArithmeticOperators_026.control
+Sem_070101_ArithmeticOperators_027.control
+Sem_070101_ArithmeticOperators_028.control
+Sem_070101_ArithmeticOperators_029.control
+Sem_070101_ArithmeticOperators_030.control
+Sem_070101_ArithmeticOperators_031.control
+Sem_070101_ArithmeticOperators_032.control
+Sem_070101_ArithmeticOperators_033.control
+Sem_070101_ArithmeticOperators_034.control
+Sem_070101_ArithmeticOperators_035.control
+Sem_070101_ArithmeticOperators_036.control
+Sem_070101_ArithmeticOperators_037.control
+Sem_070101_ArithmeticOperators_038.control
+Sem_070101_ArithmeticOperators_039.control
+Sem_070101_ArithmeticOperators_040.control
+Sem_070101_ArithmeticOperators_041.control
+Sem_070101_ArithmeticOperators_042.control
+Sem_070101_ArithmeticOperators_043.control
+Sem_070101_ArithmeticOperators_044.control
+Sem_070101_ArithmeticOperators_045.control
+Sem_070101_ArithmeticOperators_046.control
+Sem_070101_ArithmeticOperators_047.control
+Sem_070101_ArithmeticOperators_048.control
+Sem_070101_ArithmeticOperators_049.control
+Sem_070101_ArithmeticOperators_050.control
+Sem_070101_ArithmeticOperators_051.control
Sem_070102_ListOperator_001.control
Sem_070102_ListOperator_002.control
Sem_070102_ListOperator_003.control
@@ -1223,6 +1248,7 @@ Sem_B010205_value_range_003.control
Sem_B010205_value_range_004.control
Sem_B010205_value_range_005.control
Sem_B010205_value_range_006.control
+Sem_B010205_value_range_007.control
Sem_B010206_superset_001.control
Sem_B010206_superset_002.control
Sem_B010206_superset_003.control
@@ -1294,6 +1320,13 @@ Sem_B010503_match_n_times_002.control
Sem_B010503_match_n_times_003.control
Sem_B010503_match_n_times_004.control
Sem_B010503_match_n_times_005.control
+Sem_B010504_match_referenced_characters_001.control
+Sem_B010504_match_referenced_characters_002.control
+Sem_B010504_match_referenced_characters_003.control
+Sem_B010504_match_referenced_characters_004.control
+Sem_B010504_match_referenced_characters_005.control
+Sem_B010504_match_referenced_characters_006.control
+Sem_B010504_match_referenced_characters_007.control
Sem_B010505_pattern_compatibility_001.control
Sem_B010506_case_sensitive_pattern_matching_001.control
Sem_B010506_case_sensitive_pattern_matching_002.control
diff --git a/conformance_test/core_language_tests/positive_tests/pos_conf_tests.tpd b/conformance_test/core_language_tests/positive_tests/pos_conf_tests.tpd
index e0ef773828966c7e61c6cf0285d33eebe23c6608..0dd5920b68256b3e76366415a860d36785030a25 100644
--- a/conformance_test/core_language_tests/positive_tests/pos_conf_tests.tpd
+++ b/conformance_test/core_language_tests/positive_tests/pos_conf_tests.tpd
@@ -1300,7 +1300,6 @@
<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_002.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_002.ttcn"/>-->
<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_003.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_003.ttcn"/>-->
<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_004.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_004.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_006.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_006.ttcn"/>-->
<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_008.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_008.ttcn"/>-->
<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_009.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_009.ttcn"/>-->
<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_010.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/NegSem_070101_ArithmeticOperators_010.ttcn"/>-->
@@ -1330,32 +1329,33 @@
<FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_024.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_024.ttcn"/>
<FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_025.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_025.ttcn"/>
<FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_026.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_026.ttcn"/>
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_027.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_027.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_028.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_028.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_029.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_029.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_030.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_030.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_031.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_031.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_032.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_032.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_033.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_033.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_034.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_034.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_035.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_035.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_036.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_036.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_037.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_037.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_038.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_038.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_039.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_039.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_040.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_040.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_041.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_041.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_042.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_042.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_043.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_043.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_044.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_044.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_045.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_045.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_046.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_046.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_047.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_047.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_048.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_048.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_049.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_049.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_050.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_050.ttcn"/>-->
-<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_051.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_051.ttcn"/>-->
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_027.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_027.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_028.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_028.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_029.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_029.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_030.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_030.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_031.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_031.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_032.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_032.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_033.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_033.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_034.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_034.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_035.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_035.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_036.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_036.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_037.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_037.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_038.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_038.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_039.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_039.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_040.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_040.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_041.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_041.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_042.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_042.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_043.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_043.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_044.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_044.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_045.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_045.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_046.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_046.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_047.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_047.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_048.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_048.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_049.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_049.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_050.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_050.ttcn"/>
+ <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_051.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_051.ttcn"/>
<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_052.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_052.ttcn"/>-->
+<!-- <FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_053.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Sem_070101_ArithmeticOperators_053.ttcn"/>-->
<FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Syn_070101_ArithmeticOperators_001.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Syn_070101_ArithmeticOperators_001.ttcn"/>
<FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Syn_070101_ArithmeticOperators_002.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Syn_070101_ArithmeticOperators_002.ttcn"/>
<FileResource projectRelativePath="07_expressions/0701_operators/070101_arithmetic_operators/Syn_070101_ArithmeticOperators_003.ttcn" relativeURI="07_expressions/0701_operators/070101_arithmetic_operators/Syn_070101_ArithmeticOperators_003.ttcn"/>
@@ -3221,7 +3221,7 @@
<FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_004.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_004.ttcn"/>
<FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_005.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_005.ttcn"/>
<FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_006.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_006.ttcn"/>
-<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_007.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_007.ttcn"/>-->
+ <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_007.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_007.ttcn"/>
<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_008.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010205_value_range/Sem_B010205_value_range_008.ttcn"/>-->
<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010206_superset/NegSem_B010206_superset_001.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010206_superset/NegSem_B010206_superset_001.ttcn"/>-->
<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010206_superset/NegSem_B010206_superset_002.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0102_matching_mechanisms/B010206_superset/NegSem_B010206_superset_002.ttcn"/>-->
@@ -3327,13 +3327,13 @@
<FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010503_match_n_times/Sem_B010503_match_n_times_004.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010503_match_n_times/Sem_B010503_match_n_times_004.ttcn"/>
<FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010503_match_n_times/Sem_B010503_match_n_times_005.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010503_match_n_times/Sem_B010503_match_n_times_005.ttcn"/>
<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/NegSem_B010504_match_referenced_characters_001.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/NegSem_B010504_match_referenced_characters_001.ttcn"/>-->
-<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_001.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_001.ttcn"/>-->
-<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_002.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_002.ttcn"/>-->
-<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_003.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_003.ttcn"/>-->
-<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_004.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_004.ttcn"/>-->
-<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_005.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_005.ttcn"/>-->
-<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_006.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_006.ttcn"/>-->
-<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_007.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_007.ttcn"/>-->
+ <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_001.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_001.ttcn"/>
+ <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_002.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_002.ttcn"/>
+ <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_003.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_003.ttcn"/>
+ <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_004.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_004.ttcn"/>
+ <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_005.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_005.ttcn"/>
+ <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_006.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_006.ttcn"/>
+ <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_007.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010504_match_referenced_characters/Sem_B010504_match_referenced_characters_007.ttcn"/>
<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010505_pattern_compatibility/NegSyn_B010505_pattern_compatibility_001.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010505_pattern_compatibility/NegSyn_B010505_pattern_compatibility_001.ttcn"/>-->
<FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010505_pattern_compatibility/Sem_B010505_pattern_compatibility_001.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010505_pattern_compatibility/Sem_B010505_pattern_compatibility_001.ttcn"/>
<!-- <FileResource projectRelativePath="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010505_pattern_compatibility/Sem_B010505_pattern_compatibility_002.ttcn" relativeURI="B_matching_incoming_values/B01_template_matching/B0105_matching_character_pattern/B010505_pattern_compatibility/Sem_B010505_pattern_compatibility_002.ttcn"/>-->
diff --git a/usrguide/SoC_TITAN.docx b/usrguide/SoC_TITAN.docx
index 4f0d69f8138ae76475c498cdebf390b8f9493f59..99d53408c019d10060da32ab15e4cf1d3acdb5f8 100644
Binary files a/usrguide/SoC_TITAN.docx and b/usrguide/SoC_TITAN.docx differ