6c7e7576dc
Create an example which can run many engines at once using many engines, each with its own iterator that can be used in a single loop to cause that engine to progress to its next state. Change-Id: I8c6ca19a752f4ced77fd86727f17ecad8c8e72c8
107 lines
823 B
Plaintext
107 lines
823 B
Plaintext
RESUMING
|
|
SCHEDULING
|
|
A
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
B
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
C
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
D
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
E
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
F
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
G
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
H
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
I
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
J
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
K
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
L
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
M
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
N
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
O
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
P
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
Q
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
R
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
S
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
T
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
U
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
V
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
W
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
X
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
Y
|
|
WAITING
|
|
ANALYZING
|
|
SCHEDULING
|
|
Z
|
|
WAITING
|
|
ANALYZING
|
|
SUCCESS
|