Unverified Commit 2bdc1bd7 authored by Kristof Szabados's avatar Kristof Szabados Committed by GitHub
Browse files

Merge pull request #118 from eadrkir/master

Corrected tests
parents 7fa00a37 de3a1ef0
...@@ -2571,54 +2571,6 @@ error: integer value was expected ...@@ -2571,54 +2571,6 @@ error: integer value was expected
<END_TC> <END_TC>
:exmp :exmp
*---------------------------------------------------------------------*
:h3. NegSem_05040102_parameters_of_kind_template_008 negative test
.*---------------------------------------------------------------------*
:xmp tab=0.
<TC - 05040102_008 verify that default template instance of template formal parameters cannot reference component elements >
<COMPILE>
<EXECUTE_PARALLEL>
<MODULE TTCN NegSem_05040102_parameters_of_kind_template_008 NegSem_05040102_parameters_of_kind_template_008.ttcn >
/***************************************************
** @version 0.0.1
** @purpose 1:5.4.1.2, verify that default template instance of template formal parameters cannot reference component elements
** @verdict pass reject
***************************************************/
// The following requirement is tested:
// Restriction e)
// The template instance shall not refer to elements of the component type in a runs on clause.
module NegSem_05040102_parameters_of_kind_template_008 {
type component GeneralComp {
var template integer vc_int := ?;
}
function f(in template integer p_int := vc_int) runs on GeneralComp {
}
testcase TC_NegSem_05040102_parameters_of_kind_template_008() runs on GeneralComp {
f();
setverdict(pass);
}
control{
execute(TC_NegSem_05040102_parameters_of_kind_template_008());
}
}
<END_MODULE>
<RESULT COUNT 1>
Dynamic test case error: Copying an uninitialized/unsupported integer template.
<END_RESULT>
<END_TC>
:exmp
*---------------------------------------------------------------------* *---------------------------------------------------------------------*
:h3. NegSem_05040102_parameters_of_kind_template_009 negative test :h3. NegSem_05040102_parameters_of_kind_template_009 negative test
.*---------------------------------------------------------------------* .*---------------------------------------------------------------------*
......
...@@ -20,10 +20,13 @@ ...@@ -20,10 +20,13 @@
*****************************************************************/ *****************************************************************/
module Sem_210306_running_operation_001 { module Sem_210306_running_operation_001 {
type component GeneralComp {} type component GeneralComp {
timer t;
}
function f1 ( ) runs on GeneralComp { function f1 ( ) runs on GeneralComp {
while (true) {} // block forever t.start(5.0);
t.timeout;
} }
testcase TC_Sem_210306_running_operation_001() runs on GeneralComp system GeneralComp { testcase TC_Sem_210306_running_operation_001() runs on GeneralComp system GeneralComp {
...@@ -47,4 +50,4 @@ module Sem_210306_running_operation_001 { ...@@ -47,4 +50,4 @@ module Sem_210306_running_operation_001 {
control { control {
execute(TC_Sem_210306_running_operation_001(), 5.0); execute(TC_Sem_210306_running_operation_001(), 5.0);
} }
} }
\ No newline at end of file
...@@ -20,10 +20,13 @@ ...@@ -20,10 +20,13 @@
*****************************************************************/ *****************************************************************/
module Sem_210306_running_operation_002 { module Sem_210306_running_operation_002 {
type component GeneralComp {} type component GeneralComp {
timer t;
}
function f1 ( ) runs on GeneralComp { function f1 ( ) runs on GeneralComp {
while (true) {} // block forever t.start(5.0);
t.timeout;
} }
testcase TC_Sem_210306_running_operation_002() runs on GeneralComp system GeneralComp { testcase TC_Sem_210306_running_operation_002() runs on GeneralComp system GeneralComp {
...@@ -48,4 +51,4 @@ module Sem_210306_running_operation_002 { ...@@ -48,4 +51,4 @@ module Sem_210306_running_operation_002 {
control { control {
execute(TC_Sem_210306_running_operation_002(), 5.0); execute(TC_Sem_210306_running_operation_002(), 5.0);
} }
} }
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment