bThink-BGU / BPjs

80%

master: 86%

LAST BUILD ON BRANCH 0.9.1

branch: 0.9.1

CHANGE BRANCH

x

Reset

• 0.9.1
• 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.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
• modified-rhino
• rhino1.7.12
• verificationStateTests

Build # 197

Build Type

push

travis-ci

Committed by michbarsinai

Commit Message

Demoted old changes from main README

Run Details

1350 of 1687 relevant lines covered (80.02%)

0.8 hits per line