Ericsson / eiffel-remrem-semantics

49%

LAST BUILD ON BRANCH master

branch: master

CHANGE BRANCH

x

Reset

• master
• 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
• 0.4.5
• 8c1af953d2f661da8db40e811ff5ff6d4c9a38be

Build # 254

Build Type

push

travis-ci

Committed by web-flow

Commit Message

Merge pull request #82 from zkolsur/master

Removed the Issue_.java generated class in remrem semantics

Run Details

2020 of 4098 relevant lines covered (49.29%)

0.49 hits per line