johnyf / omega
79%

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 master
branch: SELECT
CHANGE BRANCH
x

112

push

travis-ci

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

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
112 master API: use `dd.cudd.restrict` only when available to allow running with a pure Python installation. push johnyf travis-ci pending completion  
111 dev ENH: use `dd.cudd.restrict` only when available to allow running with a pure Python installation. push johnyf travis-ci pending completion  
109 master DOC: rephrase docstring 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  
105 master REL: bump version to 0.1.3 push johnyf travis-ci pending completion  
104 v0.1.2 TST: compatibility with pure Python installation push johnyf travis-ci pending completion  
103 master TST: compatibility with pure Python installation push johnyf travis-ci pending completion  
102 dev CI: download source of `dd` from PyPI push johnyf travis-ci pending completion  
99 v0.1.1 ENH: add module `spec/OpenSystems.tla` push johnyf travis-ci pending completion  
98 master REL: bump version to 0.1.2 push johnyf travis-ci pending completion  
See All Builds (42)