bThink-BGU / BPjs

83%

master: 86%

LAST BUILD ON BRANCH feature/verification_timeout

branch: feature/verification_timeout

CHANGE BRANCH

x

Reset

• feature/verification_timeout
• 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
• fixSetToString
• liveness
• master
• modified-rhino
• rhino1.7.12
• verificationStateTests

Add timeout option for verification.
Primarily to help perform some benchmarks
But also generally helpful