TritonVM / triton-vm / 6705224828 / 1
98%
master: 98%

DEFAULT BRANCH: master
Ran
Files 39
Run time 1s
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: 96.05% (+0.002%) from 96.048%
6705224828.1

push

github

jan-ferdinand 
perf: sum mutually exclusive constraints of `swap` and `dup`

19770 of 20583 relevant lines covered (96.05%)

1547298.58 hits per line

Source Files on job 6705224828.1