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

pysmt / pysmt
59%
master: %

Build:
Build:
LAST BUILD BRANCH: cvc4-array-value
DEFAULT BRANCH: master
Repo Added 12 Jun 2016 12:29PM UTC
Files 0
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 arrays
branch: arrays
CHANGE BRANCH
x
Reset
  • arrays
  • context_revised
  • i323/parsing_bvX_variables
  • macosx_install
  • master
  • optimization
  • yices-2.4.1

pending completion
547

push

travis-ci

mikand
Fixed various bugs and added some basic examples on Arrays

* Changed types printing to be clearer and optimized hashing and equality that was string-based

1929 of 3279 relevant lines covered (58.83%)

0.59 hits per line

Relevant lines Covered
Build:
Build:
3279 RELEVANT LINES 1929 COVERED LINES
0.59 HITS PER LINE
Source Files on arrays
  • List 0
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
547 arrays Fixed various bugs and added some basic examples on Arrays * Changed types printing to be clearer and optimized hashing and equality that was string-based push 02 Jul 2018 11:57AM UTC mikand travis-ci pending completion  
See All Builds (861)
  • 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

© 2025 Coveralls, Inc