pyta-uoft / pyta / 12623258618 / 3
90%
master: 90%

DEFAULT BRANCH: master
Ran
Files 91
Run time 2s
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
coverage: 92.085% (+0.3%) from 91.822%
12623258618.3

push

github

web-flow 
Refactor CI tests to separate z3 tests (#1126)

Configure CI matrix with "base" and "z3-solver". z3 is installed only for z3-solver config.

6306 of 6848 relevant lines covered (92.09%)

1.34 hits per line

Source Files on job run-3.13 - 12623258618.3