LouvainVerificationLab / pynusmv
84%

DEFAULT BRANCH: master
Repo Added
Files 28
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

59

push

travis-ci

xgillard 
remove coveralls for osx build on travis-ci. this should hopefully fix the build

4977 of 5906 relevant lines covered (84.27%)

2.53 hits per line

Relevant lines Covered
5906 RELEVANT LINES 4977 COVERED LINES
2.53 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
59 master remove coveralls for osx build on travis-ci. this should hopefully fix the build push xgillard travis-ci pending completion  
58 master Merge branch 'master' of https://github.com/LouvainVerificationLab/pynusmv push xgillard travis-ci pending completion  
57 master Merge pull request #3 from patriqdesigns/master Fixed a typo in one of the patch files and removed union wait. push web-flow travis-ci pending completion  
56 master Fixed a typo, and the fact that the union wait was removed in cudd 2.5.0 and it seems to be for BSD compat Pull #3 web-flow travis-ci pending completion  
55 master More tests on BDD loading. push sbusard travis-ci pending completion  
54 master More checks on dumped BDD when loading. push sbusard travis-ci pending completion  
53 master New format for BDD dump. The new format is: The content of the file is composed of: * the list of variables appearing in the BDD, one variable name per line; * the BDD itself, where each line is: ** TRUE: for the TRUE node ** FALSE: for the FALS... push sbusard travis-ci pending completion  
52 master Fix small problems in pynusmv.init. push sbusard travis-ci pending completion  
51 master Allow dumping BDDs based on next variables. push sbusard travis-ci pending completion  
50 master Fix small issue with NuSMV Makefile: add missing "touch" for configuration. push sbusard travis-ci pending completion  
See All Builds (39)