File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -63,7 +63,7 @@ reactor Door {
6363 self->isDisarmed = false;
6464 printf("Door armed\n");
6565 }
66- =} iflate {=
66+ =} tardy {=
6767 printf("STP violation\n");
6868 printf("Intended tag: %lld\n", disarm->intended_tag);
6969 printf("Current tag: %lld\n", lf_time_logical());
@@ -77,7 +77,7 @@ reactor Door {
7777 self->open = false;
7878 printf("Door closed\n");
7979 }
80- =} iflate {=
80+ =} tardy {=
8181 printf("STP violation\n");
8282 printf("Intended tag: %lld\n", disarm->intended_tag);
8383 printf("Current tag: %lld\n", lf_time_logical());
@@ -182,7 +182,7 @@ reactor AutomaticEmergencyBraking {
182182 }
183183 =} deadline(100ms) {=
184184 printf("AEB deadline violated\n");
185- =} iflate {=
185+ =} tardy {=
186186 printf("STP violation on AEB\n");
187187 =}
188188
You can’t perform that action at this time.
0 commit comments