trailofbits / manticore / 895969173
86%

DEFAULT BRANCH: master
Ran
Jobs 9
Files 82
Run time 28min
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
895969173

push

github

GitHub 
Reduce the number of calls to the SMT solver in EVM (#2411)

104 of 114 new or added lines in 4 files covered. (91.23%)

318 existing lines in 4 files now uncovered.

20364 of 23558 relevant lines covered (86.44%)

2.89 hits per line

Jobs
ID Job ID Ran Files Coverage
1 895969173.1 0
38.02
2 895969173.2 0
39.79
3 895969173.3 0
48.39
4 895969173.4 0
25.59
5 895969173.5 0
17.83
6 895969173.6 0
24.82
7 895969173.7 0
36.11
8 895969173.8 0
64.01
9 895969173.9 0
24.63
Source Files on build 895969173
Detailed source file information is not available for this build.