Ran
|
Jobs
3
|
Files
6
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
19 of 19 new or added lines in 4 files covered. (100.0%)
108 of 144 relevant lines covered (75.0%)
30.26 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
70.42 |
6.79% | src/automata.jl |
1 |
78.57 |
-6.04% | src/formulas.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 100.1 (CONDA_JL_VERSION="3" PYTHON="") | 6 |
72.99 |
Travis Job 100.1 | |
2 | 100.2 (CONDA_JL_VERSION="3" PYTHON="") | 6 |
75.17 |
Travis Job 100.2 | |
3 | 100.3 (CONDA_JL_VERSION="3" PYTHON="") | 6 |
75.0 |
Travis Job 100.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|