trailofbits / manticore / 229107319
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
229107319

Pull #1620

github

GitHub 
Merge b2a009a30 into a41c19acd
Pull Request #1620: TUI Support Infrastructure

491 of 541 new or added lines in 29 files covered. (90.76%)

451 existing lines in 8 files now uncovered.

20155 of 23337 relevant lines covered (86.36%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
85.0
 2.81% manticore/core/state.py
1
99.35
 1.55% manticore/core/worker.py
1
84.19
 1.07% manticore/core/workspace.py
1
92.19
 -0.24% manticore/native/models.py
1
76.09
 -21.87% manticore/native/plugins.py
1
75.21
 1.62% manticore/platforms/linux.py
1
0.0
 0.0% manticore/utils/command_line.py
2
91.43
 1.47% manticore/core/manticore.py
2
80.29
 0.77% manticore/ethereum/manticore.py
2
66.19
 -0.72% manticore/ethereum/plugins.py
4
89.0
 2.26% manticore/native/cpu/abstractcpu.py
4
88.57
 manticore/utils/enums.py
6
92.99
 -0.11% manticore/native/memory.py
7
64.49
 5.45% manticore/utils/helpers.py
8
94.07
 24.72% manticore/core/plugin.py
8
86.64
 -0.06% manticore/platforms/evm.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
84.86
 -0.27% manticore/core/smtlib/constraints.py
1
92.99
 -0.11% manticore/native/memory.py
2
91.43
 1.47% manticore/core/manticore.py
2
85.0
 2.81% manticore/core/state.py
5
86.64
 -0.06% manticore/platforms/evm.py
9
76.09
 -21.87% manticore/native/plugins.py
65
8.18
 -59.09% manticore/native/state_merging.py
366
75.21
 1.62% manticore/platforms/linux.py
Jobs
ID Job ID Ran Files Coverage
1 229107319.1 62
39.75
2 229107319.2 67
37.86
3 229107319.3 58
48.46
4 229107319.4 67
17.83
5 229107319.5 67
63.83
6 229107319.6 67
24.73
7 229107319.7 67
24.69
8 229107319.8 67
35.88
9 229107319.9 67
25.48
Source Files on build 229107319