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

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

Add vis
File size: 519 bytes
Line 
1FSM depth =                  2
2reachable states =           5
3# LE: language is not empty
4# LE: language emptiness check passes
5# LE: language is not empty
6# MC: formula passed --- AG((ioh.state=PENDING -> AF(ioh.state=OKAY)))
7# MC: formula passed --- AG((player_A.state=BALL + player_B.state=BALL))
8# MC: formula passed --- AF((player_A.state=BALL ^ player_B.state=BALL))
9# MC: formula passed --- AG((player_A.state=BALL + player_B.state=BALL))
10# MC: formula failed --- AF((player_A.state=BALL ^ player_B.state=BALL))
Note: See TracBrowser for help on using the repository browser.