Ran
|
Jobs
3
|
Files
49
|
Run time
46min
|
Badge
Embed ▾
README BADGES
|
travis-ci
8303 of 9751 relevant lines covered (85.15%)
0.85 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
11 | 1627.11 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") | 0 | Travis Job 1627.11 | ||
15 | 1627.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") | 49 |
85.15 |
Travis Job 1627.15 | |
24 | 1627.24 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") | 0 | Travis Job 1627.24 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|