Ran
|
Files
9
|
Run time
11min
|
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 + 239 | 177 + 176 | 144 + 143 | 33 + 33 | 1.0 | |
85.37 | behavior/reporter.rkt | 63 + 38 | 41 + 28 | 35 + 35 | 6 - 7 | 1.0 + 1.0 | |
90.0 | behavior/test/utilities.rkt | 35 - 72 | 20 - 24 | 18 + 18 | 2 - 42 | 1.0 + 1.0 | |
98.49 | behavior/fsm.rkt | 403 + 399 | 332 + 330 | 327 + 325 | 5 + 5 | 1.0 - 1.0 | |
98.5 | behavior/markov-chain.rkt | 269 + 247 | 200 + 189 | 197 + 197 | 3 - 8 | 1.0 + 1.0 | |
99.63 | behavior/test/fsm.rkt | 325 + 224 | 273 + 213 | 272 + 255 | 1 - 42 | 1.0 | |
100.0 | behavior/test/markov-chain.rkt | 208 + 186 | 174 + 162 | 174 + 162 | 0 | 1.0 - 10 | |
100.0 | behavior/test/petri-net.rkt | 35 + 25 | 19 + 13 | 19 + 13 | 0 | 1.0 - 2 | |
100.0 | behavior/test/scribblings.rkt | 18 - 24 | 7 - 14 | 7 - 5 | 0 - 9 | 1.0 - 1.0 |