Ran
|
Files
9
|
Run time
1s
|
Badge
README BADGES
|
push
travis-ci
1193 of 1243 relevant lines covered (95.98%)
0.96 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
81.36 | behavior/petri-net.rkt | 241 + 212 | 177 + 160 | 144 + 134 | 33 + 26 | 1.0 - 1.0 | |
85.37 | behavior/reporter.rkt | 63 + 35 | 41 + 26 | 35 + 29 | 6 - 3 | 1.0 - 1.0 | |
90.0 | behavior/test/utilities.rkt | 35 + 20 | 20 + 12 | 18 + 18 | 2 - 6 | 1.0 + 1.0 | |
98.49 | behavior/fsm.rkt | 403 + 373 | 332 + 317 | 327 + 327 | 5 - 10 | 1.0 + 1.0 | |
98.5 | behavior/markov-chain.rkt | 269 + 81 | 200 + 123 | 197 + 127 | 3 - 4 | 1.0 - 27 | |
99.63 | behavior/test/fsm.rkt | 325 + 287 | 273 + 254 | 272 + 272 | 1 - 18 | 1.0 + 1.0 | |
100.0 | behavior/test/markov-chain.rkt | 208 + 179 | 174 + 159 | 174 + 162 | 0 - 3 | 1.0 - 6 | |
100.0 | behavior/test/petri-net.rkt | 35 + 13 | 19 + 7 | 19 + 10 | 0 - 3 | 1.0 - 3 | |
100.0 | behavior/test/scribblings.rkt | 18 + 6 | 7 + 4 | 7 + 6 | 0 - 2 | 1.0 - 3 |