Ran
|
Jobs
5
|
Files
49
|
Run time
42min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
8804 of 10322 relevant lines covered (85.29%)
3.4 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 1822.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") | 49 |
85.09 |
Travis Job 1822.1 | |
2 | 1822.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") | 49 |
85.07 |
Travis Job 1822.2 | |
14 | 1822.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") | 49 |
85.08 |
Travis Job 1822.14 | |
15 | 1822.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") | 49 |
85.09 |
Travis Job 1822.15 | |
24 | 1822.24 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") | 0 | Travis Job 1822.24 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|