johnyf / omega / 89
79%
master: 79%

LAST BUILD BRANCH: dev
DEFAULT BRANCH: master
Ran
Jobs 2
Files 0
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
89

push

travis-ci

johnyf 
REL: bump version to 0.1.1

3527 of 4294 relevant lines covered (82.14%)

0.82 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
2
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/symbolic/fixpoint.py
2
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/logic/ast.py
2
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/fixpoint.py
2
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/logic/ast.py
3
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/games/gr1.py
3
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/games/enumeration.py
3
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/games/gr1.py
3
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/games/enumeration.py
11
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/symbolic/bdd_iterative.py
11
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/bdd_iterative.py
16
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/logic/past.py
16
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/logic/lexyacc.py
16
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/logic/past.py
16
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/logic/lexyacc.py
19
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/symbolic/bdd.py
19
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/bdd.py
23
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/symbolic/logicizer.py
23
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/logicizer.py
28
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/logic/transformation.py
28
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/gr1.py
28
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/logic/transformation.py
28
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/gr1.py
30
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/symbolic/enumeration.py
30
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/enumeration.py
38
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/symbolic/symbolic.py
38
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/symbolic.py
41
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/symbolic/fol.py
41
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/symbolic/fol.py
43
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/automata.py
43
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/automata.py
48
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/logic/syntax.py
48
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/logic/syntax.py
57
100.0
 /home/travis/virtualenv/python3.5.2/lib/python3.5/site-packages/omega/logic/bitvector.py
57
100.0
 /home/travis/virtualenv/python2.7.9/lib/python2.7/site-packages/omega/logic/bitvector.py
Jobs
ID Job ID Ran Files Coverage
1 89.1 0
82.14
 Travis Job 89.1
2 89.2 0
82.14
 Travis Job 89.2
Source Files on build 89
Detailed source file information is not available for this build.