cuplv
/
cuanto
78%
develop: 73%
develop: 73%
|
Repo Added
|
Files
23
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
scoot-abstract
branch: scoot-abstract
CHANGE BRANCH
x
-
scoot-abstract
-
abstract-domains
-
add-soot-dep
-
apron
-
apron-test
-
const-propagation-test-cases
-
cuanto-state
-
dev-environment
-
develop
-
devops
-
fixtures
-
interpreter-integration
-
ir-lifting
-
ir-values
-
iss37_define_scoot_sublanguage
-
japron-test
-
jimple-interperter
-
jimple-interpreter
-
jsy-AI
-
jsy-ast
-
jsy-binding
-
jsy-boolean
-
jsy-functions
-
jsy-mutation
-
jsy-num-interp
-
jsy-numerical
-
jsy-primitives
-
jsy-string
-
jsy-syntax
-
logic
-
nix-shell
-
scala-smtlib
-
scoot
-
scoot-arithmetic
-
scoot-generalized
-
soot-loading-merge
-
soot-play
-
soot-setup
-
soot_loading_only
-
system-apron
-
tag_slow_tests
-
wala-setup
CHANGE BRANCH
x
-
scoot-abstract
- abstract-domains
- add-soot-dep
- apron
- apron-test
- const-propagation-test-cases
- cuanto-state
- dev-environment
- develop
- devops
- fixtures
- interpreter-integration
- ir-lifting
- ir-values
- iss37_define_scoot_sublanguage
- japron-test
- jimple-interperter
- jimple-interpreter
- jsy-AI
- jsy-ast
- jsy-binding
- jsy-boolean
- jsy-functions
- jsy-mutation
- jsy-num-interp
- jsy-numerical
- jsy-primitives
- jsy-string
- jsy-syntax
- logic
- nix-shell
- scala-smtlib
- scoot
- scoot-arithmetic
- scoot-generalized
- soot-loading-merge
- soot-play
- soot-setup
- soot_loading_only
- system-apron
- tag_slow_tests
- wala-setup
push
travis-ci
221 of 284 relevant lines covered (77.82%)
0.78 hits per line
Relevant lines Covered
284
RELEVANT LINES
221
COVERED LINES
0.78
HITS PER LINE
Source Files on scoot-abstract
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 319 | scoot-abstract | Merge branch 'develop' into scoot-abstract | push |  web-flow |
travis-ci | pending completion | |
| 316 | scoot-abstract | add test cases for constant propagation | Pull #43 | web-flow |
travis-ci | pending completion | |
| 314 | scoot-abstract | Merge branch 'scoot-generalized' into scoot-abstract | push |  octalsrc |
travis-ci | pending completion | |
| 312 | scoot-abstract | add test cases for constant propagation | push | Tianhan Lu | travis-ci | pending completion | |
| 217 | scoot-abstract | Merge branch 'scoot-generalized' into scoot-abstract | push | octalsrc |
travis-ci | pending completion |