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

cuplv / cuanto
77%
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 scoot-generalized
branch: scoot-generalized
CHANGE BRANCH
x
Reset
  • scoot-generalized
  • 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
  • soot-loading-merge
  • soot-play
  • soot-setup
  • soot_loading_only
  • system-apron
  • tag_slow_tests
  • wala-setup

pending completion
299

push

travis-ci

web-flow
Merge branch 'develop' into scoot-generalized

214 of 277 relevant lines covered (77.26%)

0.77 hits per line

Relevant lines Covered
Build:
Build:
277 RELEVANT LINES 214 COVERED LINES
0.77 HITS PER LINE
Source Files on scoot-generalized
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
299 scoot-generalized Merge branch 'develop' into scoot-generalized push 07 Jun 2017 05:19PM UTC web-flow travis-ci pending completion  
241 scoot-generalized Merge remote-tracking branch 'origin/develop' into scoot-generalized push 20 Apr 2017 03:51PM UTC octalsrc travis-ci pending completion  
215 scoot-generalized Merge remote-tracking branch 'origin/HEAD' into scoot-generalized push 18 Apr 2017 05:48PM UTC octalsrc travis-ci pending completion  
212 scoot-generalized Merge branch 'scoot-arithmetic' into merge-test push 18 Apr 2017 02:47PM UTC octalsrc travis-ci pending completion  
175 scoot-generalized Test mutation interpreter push 04 Apr 2017 07:02PM UTC octalsrc travis-ci pending completion  
174 scoot-generalized Test generalized expression interpreter push 04 Apr 2017 06:41PM UTC octalsrc travis-ci pending completion  
172 scoot-generalized Merge remote-tracking branch 'origin/develop' into merge-develop-test push 04 Apr 2017 09:09AM UTC octalsrc 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