johnyf / omega / 74
79%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 22
Run time 1s
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
74

push

travis-ci

johnyf 
REL: bump version to 0.0.11

2635 of 3292 relevant lines covered (80.04%)

0.8 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/bdd.py
2
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/enumeration.py
12
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/logic/lexyacc.py
24
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/fol.py
33
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/logic/bitvector.py
40
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/logic/syntax.py
Jobs
ID Job ID Ran Files Coverage
1 74.1 0
80.04
 Travis Job 74.1
Source Files on build 74
Detailed source file information is not available for this build.