martinjonas / Q3B
72%
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 smtcomp2018
branch: smtcomp2018
CHANGE BRANCH
x

103

push

travis-ci

Martin Jonáš 
Fix masking unconstrained multiplication and add test.

2149 of 2996 relevant lines covered (71.73%)

27650.83 hits per line

Relevant lines Covered
2996 RELEVANT LINES 2149 COVERED LINES
27650.83 HITS PER LINE
Source Files on smtcomp2018
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
103 smtcomp2018 Fix masking unconstrained multiplication and add test. push Martin Jonáš travis-ci pending completion  
See All Builds (157)