trailofbits / manticore / 406625062
86%
master: 86%

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

Pull #1823

github

GitHub 
Merge 423f5d50f into 5ea4f9063
Pull Request #1823: Better control of gas accounting

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

22 existing lines in 5 files now uncovered.

20069 of 23222 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 406625062.1 66
33.2
2 406625062.2 61
39.44
3 406625062.3 57
47.55
4 406625062.4 66
24.66
5 406625062.5 66
63.76
6 406625062.6 66
24.4
7 406625062.7 66
35.31
8 406625062.8 66
17.53
9 406625062.9 66
24.38
Source Files on build 406625062