trailofbits / manticore / 705622049
86%
master: 86%

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

Pull #2411

github

GitHub 
Merge dc9af4ead 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%)

176 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
176
86.24
 0.01% manticore/platforms/evm.py
Jobs
ID Job ID Ran Files Coverage
1 705622049.1 62
39.89
2 705622049.2 67
38.14
3 705622049.3 67
25.53
4 705622049.4 67
63.9
5 705622049.5 59
48.35
6 705622049.6 67
17.82
7 705622049.7 67
24.8
8 705622049.8 67
36.0
9 705622049.9 67
24.63
Source Files on build 705622049