source: vis_dev/vis-2.1/examples/exampleS/check_result @ 15

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

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