johnyf / omega
82%
master: 79%

LAST BUILD BRANCH: dev
DEFAULT BRANCH: master
Repo Added
Files 120
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 v0.1.1
branch: v0.1.1
CHANGE BRANCH
x

99

push

travis-ci

johnyf 
ENH: add module `spec/OpenSystems.tla`

7076 of 8580 relevant lines covered (82.47%)

0.82 hits per line

Relevant lines Covered
8580 RELEVANT LINES 7076 COVERED LINES
0.82 HITS PER LINE
Source Files on v0.1.1
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
99 v0.1.1 ENH: add module `spec/OpenSystems.tla` push johnyf travis-ci pending completion  
See All Builds (42)