TritonVM / triton-vm / 9488003495
98%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 44
Run time 1min
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: 99.306% (-0.01%) from 99.316%
9488003495

push

github

jan-ferdinand 
perf: Compress compressible constraints

A number of constraints are mutually exclusive and can be summed. More
importantly than being mutually exclusive, the set of those constraints
has Hamming weight 1. This implies they can safely (and soundly) be
summed.

126 of 126 new or added lines in 1 file covered. (100.0%)

5 existing lines in 2 files now uncovered.

43950 of 44257 relevant lines covered (99.31%)

3877585.4 hits per line

Jobs
ID Job ID Ran Files Coverage
1 9488003495.1 0
99.31
 GitHub Action Run
Source Files on build 9488003495
Detailed source file information is not available for this build.