cuplv
/
cuanto
80%
develop: 73%
develop: 73%
|
Repo Added
|
Files
23
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
apron
branch: apron
CHANGE BRANCH
x
-
apron
-
abstract-domains
-
add-soot-dep
-
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-abstract
-
scoot-arithmetic
-
scoot-generalized
-
soot-loading-merge
-
soot-play
-
soot-setup
-
soot_loading_only
-
system-apron
-
tag_slow_tests
-
wala-setup
CHANGE BRANCH
x
-
apron
- abstract-domains
- add-soot-dep
- 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-abstract
- scoot-arithmetic
- scoot-generalized
- soot-loading-merge
- soot-play
- soot-setup
- soot_loading_only
- system-apron
- tag_slow_tests
- wala-setup
push
travis-ci
Tianhan Lu
310 of 386 relevant lines covered (80.31%)
0.8 hits per line
Relevant lines Covered
386
RELEVANT LINES
310
COVERED LINES
0.8
HITS PER LINE
Source Files on apron
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 516 | apron | remove install scripts | push | Tianhan Lu | travis-ci | pending completion | |
| 489 | apron | Clean up travis config | push |  octalsrc |
travis-ci | pending completion | |
| 421 | apron | code clean | push | Tianhan Lu | travis-ci | pending completion | |
| 420 | apron | change auther name info in the comments | push | Tianhan Lu | travis-ci | pending completion | |
| 417 | apron | code clean | push | Tianhan Lu | travis-ci | pending completion | |
| 415 | apron | move dependency libraries to lib/ | push | Tianhan Lu | travis-ci | pending completion |