• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Ericsson / eiffel-remrem-semantics
49%
master: 49%

Build:
Build:
LAST BUILD BRANCH: 0.4.5
DEFAULT BRANCH: master
Repo Added 24 May 2016 08:02PM UTC
Files 149
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 0.4.5
branch: 0.4.5
CHANGE BRANCH
x
Reset
  • 0.4.5
  • 0.1.0
  • 0.1.1
  • 0.1.2
  • 0.1.3
  • 0.1.4
  • 0.1.5
  • 0.1.6
  • 0.1.7
  • 0.1.8
  • 0.1.9
  • 0.2.0
  • 0.2.2
  • 0.2.3
  • 0.2.4
  • 0.2.5
  • 0.2.6
  • 0.2.7
  • 0.2.8
  • 0.2.9
  • 0.3.0
  • 0.3.1
  • 0.3.2
  • 0.3.3
  • 0.3.4
  • 0.3.5
  • 0.3.6
  • 0.3.7
  • 0.3.8
  • 0.3.9
  • 0.4.0
  • 0.4.1
  • 0.4.2
  • 0.4.4
  • 8c1af953d2f661da8db40e811ff5ff6d4c9a38be
  • master

pending completion
255

push

travis-ci

web-flow
Merge pull request #82 from zkolsur/master

Removed the Issue_.java generated class in remrem semantics

74 of 74 new or added lines in 5 files covered. (100.0%)

2020 of 4098 relevant lines covered (49.29%)

0.49 hits per line

Relevant lines Covered
Build:
Build:
4098 RELEVANT LINES 2020 COVERED LINES
0.49 HITS PER LINE
Source Files on 0.4.5
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
255 0.4.5 Merge pull request #82 from zkolsur/master Removed the Issue_.java generated class in remrem semantics push 18 Jun 2018 01:33PM UTC web-flow travis-ci pending completion  
See All Builds (225)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc