martinjonas / Q3B
88%

DEFAULT BRANCH: master
Repo Added
Files 577
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: master
CHANGE BRANCH
x

242

push

travis-ci

web-flow 
Merge pull request #14 from martinjonas/dev

Fix race-condition in model validation

2786 of 3180 relevant lines covered (87.61%)

31995.65 hits per line

Relevant lines Covered
3180 RELEVANT LINES 2786 COVERED LINES
31995.65 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
242 master Merge pull request #14 from martinjonas/dev Fix race-condition in model validation push web-flow travis-ci pending completion  
238 master Merge pull request #13 from martinjonas/dev Merge Q3B 1.0 push web-flow travis-ci pending completion  
232 master Merge pull request #12 from martinjonas/dev Add support for some smt-lib commands. push web-flow travis-ci pending completion  
229 master Merge pull request #11 from martinjonas/dev Merge development into master push web-flow travis-ci pending completion  
190 master Merge pull request #9 from martinjonas/dev Merge dev branch push web-flow travis-ci pending completion  
173 master Merge pull request #8 from martinjonas/dev Dev push web-flow travis-ci pending completion  
121 master Merge pull request #6 from martinjonas/dev Merge development branch into master. push web-flow travis-ci pending completion  
59 master Merge branch 'master' of github.com:martinjonas/Q3B push Martin Jonáš travis-ci pending completion  
See All Builds (157)