• 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 tag_slow_tests
branch: tag_slow_tests
CHANGE BRANCH
x
Reset
  • tag_slow_tests
  • 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
  • soot_loading_only
  • system-apron
  • wala-setup

pending completion
252

push

travis-ci

web-flow
Merge branch 'develop' into tag_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 tag_slow_tests
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
252 tag_slow_tests Merge branch 'develop' into tag_slow_tests push 25 Apr 2017 11:43PM UTC web-flow travis-ci pending completion  
249 tag_slow_tests Add alias to run the test avoiding the soot slow tests push 25 Apr 2017 11:37PM UTC smover 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