chrjabs / rustsat / 15974233103 / 1
61%
main: 61%

DEFAULT BRANCH: main
Ran
Files 81
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: 60.573%. Remained the same
15974233103.1

push

github

chrjabs 
feat(kissat): kissat version 4.0.3

https://github.com/arminbiere/kissat/releases/tag/rel-4.0.3

14185 of 23418 relevant lines covered (60.57%)

47577.64 hits per line

Source Files on job 15974233103.1