trailofbits / manticore / 512498928
87%
master: 86%

LAST BUILD BRANCH: test-multiple-pythons
DEFAULT BRANCH: master
Ran
Jobs 18
Files 81
Run time 23min
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
512498928

Pull #1805

github

GitHub 
Merge 6c871e31d into 334b3aa64
Pull Request #1805: Heap Tracker

9 of 11 new or added lines in 4 files covered. (81.82%)

638 existing lines in 12 files now uncovered.

20078 of 23212 relevant lines covered (86.5%)

2.81 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
94.79
 -0.03% manticore/native/cpu/aarch64.py
1
93.4
 -0.1% manticore/native/cpu/arm.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
94.25
 0.0% manticore/core/plugin.py
1
92.59
 0.0% manticore/native/cpu/disasm.py
3
89.17
 15.11% manticore/core/smtlib/solver.py
6
89.01
 0.0% manticore/__main__.py
17
74.67
 0.0% manticore/ethereum/verifier.py
28
91.41
 0.0% manticore/core/manticore.py
35
92.25
 0.0% manticore/core/smtlib/visitors.py
43
89.03
 0.02% manticore/native/cpu/abstractcpu.py
71
59.07
 0.0% manticore/platforms/decree.py
76
80.29
 0.0% manticore/ethereum/manticore.py
169
86.62
 -0.24% manticore/native/cpu/x86.py
188
86.23
 -0.58% manticore/platforms/evm.py
Jobs
ID Job ID Ran Files Coverage
1 512498928.1 66
33.21
2 512498928.2 61
39.48
3 512498928.3 57
48.11
4 512498928.4 66
63.8
5 512498928.5 66
25.09
6 512498928.6 66
17.48
7 512498928.7 66
24.38
8 512498928.8 66
35.63
9 512498928.9 66
24.39
10 512498928.10 66
33.21
11 512498928.11 61
39.48
12 512498928.12 57
48.11
13 512498928.13 66
63.8
14 512498928.14 66
25.09
15 512498928.15 66
17.48
16 512498928.16 66
24.38
17 512498928.17 66
24.39
18 512498928.18 66
35.59
Source Files on build 512498928