Ran
|
Jobs
5
|
Files
49
|
Run time
13min
|
Badge
README BADGES
|
push
travis-ci
8805 of 10329 relevant lines covered (85.25%)
2.55 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
2 | 1891.2 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") | 49 |
85.03 |
Travis Job 1891.2 | |
3 | 1891.3 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") | 49 |
85.01 |
Travis Job 1891.3 | |
4 | 1891.4 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") | 49 |
85.04 |
Travis Job 1891.4 | |
23 | 1891.23 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") | 0 | Travis Job 1891.23 | ||
24 | 1891.24 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") | 0 | Travis Job 1891.24 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|