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
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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)