Skip to content
Snippets Groups Projects
Commit c7f7beda authored by balaskoa's avatar balaskoa
Browse files

Compatibility in Value redirectin between indexed integer field and record integer field


Signed-off-by: default avatarbalaskoa <Jeno.Balasko@ericsson.com>
Change-Id: Iea1cbfa91473f6db0c52abac892c406278b46042
parent ab83542a
No related branches found
No related tags found
No related merge requests found
...@@ -278,6 +278,33 @@ testcase tc_MsgPortOps() runs on Empty system Empty { ...@@ -278,6 +278,33 @@ testcase tc_MsgPortOps() runs on Empty system Empty {
disconnect(self:P, self:Q) disconnect(self:P, self:Q)
} }
testcase tc_MsgPortOps_idx() runs on Empty system Empty {
var myrec1 rec1 := { 1, 2 }
var intlist4 il4 := { 1, 2 }
connect(self:P, self:Q)
timer MyTimer := 0.5
MyTimer.start
P.send(il4[0])
alt {
[] Q.receive(il4[0]) -> value rec1.f1 { //<<<<<<====Wrong java/cpp code will be generated from This line
if (rec1.f1 == 1) { setverdict(pass) } else { setverdict(fail) }
MyTimer.stop;
}
[] MyTimer.timeout { setverdict(inconc) }
}
MyTimer.start
P.send(il4[1])
alt {
[] Q.receive(il4[1]) -> value rec1.f2 {
if (rec1.f2 == 2) { setverdict(pass) } else { setverdict(fail) }
MyTimer.stop;
}
[] MyTimer.timeout { setverdict(inconc) }
}
}
testcase tc_ProcPortOps() runs on Empty { testcase tc_ProcPortOps() runs on Empty {
connect(self:X, self:X); connect(self:X, self:X);
var intlist4 v_il4; var intlist4 v_il4;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment