• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

cuplv / cuanto
79%
develop: 73%

Build:
Build:
LAST BUILD BRANCH: jsy-primitives
DEFAULT BRANCH: develop
Repo Added 06 Mar 2017 02:36AM UTC
Files 23
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH soot_loading_only
branch: soot_loading_only
CHANGE BRANCH
x
Reset
  • soot_loading_only
  • 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-loading-merge
  • soot-play
  • soot-setup
  • system-apron
  • tag_slow_tests
  • wala-setup

pending completion
248

push

travis-ci

smover
Add alias to run the test avoiding the soot slow tests

182 of 231 relevant lines covered (78.79%)

0.79 hits per line

Relevant lines Covered
Build:
Build:
231 RELEVANT LINES 182 COVERED LINES
0.79 HITS PER LINE
Source Files on soot_loading_only
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
248 soot_loading_only Add alias to run the test avoiding the soot slow tests push 25 Apr 2017 11:26PM UTC smover travis-ci pending completion  
243 soot_loading_only Merge branch 'soot_loading_only' of github.com:cuplv/cuanto into soot_loading_only push 20 Apr 2017 04:13PM UTC ftc travis-ci pending completion  
237 soot_loading_only Merge remote-tracking branch 'origin/develop' into soot_loading_only push 19 Apr 2017 08:59PM UTC octalsrc travis-ci pending completion  
236 soot_loading_only Merge remote-tracking branch 'origin/develop' into HEAD push 19 Apr 2017 08:55PM UTC octalsrc travis-ci pending completion  
219 soot_loading_only documentation for soot loading push 18 Apr 2017 07:01PM UTC ftc travis-ci pending completion  
See All Builds (320)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc