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

Pull #1823

github

GitHub 
Merge 5e324af27 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.

20066 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 406719172.1 66
33.18
2 406719172.2 61
39.44
3 406719172.3 57
47.51
4 406719172.4 66
24.65
5 406719172.5 66
63.76
6 406719172.6 66
24.38
7 406719172.7 66
17.5
8 406719172.8 66
35.26
9 406719172.9 66
24.38
Source Files on build 406719172