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

SRI-CSL / sally
38%
master: 36%

Build:
Build:
LAST BUILD BRANCH: nra
DEFAULT BRANCH: master
Repo Added 24 Jun 2015 10:22PM UTC
Files 1902
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 ai
branch: ai
CHANGE BRANCH
x
Reset
  • ai
  • 2018-08-19
  • 2020-02-18
  • 2020-08-19
  • 2021-02-19
  • aiger
  • apron
  • arrays
  • cav2016
  • chc
  • crab
  • cross-compile
  • dreal
  • fmcad2016
  • frontend
  • ic3-cex
  • interpolation
  • let-output
  • master
  • mattias
  • mcsat
  • mcsat-hybrid
  • mcsat-interpolation
  • mcsat-model-hint
  • nra
  • opensmt2
  • origin/frontend
  • quantifiers
  • sal
  • smt2
  • unsat-core
  • z3

pending completion
452

push

travis-ci

caballa
Merged master branch in

512 of 512 new or added lines in 32 files covered. (100.0%)

5174 of 13508 relevant lines covered (38.3%)

13700.9 hits per line

Relevant lines Covered
Build:
Build:
13508 RELEVANT LINES 5174 COVERED LINES
13700.9 HITS PER LINE
Source Files on ai
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
452 ai Merged master branch in push 16 Aug 2018 11:49PM UTC caballa travis-ci pending completion  
See All Builds (587)
  • 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