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

cuplv / cuanto
72%
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 logic
branch: logic
CHANGE BRANCH
x
Reset
  • logic
  • 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
  • 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

pending completion
286

push

travis-ci

octalsrc
Progress on symbolic abstraction

206 of 286 relevant lines covered (72.03%)

0.72 hits per line

Relevant lines Covered
Build:
Build:
286 RELEVANT LINES 206 COVERED LINES
0.72 HITS PER LINE
Source Files on logic
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
286 logic Progress on symbolic abstraction push 02 May 2017 07:01PM 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