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

250

push

travis-ci

Martin Jonas 
Add more precise implementation of abstract ITE.

2758 of 3158 relevant lines covered (87.33%)

51390.16 hits per line

Relevant lines Covered
3158 RELEVANT LINES 2758 COVERED LINES
51390.16 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
250 more-precise-abstract-ite Add more precise implementation of abstract ITE. push Martin Jonas travis-ci pending completion  
249 dev Add option for enabling/disabling adding congruences. push Martin Jonas travis-ci pending completion  
248 more-precise-abstract-ite Update ANTLR to 4.8. push Martin Jonas travis-ci pending completion  
247 dev Update ANTLR to 4.8. push Martin Jonas travis-ci pending completion  
246 smtcomp2019 Unconstrained: Simpler rewrite for bvmul. push Martin Jonáš 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  
242 master Merge pull request #14 from martinjonas/dev Fix race-condition in model validation 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  
See All Builds (157)