hajee / easy_type / 263
83%

DEFAULT BRANCH: master
Ran
Jobs 11
Files 69
Run time 6min
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
263

Pull #

travis-ci

MikAnd 
Implemented PR#218 feedback: changed assertions in yices wrapper in InternalSolverError exceptions
Pull Request #:

2442 of 2938 relevant lines covered (83.12%)

1514.92 hits per line

Jobs
ID Job ID Ran Files Coverage
1 263.1 (PYSMT_SOLVER="all") 69
83.03
 Travis Job 263.1
2 263.2 (PYSMT_SOLVER="None") 69
82.99
 Travis Job 263.2
3 263.3 (PYSMT_SOLVER="msat") 69
82.99
 Travis Job 263.3
4 263.4 (PYSMT_SOLVER="z3") 69
82.99
 Travis Job 263.4
5 263.5 (PYSMT_SOLVER="cvc4") 69
82.99
 Travis Job 263.5
6 263.6 (PYSMT_SOLVER="yices") 69
82.99
 Travis Job 263.6
7 263.7 (PYSMT_SOLVER="cudd") 69
82.99
 Travis Job 263.7
8 263.8 (PYSMT_SOLVER="picosat") 69
82.99
 Travis Job 263.8
9 263.9 (PYSMT_SOLVER="btor") 69
82.99
 Travis Job 263.9
10 263.10 (PYSMT_SOLVER="msat_wrap") 69
82.99
 Travis Job 263.10
11 263.11 (PYSMT_SOLVER="None") 69
82.99
 Travis Job 263.11
Source Files on build 263
Coverage ∆ File Lines Relevant Covered Missed Hits/Line