Rev | Line | |
---|
[11] | 1 | FSM depth = 7 |
---|
| 2 | reachable 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.