trailofbits / manticore / 406827718
86%
master: 86%

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

Pull #1823

github

GitHub 
Merge 200b9c56b into 5ea4f9063
Pull Request #1823: Better control of gas accounting

33 of 38 new or added lines in 2 files covered. (86.84%)

22 existing lines in 5 files now uncovered.

20067 of 23220 relevant lines covered (86.42%)

2.8 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
5
85.81
 -0.45% manticore/platforms/evm.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
84.67
 -0.33% manticore/core/state.py
2
74.24
 -0.44% manticore/ethereum/verifier.py
3
88.92
 -0.76% manticore/core/smtlib/solver.py
6
85.81
 -0.45% manticore/platforms/evm.py
10
90.7
 -1.55% manticore/core/smtlib/visitors.py
Jobs
ID Job ID Ran Files Coverage
1 406827718.1 66
33.18
2 406827718.2 61
39.44
3 406827718.3 57
47.51
4 406827718.4 66
24.63
5 406827718.5 66
63.76
6 406827718.6 66
24.38
7 406827718.7 66
17.5
8 406827718.8 66
35.3
9 406827718.9 66
24.35
Source Files on build 406827718