Rev | Line | |
---|
[11] | 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.