source: vis_dev/vis-2.1/examples/ping_pong_new/check_result @ 11

Last change on this file since 11 was 11, checked in by cecile, 13 years ago

Add vis
File size: 987 bytes
Line 
1FSM depth =                  6
2reachable 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.