Commit 6a30efcb authored by Botond Baranyi's avatar Botond Baranyi
Browse files

Fixed false error with 'activate' parameter (Bug 565952)


Signed-off-by: Botond Baranyi's avatarBotond Baranyi <botond.baranyi@ericsson.com>
Change-Id: I942f8072844aa87b8f778adcbd36b07768a2ee4e
parent 13d6b662
......@@ -25,4 +25,12 @@ function f() return integer {
return 7;
}
type component CT2 {
timer tmr;
}
altstep as() runs on CT2 {
[] tmr.timeout { setverdict(pass); }
}
}
......@@ -133,6 +133,18 @@ testcase tc_ref_double_pard_with_objid() runs on CT {
}
}
// Bug 565952
testcase tc_activate_imported_altstep() runs on CT2 {
var default def := null;
timer tmr_local;
tmr.start(0.1);
tmr_local.start(2.0);
def := activate(imp.as());
alt {
[] tmr_local.timeout { setverdict(fail); }
}
}
control {
execute(tc_ref_simple_local());
execute(tc_ref_simple_imported());
......@@ -144,6 +156,7 @@ control {
execute(tc_ref_double_pard_local());
execute(tc_ref_double_pard_specific());
execute(tc_ref_double_pard_with_objid());
execute(tc_activate_imported_altstep());
}
}
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