Ran
|
Jobs
3
|
Files
46
|
Run time
2min
|
Badge
README BADGES
|
travis-ci
582 of 664 branches covered (87.65%)
Branch coverage included in aggregate %.
213 of 213 new or added lines in 21 files covered. (100.0%)
2492 of 2718 relevant lines covered (91.69%)
1.83 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
83.33 |
flloat/base/parsing.py | |
2 |
75.0 |
flloat/semantics/pl.py | |
2 |
75.0 |
flloat/semantics/traces.py | |
4 |
88.02 |
flloat/ltlf.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 141.1 (TOXENV=py37) | 23 |
91.12 |
Travis Job 141.1 | |
3 | 141.3 (TOXENV=docs) | 0 | Travis Job 141.3 | ||
4 | 141.4 (TOXENV=py36) | 23 |
91.12 |
Travis Job 141.4 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|