trailofbits / manticore / 407201817
86%
master: 86%

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

Pull #1823

github

GitHub 
Merge b5e5e3660 into 6325e481f
Pull Request #1823: Better control of gas accounting

32 of 37 new or added lines in 1 file covered. (86.49%)

20 existing lines in 5 files now uncovered.

20065 of 23220 relevant lines covered (86.41%)

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
89.42
 0.25% manticore/core/smtlib/solver.py
1
84.67
 -0.33% manticore/core/state.py
2
74.24
 -0.44% manticore/ethereum/verifier.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 407201817.1 66
33.18
2 407201817.2 61
39.44
3 407201817.3 57
47.51
4 407201817.4 66
24.63
5 407201817.5 66
63.77
6 407201817.6 66
24.38
7 407201817.7 66
17.5
8 407201817.8 66
24.35
9 407201817.9 66
35.26
Source Files on build 407201817