trailofbits / manticore / 734284533
87%
master: 86%

LAST BUILD BRANCH: test-multiple-pythons
DEFAULT BRANCH: master
Ran
Jobs 9
Files 82
Run time 35min
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
734284533

Pull #2425

github

GitHub 
Merge 834da3565 into b4d129f8b
Pull Request #2425: Delay smt-solving until it is absolutely necessary in EVM

79 of 83 new or added lines in 4 files covered. (95.18%)

7 existing lines in 2 files now uncovered.

20330 of 23504 relevant lines covered (86.5%)

2.9 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
83.68
 3.35% manticore/ethereum/manticore.py

Uncovered Existing Lines

Lines Coverage ∆ File
2
78.5
 -0.48% manticore/core/smtlib/solver.py
5
86.08
 -0.15% manticore/platforms/evm.py
Jobs
ID Job ID Ran Files Coverage
1 734284533.1 67
37.98
2 734284533.2 62
39.76
3 734284533.3 59
48.19
4 734284533.4 67
25.43
5 734284533.5 67
63.73
6 734284533.6 67
24.68
7 734284533.7 67
36.09
8 734284533.8 67
20.44
9 734284533.9 67
24.66
Source Files on build 734284533