whatsopt / WhatsOpt
85%
master: 89%

LAST BUILD BRANCH: update-deps
DEFAULT BRANCH: master
Repo Added
Token M8RCh9rJmCxtuWoa4AHOOYxNtW2lTuUcl regen
Build 159 Last
Files 122
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 fix-egmdo
branch: fix-egmdo
CHANGE BRANCH
x
Sync Branches

coverage: 84.556%. Remained the same
9683125876

Pull #199

github

web-flow 
Merge 38de5f0df into 4d3e645a2
Pull Request #199: Fix EGMDO generated code to work with SMT > 1.3.0

4506 of 5329 relevant lines covered (84.56%)

62.15 hits per line

Relevant lines Covered
5329 RELEVANT LINES 4506 COVERED LINES
62.15 HITS PER LINE
Source Files on fix-egmdo
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
9683125876 fix-egmdo Merge 38de5f0df into 4d3e645a2 Pull #199 web-flow github
84.56
9683067347 fix-egmdo Merge a574f2dd5 into 4d3e645a2 Pull #199 web-flow github
85.25
9682420996 fix-egmdo Merge d4b474c02 into 4d3e645a2 Pull #199 web-flow github
84.52
9549876327 fix-egmdo Merge 60590de00 into 4d3e645a2 Pull #199 web-flow github
85.25
See All Builds (159)

Badge your Repo: WhatsOpt

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
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

Refresh