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
Detailed source file information is not available for this build.

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)