log_pass.txt

来自「Quantum Platform(QP) is a family of very」· 文本 代码 · 共 55 行

QHsmTst example, QEP/C++ 3.1.03
top-INIT;d-ENTRY;d2-ENTRY;d2-INIT;d21-ENTRY;d211-ENTRY;
A:d21-A;d211-EXIT;d21-EXIT;d21-ENTRY;d21-INIT;d211-ENTRY;
B:d21-B;d211-EXIT;d211-ENTRY;
D:d211-D;d211-EXIT;d21-INIT;d211-ENTRY;
E:d-E;d211-EXIT;d21-EXIT;d2-EXIT;d1-ENTRY;d11-ENTRY;
I:d1-I;
F:d1-F;d11-EXIT;d1-EXIT;d2-ENTRY;d21-ENTRY;d211-ENTRY;
I:d2-I;
I:d-I;
F:d2-F;d211-EXIT;d21-EXIT;d2-EXIT;d1-ENTRY;d11-ENTRY;
A:d1-A;d11-EXIT;d1-EXIT;d1-ENTRY;d1-INIT;d11-ENTRY;
B:d1-B;d11-EXIT;d11-ENTRY;
D:d1-D;d11-EXIT;d1-EXIT;d-INIT;d1-ENTRY;d11-ENTRY;
D:d11-D;d11-EXIT;d1-INIT;d11-ENTRY;
E:d-E;d11-EXIT;d1-EXIT;d1-ENTRY;d11-ENTRY;
G:d11-G;d11-EXIT;d1-EXIT;d2-ENTRY;d21-ENTRY;d211-ENTRY;
H:d211-H;d211-EXIT;d21-EXIT;d2-EXIT;d-INIT;d1-ENTRY;d11-ENTRY;
H:d11-H;d11-EXIT;d1-EXIT;d-INIT;d1-ENTRY;d11-ENTRY;
C:d1-C;d11-EXIT;d1-EXIT;d2-ENTRY;d2-INIT;d21-ENTRY;d211-ENTRY;
G:d21-G;d211-EXIT;d21-EXIT;d2-EXIT;d1-ENTRY;d1-INIT;d11-ENTRY;
C:d1-C;d11-EXIT;d1-EXIT;d2-ENTRY;d2-INIT;d21-ENTRY;d211-ENTRY;
C:d-C;d211-EXIT;d21-EXIT;d2-EXIT;d-EXIT;s-ENTRY;s-INIT;s1-ENTRY;s11-ENTRY;
C:s1-C;s11-EXIT;s1-EXIT;s2-ENTRY;s2-INIT;s21-ENTRY;s211-ENTRY;
A:s21-A;s211-EXIT;s21-EXIT;s21-ENTRY;s21-INIT;s211-ENTRY;
A:s21-A;s211-EXIT;s21-EXIT;s21-ENTRY;s21-INIT;s211-ENTRY;
B:s21-B;s211-EXIT;s211-ENTRY;
B:s21-B;s211-EXIT;s211-ENTRY;
D:s211-D;s211-EXIT;s21-INIT;s211-ENTRY;
D:s211-D;s211-EXIT;s21-INIT;s211-ENTRY;
E:s-E;s211-EXIT;s21-EXIT;s2-EXIT;s1-ENTRY;s11-ENTRY;
I:s1-I;
F:s1-F;s11-EXIT;s1-EXIT;s2-ENTRY;s21-ENTRY;s211-ENTRY;
I:s2-I;
I:s-I;
F:s2-F;s211-EXIT;s21-EXIT;s2-EXIT;s1-ENTRY;s11-ENTRY;
A:s1-A;s11-EXIT;s1-EXIT;s1-ENTRY;s1-INIT;s11-ENTRY;
A:s1-A;s11-EXIT;s1-EXIT;s1-ENTRY;s1-INIT;s11-ENTRY;
B:s1-B;s11-EXIT;s11-ENTRY;
B:s1-B;s11-EXIT;s11-ENTRY;
D:s1-D;s11-EXIT;s1-EXIT;s-INIT;s1-ENTRY;s11-ENTRY;
D:s11-D;s11-EXIT;s1-INIT;s11-ENTRY;
D:s1-D;s11-EXIT;s1-EXIT;s-INIT;s1-ENTRY;s11-ENTRY;
D:s11-D;s11-EXIT;s1-INIT;s11-ENTRY;
E:s-E;s11-EXIT;s1-EXIT;s1-ENTRY;s11-ENTRY;
G:s11-G;s11-EXIT;s1-EXIT;s2-ENTRY;s21-ENTRY;s211-ENTRY;
H:s211-H;s211-EXIT;s21-EXIT;s2-INIT;s21-ENTRY;s211-ENTRY;
G:s21-G;s211-EXIT;s21-EXIT;s2-EXIT;s1-ENTRY;s1-INIT;s11-ENTRY;
H:s11-H;s11-EXIT;s1-EXIT;s-INIT;s1-ENTRY;s11-ENTRY;
F:s1-F;s11-EXIT;s1-EXIT;s2-ENTRY;s21-ENTRY;s211-ENTRY;
H:s211-H;s211-EXIT;s21-EXIT;s2-INIT;s21-ENTRY;s211-ENTRY;
F:s2-F;s211-EXIT;s21-EXIT;s2-EXIT;s1-ENTRY;s11-ENTRY;
C:s1-C;s11-EXIT;s1-EXIT;s2-ENTRY;s2-INIT;s21-ENTRY;s211-ENTRY;
G:s21-G;s211-EXIT;s21-EXIT;s2-EXIT;s1-ENTRY;s1-INIT;s11-ENTRY;
G:s11-G;s11-EXIT;s1-EXIT;s2-ENTRY;s21-ENTRY;s211-ENTRY;