pyta-uoft / pyta / 26365916656 / 11
91%
master: 91%

LAST BUILD BRANCH: snapshot-to-json-format-update
DEFAULT BRANCH: master
Ran
Files 101
Run time 3s
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: 94.665%. Remained the same
26365916656.11

Pull #1339

github

web-flow 
Merge e407981e7 into cbf34b3c5
Pull Request #1339: Modify SnapshotTracer to generate JSON

6956 of 7348 relevant lines covered (94.67%)

0.95 hits per line

Source Files on job run-3.12-z3-solver - 26365916656.11