bThink-BGU / BPjs

69%

master: 86%

LAST BUILD ON BRANCH add_strategy_to_bprog

branch: add_strategy_to_bprog

CHANGE BRANCH

x

Reset

• add_strategy_to_bprog
• 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
• bprogStubCloner
• change-default-priority
• custom-continuation-serialization
• develop
• feature/verification_timeout
• fixSetToString
• liveness
• master
• modified-rhino
• rhino1.7.12
• verificationStateTests

Build # 90

Build Type

push

travis-ci

Committed by michbarsinai

Commit Message

Moved the event selection strategy back into the bprogram

Run Details

696 of 1011 relevant lines covered (68.84%)

0.69 hits per line