pysmt / pysmt / 165

DEFAULT BRANCH: master
Ran
Jobs 2
Files 17
Run time 2min
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
165

push

travis-ci

mikand 
Merge pull request #202 from pysmt/readme_example_as_repl

Changed first example of REDME.rst to simulate the REPL.

155 of 233 branches covered (66.52%)

271 of 292 relevant lines covered (92.81%)

6.65 hits per line

Jobs
ID Job ID Ran Files Coverage
17 165.17 (PYSMT_SOLVER="msat_wrap") 17
92.81
 Travis Job 165.17
18 165.18 (PYSMT_SOLVER="None") 17
92.81
 Travis Job 165.18
Source Files on build 165
Coverage ∆ File Lines Relevant Covered Missed Hits/Line Branch Hits Branch Misses