trailofbits / manticore / 703188652
86%
master: 86%

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

Pull #2411

github

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

75 of 92 new or added lines in 2 files covered. (81.52%)

48 existing lines in 1 file now uncovered.

20299 of 23501 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
16
79.32
 0.33% manticore/core/smtlib/solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
48
79.32
 0.33% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 703188652.1 67
38.14
2 703188652.2 62
39.88
3 703188652.3 67
63.9
4 703188652.4 67
25.52
5 703188652.5 59
48.34
6 703188652.6 67
24.8
7 703188652.7 67
17.82
8 703188652.8 67
35.98
9 703188652.9 67
24.61
Source Files on build 703188652