martinjonas / Q3B
87%
master: 88%

LAST BUILD BRANCH: more-precise-abstract-ite
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 dev
branch: dev
CHANGE BRANCH
x

249

push

travis-ci

Martin Jonas 
Add option for enabling/disabling adding congruences.

2755 of 3150 relevant lines covered (87.46%)

50401.17 hits per line

Relevant lines Covered
3150 RELEVANT LINES 2755 COVERED LINES
50401.17 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
249 dev Add option for enabling/disabling adding congruences. push Martin Jonas travis-ci pending completion  
247 dev Update ANTLR to 4.8. push Martin Jonas travis-ci pending completion  
245 dev Unconstrained: Simpler rewrite for bvmul. push Martin Jonáš travis-ci pending completion  
244 dev Merge pull request #15 from martinjonas/master Merge master into dev push web-flow travis-ci pending completion  
241 dev Fix race-condition in model validation Pull #14 web-flow travis-ci pending completion  
240 dev Fix race-condition in model validation push Martin Jonáš travis-ci pending completion  
236 dev Merge branch 'dev' of https://github.com/martinjonas/q3b into dev push Martin Jonáš travis-ci pending completion  
235 dev Add (get-value). push Martin Jonáš travis-ci pending completion  
234 dev Bump version to 1.0 dev. push Martin Jonáš travis-ci pending completion  
233 dev Check input filename existence. push Martin Jonáš travis-ci pending completion  
See All Builds (157)