trailofbits / manticore / 734537783
87%
master: 86%

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

Pull #2425

github

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

76 of 80 new or added lines in 4 files covered. (95.0%)

8 existing lines in 2 files now uncovered.

20326 of 23501 relevant lines covered (86.49%)

2.9 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
83.63
 3.3% manticore/ethereum/manticore.py

Uncovered Existing Lines

Lines Coverage ∆ File
2
78.5
 -0.48% manticore/core/smtlib/solver.py
6
86.02
 -0.2% manticore/platforms/evm.py
Jobs
ID Job ID Ran Files Coverage
1 734537783.1 67
37.99
2 734537783.2 62
39.76
3 734537783.3 67
25.41
4 734537783.4 59
48.18
5 734537783.5 67
63.74
6 734537783.6 67
24.68
7 734537783.7 67
36.04
8 734537783.8 67
20.44
9 734537783.9 67
24.67
Source Files on build 734537783