bThink-BGU
/
BPjs
83%
master: 86%
master: 86%
|
Repo Added
|
Files
87
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
GenerateAllTracesInspector
branch: GenerateAllTracesInspector
CHANGE BRANCH
x
-
GenerateAllTracesInspector
-
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
-
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
-
GenerateAllTracesInspector
- 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
- 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
2204 of 2644 relevant lines covered (83.36%)
0.83 hits per line
Relevant lines Covered
2644
RELEVANT LINES
2204
COVERED LINES
0.83
HITS PER LINE
Source Files on GenerateAllTracesInspector
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 472 | GenerateAllTracesInspector | Initial commit. | push |  eggsterino |
travis-ci | pending completion |