Commit 1528a2fc authored by stancakapost's avatar stancakapost
Browse files

fixed order of declarations vs statements

parent ef11936e
......@@ -22,7 +22,6 @@ module NegSem_2004_InterleaveStatement_001 {
}
testcase TC_NegSem_2004_InterleaveStatement_001() runs on GeneralComp {
pt_myPort1.send(MyMessageType:{1, "aaa", true});
template MyMessageType MySig1 := {1,"aaa",true};
template MyMessageType MySig2 := {2,"bbb",true};
......@@ -30,6 +29,7 @@ module NegSem_2004_InterleaveStatement_001 {
var integer v_i;
timer t_timer;
pt_myPort1.send(MyMessageType:{1, "aaa", true});
t_timer.start(1.0);
interleave {
......
......@@ -22,13 +22,13 @@ module NegSyn_2004_InterleaveStatement_001 {
}
testcase TC_NegSyn_2004_InterleaveStatement_001() runs on GeneralComp {
pt_myPort1.send(MyMessageType:{1, "aaa", true});
template MyMessageType MySig1 := {1,"aaa",true};
template MyMessageType MySig2 := {2,"bbb",true};
template MyMessageType MySig3 := {3,"ccc",true};
timer t_timer;
pt_myPort1.send(MyMessageType:{1, "aaa", true});
t_timer.start(1.0);
interleave {
......@@ -48,9 +48,9 @@ module NegSyn_2004_InterleaveStatement_001 {
{
pt_myPort1.send(MySig3);
}
[else] {
setverdict(pass);
}
[else] {
setverdict(pass);
}
}
......
......@@ -22,15 +22,15 @@ module NegSyn_2004_InterleaveStatement_002 {
}
testcase TC_NegSyn_2004_InterleaveStatement_002() runs on GeneralComp {
pt_myPort1.send(MyMessageType:{1, "aaa", true});
template MyMessageType MySig1 := {1,"aaa",true};
template MyMessageType MySig2 := {2,"bbb",true};
template MyMessageType MySig3 := {3,"ccc",true};
timer t_timer;
t_timer.start(1.0);
var integer v:=1;
t_timer.start(1.0);
pt_myPort1.send(MyMessageType:{1, "aaa", true});
interleave {
[v>0] pt_myPort1.receive(MySig1) //boolean guard must be empty
......
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