bThink-BGU / BPjs

80%

master: 86%

LAST BUILD ON BRANCH modified-rhino

branch: modified-rhino

CHANGE BRANCH

x

Reset

• modified-rhino
• 0.10.0
• 0.10.1
• 0.10.2
• 0.10.3
• 0.10.5
• 0.11.0
• 0.11.1
• 0.12.0
• 0.12.1
• 0.8.3
• 0.8.4
• 0.8.5
• 0.8.6
• 0.9.0
• 0.9.1
• 0.9.2
• 0.9.3
• 0.9.4
• 0.9.5
• 0.9.6
• 0.9.7
• GenerateAllTracesInspector
• RhinoContinuation2
• add_strategy_to_bprog
• bprogStubCloner
• change-default-priority
• custom-continuation-serialization
• develop
• feature/verification_timeout
• fixSetToString
• liveness
• master
• rhino1.7.12
• verificationStateTests

Build # 212

Build Type

push

travis-ci

Committed by michbarsinai

Commit Message

Setup for updated rhino - done

Run Details

1356 of 1686 relevant lines covered (80.43%)

0.8 hits per line