Ran
|
Jobs
6
|
Files
96
|
Run time
9min
|
Badge
Embed ▾
README BADGES
|
travis-ci
12429 of 13525 relevant lines covered (91.9%)
3.67 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
87.67 |
-0.22% | pysmt/fnode.py |
1 |
87.03 |
-0.54% | pysmt/solvers/pico.py |
1 |
99.36 |
0.09% | pysmt/test/test_bv.py |
2 |
90.27 |
0.9% | pysmt/simplifier.py |
18 |
87.13 |
-1.66% | pysmt/solvers/cvc4.py |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|