trailofbits / manticore / 195592435
86%

DEFAULT BRANCH: master
Ran
Jobs 9
Files 65
Run time 31min
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
195592435

push

github-actions

GitHub 
Change the default to threading (#1779)

19523 of 22920 relevant lines covered (85.18%)

2.14 hits per line

Jobs
ID Job ID Ran Files Coverage
1 195592435.1 65
26.92
2 195592435.2 0
0.0
3 195592435.3 65
62.91
4 195592435.4 0
0.0
5 195592435.5 65
16.93
6 195592435.6 65
23.73
7 195592435.7 65
34.84
8 195592435.8 65
23.71
9 195592435.9 65
24.45
Source Files on build 195592435