trailofbits / manticore / 406994805
86%
master: 86%

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

Pull #1823

github

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

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

14 existing lines in 2 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
4
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 406994805.1 66
33.18
2 406994805.2 61
39.44
3 406994805.3 66
24.63
4 406994805.4 57
47.51
5 406994805.5 66
63.76
6 406994805.6 66
24.38
7 406994805.7 66
17.5
8 406994805.8 66
24.38
9 406994805.9 66
35.27
Source Files on build 406994805