pysmt / pysmt
59%
master: %

LAST BUILD BRANCH: cvc4-array-value
DEFAULT BRANCH: master
Repo Added
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

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
3279 RELEVANT LINES 1929 COVERED LINES
0.59 HITS PER LINE
Source Files on arrays
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 mikand travis-ci pending completion  
See All Builds (861)