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

cuplv / cuanto
73%

Build:
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 develop
branch: develop
CHANGE BRANCH
x
Reset
  • develop
  • abstract-domains
  • add-soot-dep
  • apron
  • apron-test
  • const-propagation-test-cases
  • cuanto-state
  • dev-environment
  • 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
  • tag_slow_tests
  • wala-setup

pending completion
515

Pull #53

travis-ci

web-flow
remove install scripts
Pull Request #53: WIP: apron scala interface

321 of 442 relevant lines covered (72.62%)

0.73 hits per line

Relevant lines Covered
Build:
Build:
442 RELEVANT LINES 321 COVERED LINES
0.73 HITS PER LINE
Source Files on develop
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
515 develop remove install scripts Pull #53 28 Jul 2017 03:48PM UTC web-flow travis-ci pending completion  
509 develop Merge pull request #50 from cuplv/ir-values Ir values push 27 Jul 2017 07:04PM UTC web-flow travis-ci pending completion  
498 develop clean codacy complaints, empty BinopExpr/UnopExpr traits, change instantiable classes to private and directly access .dt in unapplies Pull #50 26 Jul 2017 03:37PM UTC web-flow travis-ci pending completion  
499 develop change author signature Pull #50 26 Jul 2017 03:35PM UTC web-flow travis-ci pending completion  
496 develop transform abstract classes in Value hierarchy to traits, per PR review Pull #50 26 Jul 2017 07:12AM UTC web-flow travis-ci pending completion  
494 develop Fix documentation typo Pull #56 23 Jul 2017 07:57PM UTC web-flow travis-ci pending completion  
492 develop Fix derivation Pull #56 23 Jul 2017 07:53PM UTC web-flow travis-ci pending completion  
490 develop Clean up travis config Pull #53 21 Jul 2017 07:27PM UTC web-flow travis-ci pending completion  
479 develop fix prefixes in visitor (due to refactor) Pull #50 21 Jul 2017 05:06PM UTC web-flow travis-ci pending completion  
470 develop Merge branch 'develop' into ir-values Pull #50 21 Jul 2017 03:56PM UTC web-flow 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