-
Notifications
You must be signed in to change notification settings - Fork 0
/
trace_report_trafficLight_scarlet.trace
23 lines (23 loc) · 3.23 KB
/
trace_report_trafficLight_scarlet.trace
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1
---
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 0, 1, 0; 0, 1, 0
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0; 1, 0, 0
0, 0, 1; 0, 0, 1; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 1, 0, 0; 1, 0, 0; 0, 0, 1; 0, 0, 1; 1, 0, 0; 1, 0, 0
0, 0, 1; 0, 0, 1; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0; 0, 1, 0
0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1
0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1; 0, 0, 1
---
F,G,X,!,&,|
---
state_equals_yellow, state_equals_green, state_equals_red