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

Pull #2425

github

GitHub 
Merge f25718726 into eb4f208fe
Pull Request #2425: Delay smt-solving until it is absolutely necessary in EVM

79 of 84 new or added lines in 4 files covered. (94.05%)

98 existing lines in 6 files now uncovered.

20344 of 23527 relevant lines covered (86.47%)

2.91 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
5
83.57
 3.23% manticore/ethereum/manticore.py

Uncovered Existing Lines

Lines Coverage ∆ File
2
91.47
 0.04% manticore/core/manticore.py
5
81.0
 -0.58% manticore/native/manticore.py
5
86.1
 -0.13% manticore/platforms/evm.py
5
93.86
 -0.36% manticore/wasm/manticore.py
9
83.57
 3.23% manticore/ethereum/manticore.py
72
77.98
 -1.0% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 810697253.1 62
39.76
2 810697253.2 67
38.04
3 810697253.3 67
25.49
4 810697253.4 59
48.28
5 810697253.5 67
63.77
6 810697253.6 67
36.16
7 810697253.7 67
24.73
8 810697253.8 67
20.52
9 810697253.9 67
24.66
Source Files on build 810697253