johnyf / omega
79%
master: 79%

LAST BUILD BRANCH: dev
DEFAULT BRANCH: master
Repo Added
Files 120
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

LAST BUILD ON BRANCH dev
branch: dev
CHANGE BRANCH
x

111

push

travis-ci

johnyf 
ENH: use `dd.cudd.restrict` only when available

to allow running with a pure Python installation.

15844 of 20156 relevant lines covered (78.61%)

0.79 hits per line

Relevant lines Covered
20156 RELEVANT LINES 15844 COVERED LINES
0.79 HITS PER LINE
Source Files on dev
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
111 dev ENH: use `dd.cudd.restrict` only when available to allow running with a pure Python installation. push johnyf travis-ci pending completion  
106 dev TST: use `dd.bdd` or `dd.cudd`, depending on what is installed push johnyf travis-ci pending completion  
102 dev CI: download source of `dd` from PyPI push johnyf travis-ci pending completion  
90 dev MAI: prefer vertical TLA junctions push johnyf travis-ci pending completion  
89 dev REL: bump version to 0.1.1 push johnyf travis-ci pending completion  
79 dev TST: account for varying order of conjuncts in expression push johnyf travis-ci pending completion  
77 dev TST: account for varying order of conjuncts in expression push johnyf travis-ci pending completion  
76 dev REF: enclose arg in parentheses within `print` for python 3 compatibility. push johnyf travis-ci pending completion  
73 dev REL: include `spec/*.tla` in MANIFEST push johnyf travis-ci pending completion  
72 dev ENH: add `/\, \/` to supported operators in `syntax._associative_op` push johnyf travis-ci pending completion  
See All Builds (42)