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

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

Add vis
File size: 686 bytes
Line 
1FSM depth =                  7
2reachable states =         122
3# LE: language is not empty
4# MC: formula failed --- AF(FALSE)
5# MC: formula passed --- AG(EF(p0.Cdevice.readable=1))
6# MC: formula passed --- AG(EF(p0.Cdevice.writable=1))
7# MC: formula passed --- AG(EF(p1.Cdevice.readable=1))
8# MC: formula passed --- AG(EF(p1.Cdevice.writable=1))
9# MC: formula passed --- AG(EF(p2.Cdevice.readable=1))
10# MC: formula passed --- AG(EF(p2.Cdevice.writable=1))
11# MC: formula passed --- AG((p0.Cdevice.writable=0 + p1.Cdevice.writable=0))
12# MC: formula passed --- AG((p1.Cdevice.writable=0 + p2.Cdevice.writable=0))
13# MC: formula passed --- AG((p0.Cdevice.writable=0 + p2.Cdevice.writable=0))
Note: See TracBrowser for help on using the repository browser.