Line | |
---|
1 | FSM depth = 6 |
---|
2 | reachable states = 16 |
---|
3 | # LE: language is not empty |
---|
4 | # MC: formula failed --- AF(FALSE) |
---|
5 | # MC: formula passed --- AG(TRUE) |
---|
6 | # MC: formula passed --- AG(!((ball_1.state=OUT_OF_PLAY * ball_2.state=OUT_OF_PLAY))) |
---|
7 | # MC: formula passed --- AG((player_A.out=IDLE -> AF(player_A.out=HIT))) |
---|
8 | # MC: formula failed --- AF((ball_1.state=OUT_OF_PLAY ^ ball_2.state=OUT_OF_PLAY)) |
---|
9 | # MC: formula passed --- EF((ball_1.state=OUT_OF_PLAY ^ ball_2.state=OUT_OF_PLAY)) |
---|
10 | # MC: formula failed --- AG((!(ball_1.state=OUT_OF_PLAY) * !(ball_2.state=OUT_OF_PLAY))) |
---|
11 | # MC: formula passed --- AG(!((ball_1.state=OUT_OF_PLAY * ball_2.state=OUT_OF_PLAY))) |
---|
12 | # MC: formula failed --- AG((player_A.out=IDLE -> AF(player_A.out=HIT))) |
---|
13 | # MC: formula failed --- AF((ball_1.state=OUT_OF_PLAY ^ ball_2.state=OUT_OF_PLAY)) |
---|
14 | # MC: formula passed --- EF((ball_1.state=OUT_OF_PLAY ^ ball_2.state=OUT_OF_PLAY)) |
---|
15 | # MC: formula failed --- AG((!(ball_1.state=OUT_OF_PLAY) * !(ball_2.state=OUT_OF_PLAY))) |
---|
Note: See
TracBrowser
for help on using the repository browser.