trailofbits / manticore / 864665999
87%
master: 86%

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

Pull #2425

github

GitHub 
Merge 6049aa085 into 91679529c
Pull Request #2425: Delay smt-solving until it is absolutely necessary in EVM

79 of 87 new or added lines in 4 files covered. (90.8%)

631 existing lines in 12 files now uncovered.

20384 of 23556 relevant lines covered (86.53%)

2.91 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
85.25
 0.25% manticore/core/state.py
4
83.52
 3.18% manticore/ethereum/manticore.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
94.78
 -0.04% manticore/native/cpu/aarch64.py
2
91.47
 0.04% manticore/core/manticore.py
5
81.0
 -0.58% manticore/native/manticore.py
5
93.86
 -0.36% manticore/wasm/manticore.py
6
86.05
 -0.18% manticore/platforms/evm.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
72
77.98
 -1.0% manticore/core/smtlib/solver.py
104
83.52
 3.18% 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 864665999.1 62
39.67
2 864665999.2 67
37.88
3 864665999.3 67
25.48
4 864665999.4 59
48.23
5 864665999.5 67
36.13
6 864665999.6 67
24.71
7 864665999.7 67
63.85
8 864665999.8 67
20.5
9 864665999.9 67
24.67
Source Files on build 864665999