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

pysmt / pysmt / 233 / 4
47%
master: %

Build:
Build:
LAST BUILD BRANCH: cvc4-array-value
DEFAULT BRANCH: master
Ran 12 Sep 2017 03:43PM UTC
Files 127
Run time 14s
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

09 Nov 2015 09:50PM UTC coverage: 47.275%. First build
PYSMT_SOLVER="z3"

push

travis-ci

marcogario
Fixed handling of context + add exit method (To be revised)

787 of 3194 branches covered (24.64%)

4233 of 8954 relevant lines covered (47.27%)

7.25 hits per line

Source Files on job 233.4 (PYSMT_SOLVER="z3")
  • Tree
  • List 0
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line Branch Hits Branch Misses
  • Back to Build 233
  • Travis Job 233.4
  • 35b6905b 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