bThink-BGU
/
BPjs
82%
master: 86%
master: 86%
|
Repo Added
|
Files
87
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
0.9.6
branch: 0.9.6
CHANGE BRANCH
x
-
0.9.6
-
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.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
CHANGE BRANCH
x
-
0.9.6
- 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.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
push
travis-ci
1636 of 2001 relevant lines covered (81.76%)
0.82 hits per line
Relevant lines Covered
2001
RELEVANT LINES
1636
COVERED LINES
0.82
HITS PER LINE
Source Files on 0.9.6
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 339 | 0.9.6 | More tests for DfsBProgramVerifier | push |  michbarsinai |
travis-ci | pending completion |