cuplv / cuanto

80%

develop: 73%

LAST BUILD ON BRANCH japron-test

branch: japron-test

CHANGE BRANCH

x

Reset

• japron-test
• devops
• develop
• jsy-ast
• scoot
• jsy-numerical
• soot-setup
• jsy-num-interp
• jsy-syntax
• ir-lifting
• jimple-interpreter
• jsy-string
• scoot-arithmetic
• jsy-boolean
• scoot-generalized
• jsy-binding
• jsy-primitives
• jimple-interperter
• jsy-AI
• scoot-abstract
• soot_loading_only
• soot-loading-merge
• cuanto-state
• tag_slow_tests
• jsy-functions
• jsy-mutation
• logic
• add-soot-dep
• const-propagation-test-cases
• soot-play
• wala-setup
• iss37_define_scoot_sublanguage
• ir-values
• scala-smtlib
• abstract-domains
• apron
• system-apron
• nix-shell
• dev-environment
• apron-test
• interpreter-integration
• fixtures

Build # 504

Build Type

push

travis-ci

Committed by octalsrc

Commit Message

Test $CUANTO_CLASSPATH searching for japron

Run Details

310 of 386 relevant lines covered (80.31%)

0.8 hits per line