diff --git a/function_test/Semantic_Analyser/ver/high_titan_SE.ttcn b/function_test/Semantic_Analyser/ver/high_titan_SE.ttcn index d96e35bd63a3eb6e424ca7f3cbb46c2c9fcff197..5c8b5b549be88d2b609730e7ef3b9f2c52eb9e53 100644 --- a/function_test/Semantic_Analyser/ver/high_titan_SE.ttcn +++ b/function_test/Semantic_Analyser/ver/high_titan_SE.ttcn @@ -27,7 +27,7 @@ with { // check for the more general /R\d[A-HJ-NS-VX-Z](\d{1,2})?/ /* Test needs to be adjusted for every release !!!!!!! */ extension "requiresTITAN CRL 113 200/7 R2A"; /* This one must just pass, the next one must just fail */ - extension "requiresTITAN CRL 113 200/7 R3B01"; //^error: This module needs to be compiled with TITAN version (C[RN]L \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version (C[RN]L \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected// + extension "requiresTITAN CRL 113 200/8 R3B01"; //^error: This module needs to be compiled with TITAN version (C[RN]L \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? or higher; version (C[RN]L \d+ \d+\/\d+ )?R\d{1,2}[A-HJ-NS-VX-Z](\d{1,2})? detected// /* The old style RnXnn, without the CRL 113 200 and the suffix, implies major version 1 * Now that Titan is at version 6, the following will always pass: */ @@ -97,7 +97,7 @@ with { extension "requiresTITAN 77.2.1"; //^error: This module needs to be compiled with TITAN version 77.2.1 or higher; version \d+\.\d+\.\d+ detected// extension "requiresTITAN 77.22.1"; //^error: This module needs to be compiled with TITAN version 77.22.1 or higher; version \d+\.\d+\.\d+ detected// extension "requiresTITAN 6.22.1"; /* This one must just pass */ - extension "requiresTITAN 7.2.11"; //^error: This module needs to be compiled with TITAN version 7.2.11 or higher; version \d+\.\d+\.\d+ detected// + extension "requiresTITAN 8.0.11"; //^error: This module needs to be compiled with TITAN version 8.0.11 or higher; version \d+\.\d+\.\d+ detected// extension "requiresTITAN 4.2.11"; /* This one must just pass */ extension "requiresTITAN .2.1"; //^error: at or before token `.': syntax error, unexpected '.', expecting Identifier or Number// extension "requiresTITAN 77..1"; //^error: at or before token `.': syntax error, unexpected '.', expecting Number//