Ran
|
Jobs
4
|
Files
69
|
Run time
28s
|
Badge
Embed ▾
README BADGES
|
travis-ci
873 of 996 branches covered (87.65%)
Branch coverage included in aggregate %.
212 of 212 new or added lines in 21 files covered. (100.0%)
3735 of 4074 relevant lines covered (91.68%)
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 | 145.1 (TOXENV=py37) | 23 |
91.12 |
Travis Job 145.1 | |
2 | 145.2 (TOXENV=flake8) | 0 | Travis Job 145.2 | ||
3 | 145.3 (TOXENV=docs) | 0 | Travis Job 145.3 | ||
4 | 145.4 (TOXENV=py36) | 23 |
91.12 |
Travis Job 145.4 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|