goblint / GobPie
58%
master: 59%

LAST BUILD BRANCH: ambiguous-path-bug
DEFAULT BRANCH: master
Repo Added
Files 38
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 ambiguous-path-bug
branch: SELECT
CHANGE BRANCH
x

coverage: 58.196%. First build
11618982268

Pull #77

github

web-flow 
Merge 0173a1383 into 83b25653a
Pull Request #77: Bugfix: "internal error" when trying to step from a state with multiple target edges

123 of 237 branches covered (51.9%)

Branch coverage included in aggregate %.

406 of 672 relevant lines covered (60.42%)

2.74 hits per line

Relevant lines Covered
672 RELEVANT LINES 406 COVERED LINES
2.74 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
11618982268 ambiguous-path-bug Merge 0173a1383 into 83b25653a Pull #77 web-flow github
58.2
11618876391 debt-24-demo-materials Merge 83b25653a into 96beec2f6 Pull #76 web-flow github
58.2
10849225681 path-step-into-targets Merge b60d6ba24 into ce3a02340 Pull #75 web-flow github
58.2
10849132277 issue-73 Merge d14fd1550 into fff58cc4c Pull #74 web-flow github
58.52
10846560152 path-step-into-targets Merge ce24ae226 into fff58cc4c Pull #75 web-flow github
58.2
10846067151 issue-73 Merge ffeac79ec into fff58cc4c Pull #74 web-flow github
58.52
10846040168 issue-73 Merge cde201543 into fff58cc4c Pull #74 web-flow github
58.52
9678427073 master Merge pull request #72 from AnetteTaivere/master Add functional tests push web-flow github
58.52
9678350809 master Merge 986be0326 into e8d777526 Pull #72 web-flow github
58.52
See All Builds (9)