trailofbits / manticore / 811358210
86%
master: 86%

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

Pull #2411

github

GitHub 
Merge 19a929e9b into eb4f208fe
Pull Request #2411: Reduce the number of calls to the SMT solver in EVM

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

103 existing lines in 7 files now uncovered.

18846 of 21584 relevant lines covered (87.31%)

3.3 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
85.2
 0.53% manticore/core/state.py
9
80.12
 1.68% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
94.78
 -0.04% manticore/native/cpu/aarch64.py
4
94.05
 6.09% manticore/native/cpu/abstractcpu.py
4
94.17
 0.75% manticore/native/memory.py
5
91.12
 4.43% manticore/native/cpu/x86.py
18
81.25
 8.75% manticore/utils/emulate.py
34
78.23
 2.98% manticore/platforms/linux.py
37
81.16
 0.83% manticore/ethereum/manticore.py
Jobs
ID Job ID Ran Files Coverage
1 811358210.1 62
39.89
2 811358210.2 67
38.02
3 811358210.3 62
39.79
4 811358210.4 67
25.61
5 811358210.5 59
48.39
6 811358210.6 67
24.82
7 811358210.7 67
17.83
8 811358210.8 67
36.08
9 811358210.9 67
64.01
10 811358210.10 67
24.63
Source Files on build 811358210