1
68%
master: 68%

Ran 19 Jun 2015 09:25AM UTC

Files 6

Run time 1s

Badge

Embed ▾

Committed 19 Jun 2015 09:20AM UTC coverage: 68.069% (+0.4%) from 67.65%

Job # 22.1

Build Type

push

travis-ci

Committed by

johnyf

Commit Message

add semantic `else` and make default

because the Promela language reference defines `else` semantically, with respect to the program graph, and not the source listing.

A semantic `else` escapes statements that have the same source node in the program graph. For each program graph node, at most one outgoing edge can be labeled with an `else`.

A syntactic `else` escapes only statements in the same syntactic "options" construct. Multiple `else` statements can label edges with the same source node in the program graph. The syntactically innermost `else` takes precedence. The rest block, because one of their alternative options is always executable (due to the inner `else`).

Run Details

793 of 1165 relevant lines covered (68.07%)

0.68 hits per line

johnyf / promela / 22 / 1
68%
master: 68%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 22.1

johnyf / promela / 22 / 1 68% master: 68%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 22.1

johnyf / promela / 22 / 1
68%
master: 68%

README BADGES
x