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

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

push

travis-ci

bechang
Some linking in scaladoc

68 of 105 relevant lines covered (64.76%)

0.65 hits per line

Relevant lines Covered
Build:
Build:
105 RELEVANT LINES 68 COVERED LINES
0.65 HITS PER LINE
Source Files on jsy-syntax
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
103 jsy-syntax Some linking in scaladoc push 21 Mar 2017 05:32PM UTC bechang 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