22
68%
master: 68%

Ran 19 Jun 2015 09:25AM UTC

Jobs 1

Files 6

Run time 1s

Badge

Embed ▾

pending completion

Build # 22

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	22.1	19 Jun 2015 09:25AM UTC	0	68.07	Travis Job 22.1

Source Files on build 22

Detailed source file information is not available for this build.

johnyf / promela / 22
68%
master: 68%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 22

johnyf / promela / 22 68% master: 68%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 22

johnyf / promela / 22
68%
master: 68%

README BADGES
x