cuplv / cuanto

78%

develop: 73%

LAST BUILD ON BRANCH soot-loading-merge

branch: soot-loading-merge

CHANGE BRANCH

x

Reset

• soot-loading-merge
• 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-abstract
• scoot-arithmetic
• scoot-generalized
• soot-play
• soot-setup
• soot_loading_only
• system-apron
• tag_slow_tests
• wala-setup

Build # 223

Build Type

push

travis-ci

Committed by octalsrc

Commit Message

Merge remote-tracking branch 'origin/develop' into HEAD

Run Details

179 of 230 relevant lines covered (77.83%)

0.78 hits per line