trailofbits / manticore / 703216321
86%
master: 86%

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

Pull #2411

github

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

79 of 94 new or added lines in 2 files covered. (84.04%)

253 existing lines in 3 files now uncovered.

20302 of 23503 relevant lines covered (86.38%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
85.43
 0.43% manticore/core/state.py
14
79.62
 0.63% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
16
79.62
 0.63% manticore/core/smtlib/solver.py
25
85.43
 0.43% manticore/core/state.py
212
86.23
 0.0% manticore/platforms/evm.py
Jobs
ID Job ID Ran Files Coverage
1 703216321.1 62
39.89
2 703216321.2 67
38.15
3 703216321.3 67
63.9
4 703216321.4 67
25.53
5 703216321.5 59
48.36
6 703216321.6 67
24.81
7 703216321.7 67
17.82
8 703216321.8 67
36.02
9 703216321.9 67
24.6
Source Files on build 703216321