trailofbits / manticore / 705808597
86%
master: 86%

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

Pull #2411

github

GitHub 
Merge 81e22cb46 into 9bfb3acb6
Pull Request #2411: Reduce the number of calls to the SMT solver in EVM

98 of 112 new or added lines in 4 files covered. (87.5%)

9 existing lines in 1 file now uncovered.

20305 of 23505 relevant lines covered (86.39%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
85.43
 0.43% manticore/core/state.py
13
79.83
 0.84% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
9
86.24
 0.01% manticore/platforms/evm.py
Jobs
ID Job ID Ran Files Coverage
1 705808597.1 67
38.14
2 705808597.2 62
39.89
3 705808597.3 67
63.9
4 705808597.4 59
48.35
5 705808597.5 67
25.54
6 705808597.6 67
17.82
7 705808597.7 67
24.8
8 705808597.8 67
36.03
9 705808597.9 67
24.63
Source Files on build 705808597