johnyf / omega / 109
79%

DEFAULT BRANCH: master
Ran
Jobs 4
Files 116
Run time 57s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
109

push

travis-ci

johnyf 
DOC: rephrase docstring

15216 of 19572 relevant lines covered (77.74%)

0.78 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
2
100.0
 /home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/omega/symbolic/fixpoint.py
2
100.0
 /home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/omega/games/enumeration.py
2
100.0
 /home/travis/virtualenv/python3.4.6/lib/python3.4/site-packages/omega/symbolic/fixpoint.py
2
100.0
 /home/travis/virtualenv/python3.6.3/lib/python3.6/site-packages/omega/symbolic/fixpoint.py
2
100.0
 /home/travis/virtualenv/python3.6.3/lib/python3.6/site-packages/omega/games/enumeration.py
2
100.0
 /home/travis/virtualenv/python3.4.6/lib/python3.4/site-packages/omega/games/enumeration.py
3
100.0
 /home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/omega/logic/lexyacc.py
3
100.0
 /home/travis/virtualenv/python3.6.3/lib/python3.6/site-packages/omega/logic/lexyacc.py
3
100.0
 /home/travis/virtualenv/python3.4.6/lib/python3.4/site-packages/omega/logic/lexyacc.py
7
100.0
 /home/travis/virtualenv/python3.6.3/lib/python3.6/site-packages/omega/symbolic/bdd.py
7
100.0
 /home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/omega/symbolic/bdd.py
7
100.0
 /home/travis/virtualenv/python3.4.6/lib/python3.4/site-packages/omega/symbolic/bdd.py
16
100.0
 /home/travis/virtualenv/python3.4.6/lib/python3.4/site-packages/omega/symbolic/prime.py
16
100.0
 /home/travis/virtualenv/python3.6.3/lib/python3.6/site-packages/omega/symbolic/prime.py
16
100.0
 /home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/omega/symbolic/prime.py
28
100.0
 /home/travis/virtualenv/python3.4.6/lib/python3.4/site-packages/omega/logic/bitvector.py
28
100.0
 /home/travis/virtualenv/python3.6.3/lib/python3.6/site-packages/omega/logic/bitvector.py
28
100.0
 /home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/omega/logic/bitvector.py
41
100.0
 /home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/omega/symbolic/fol.py
41
100.0
 /home/travis/virtualenv/python3.6.3/lib/python3.6/site-packages/omega/symbolic/fol.py
41
100.0
 /home/travis/virtualenv/python3.4.6/lib/python3.4/site-packages/omega/symbolic/fol.py
52
100.0
 /home/travis/virtualenv/python3.4.6/lib/python3.4/site-packages/omega/symbolic/temporal.py
52
100.0
 /home/travis/virtualenv/python3.6.3/lib/python3.6/site-packages/omega/symbolic/temporal.py
52
100.0
 /home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/omega/symbolic/temporal.py
71
100.0
 /home/travis/virtualenv/python3.6.3/lib/python3.6/site-packages/omega/symbolic/cover.py
71
100.0
 /home/travis/virtualenv/python3.4.6/lib/python3.4/site-packages/omega/symbolic/cover.py
71
100.0
 /home/travis/virtualenv/python2.7.14/lib/python2.7/site-packages/omega/symbolic/cover.py
Jobs
ID Job ID Ran Files Coverage
1 109.1 0
77.74
 Travis Job 109.1
2 109.2 0
77.74
 Travis Job 109.2
3 109.3 0
77.74
 Travis Job 109.3
4 109.4 0
77.74
 Travis Job 109.4
Source Files on build 109
Detailed source file information is not available for this build.