trailofbits / manticore / 2227038574
86%
master: 86%

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

push

github

GitHub 
Fix bug in register_log_callback (#2542)

7 of 7 new or added lines in 1 file covered. (100.0%)

1456 existing lines in 25 files now uncovered.

20769 of 23969 relevant lines covered (86.65%)

2.96 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
2
98.71
 -0.63% manticore/core/worker.py
2
74.24
 -0.44% manticore/ethereum/verifier.py
2
93.29
 0.05% manticore/utils/fallback_emulator.py
4
90.35
 -0.94% manticore/ethereum/detectors.py
5
82.58
 -1.61% manticore/core/workspace.py
5
81.0
 -0.58% manticore/native/manticore.py
5
93.86
 -0.36% manticore/wasm/manticore.py
7
94.18
 0.12% manticore/core/plugin.py
7
89.01
 0.25% manticore/__main__.py
7
67.57
 0.02% manticore/platforms/linux_syscall_stubs.py
12
71.43
 -4.66% manticore/native/plugins.py
19
80.49
 0.12% examples/script/concolic.py
22
92.94
 0.08% manticore/core/smtlib/visitors.py
31
93.28
 -0.14% manticore/native/memory.py
43
91.64
 0.2% manticore/core/manticore.py
43
89.5
 -0.5% manticore/native/cpu/abstractcpu.py
44
83.76
 -1.24% manticore/core/state.py
44
93.76
 -0.06% manticore/native/cpu/arm.py
58
96.07
 -0.06% manticore/native/cpu/aarch64.py
63
91.8
 0.03% manticore/core/smtlib/expression.py
65
89.53
 10.55% manticore/core/smtlib/solver.py
134
80.41
 0.08% manticore/ethereum/manticore.py
140
88.13
 0.12% manticore/native/cpu/x86.py
214
86.43
 0.15% manticore/platforms/evm.py
478
72.14
 -2.42% manticore/platforms/linux.py
Jobs
ID Job ID Ran Files Coverage
1 2227038574.1 67
40.5
2 2227038574.2 59
48.64
3 2227038574.3 67
24.76
4 2227038574.4 74
41.59
5 2227038574.5 67
17.85
6 2227038574.6 67
24.35
7 2227038574.7 67
36.23
8 2227038574.8 67
63.57
9 2227038574.9 67
25.53
Source Files on build 2227038574