Commit de3a1ef0 authored by Adrien Kirjak's avatar Adrien Kirjak
Browse files

Corrected tests


Signed-off-by: default avatarAdrien Kirjak <adrien.kirjak@ericsson.com>
parent 7fa00a37
......@@ -2571,54 +2571,6 @@ error: integer value was expected
<END_TC>
: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
.*---------------------------------------------------------------------*
......
......@@ -20,10 +20,13 @@
*****************************************************************/
module Sem_210306_running_operation_001 {
type component GeneralComp {}
type component GeneralComp {
timer t;
}
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 {
......@@ -47,4 +50,4 @@ module Sem_210306_running_operation_001 {
control {
execute(TC_Sem_210306_running_operation_001(), 5.0);
}
}
\ No newline at end of file
}
......@@ -20,10 +20,13 @@
*****************************************************************/
module Sem_210306_running_operation_002 {
type component GeneralComp {}
type component GeneralComp {
timer t;
}
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 {
......@@ -48,4 +51,4 @@ module Sem_210306_running_operation_002 {
control {
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