pyta-uoft / pyta / 15056619614 / 4
93%
master: 94%

LAST BUILD BRANCH: infinite-loop-checker-generator-tests
DEFAULT BRANCH: master
Ran
Files 100
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: 91.275% (-0.05%) from 91.329%
15056619614.4

Pull #1172

github

web-flow 
Merge 200ed723f into 8b88d72f7
Pull Request #1172: Refactor tests in test_check.py to use pytest.mark.parametrize for better test isolation

6716 of 7358 relevant lines covered (91.27%)

0.91 hits per line

Source Files on job run-3.11-z3-solver - 15056619614.4