trailofbits / manticore / 864669358
86%
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
864669358

Pull #2411

github

GitHub 
Merge 982349eff into 91679529c
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%)

556 existing lines in 7 files now uncovered.

20367 of 23558 relevant lines covered (86.45%)

2.89 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
12
93.41
 0.0% manticore/native/memory.py
30
90.14
 2.18% manticore/native/cpu/abstractcpu.py
43
77.52
 5.02% manticore/utils/emulate.py
119
80.29
 -0.04% manticore/ethereum/manticore.py
173
86.61
 -0.09% manticore/native/cpu/x86.py
178
75.24
 -0.01% manticore/platforms/linux.py
Jobs
ID Job ID Ran Files Coverage
1 864669358.1 67
38.02
2 864669358.2 62
39.79
3 864669358.3 59
48.39
4 864669358.4 67
25.61
5 864669358.5 67
24.82
6 864669358.6 67
17.83
7 864669358.7 67
36.07
8 864669358.8 67
64.01
9 864669358.9 67
24.63
Source Files on build 864669358