source: vis_dev/vis-2.1/examples/eisenberg/check_result @ 12

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

Add vis

File size: 222 bytes
Line 
1FSM depth =                 41
2reachable states =        1611
3# LE: language is not empty
4# MC: formula passed --- AG(TRUE)
5# MC: formula failed --- AF(FALSE)
6# LE: language is not empty
7# MC: formula failed --- AF(FALSE)
Note: See TracBrowser for help on using the repository browser.