Skip to content
Snippets Groups Projects
Commit ff132b7d authored by benjamin.franksen's avatar benjamin.franksen
Browse files

test/compiler: reformated sncExOpt_*

parent 6f5d3970
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
test/compiler/sncExOpt_DuplOpt.st
+ 24
− 35
View file @ ff132b7d
...@@ -3,39 +3,28 @@ float v; ...@@ -3,39 +3,28 @@ float v;
assign v to "grw:xxxExample"; assign v to "grw:xxxExample";
monitor v; monitor v;
ss ss1 ss ss1 {
{ state low {
state low option + t;
{ entry {
option +t; printf("Will do this on entry");
entry printf("Another thing to do on entry");
{ }
printf("Will do this on entry"); when(v > 5.0) {
printf("Another thing to do on entry"); printf("now changing to high\n");
} } state high
when(v>5.0) when(delay(.1)) {
{ } state low
printf("now changing to high\n"); exit {
} state high printf("Something to do on exit");
when(delay(.1)) }
{ } state high {
} state low option - t;
exit option + t;
{ when(v <= 5.0) {
printf("Something to do on exit"); printf("changing to low\n");
} } state low
when(delay(.1)) {
} } state high
state high }
{
option -t;
option +t;
when(v<=5.0)
{
printf("changing to low\n");
} state low
when(delay(.1))
{
} state high
}
} }
test/compiler/sncExOpt_UnrecOpt.st
+ 23
− 34
View file @ ff132b7d
...@@ -3,38 +3,27 @@ float v; ...@@ -3,38 +3,27 @@ float v;
assign v to "grw:xxxExample"; assign v to "grw:xxxExample";
monitor v; monitor v;
ss ss1 ss ss1 {
{ state low {
state low option + tc;
{ entry {
option +tc; printf("Will do this on entry");
entry printf("Another thing to do on entry");
{ }
printf("Will do this on entry"); when(v > 5.0) {
printf("Another thing to do on entry"); printf("now changing to high\n");
} } state high
when(v>5.0) when(delay(.1)) {
{ } state low
printf("now changing to high\n"); exit {
} state high printf("Something to do on exit");
when(delay(.1)) }
{ } state high {
} state low option - t;
exit when(v <= 5.0) {
{ printf("changing to low\n");
printf("Something to do on exit"); } state low
} when(delay(.1)) {
} state high
} }
state high
{
option -t;
when(v<=5.0)
{
printf("changing to low\n");
} state low
when(delay(.1))
{
} state high
}
} }
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