trailofbits / manticore / 706151234
86%
master: 86%

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

Pull #2411

github

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

101 of 115 new or added lines in 4 files covered. (87.83%)

41 existing lines in 2 files now uncovered.

20310 of 23509 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
16
79.83
 0.84% manticore/core/smtlib/solver.py
25
85.43
 0.43% manticore/core/state.py
Jobs
ID Job ID Ran Files Coverage
1 706151234.1 62
39.88
2 706151234.2 67
38.13
3 706151234.3 59
48.34
4 706151234.4 67
63.89
5 706151234.5 67
25.56
6 706151234.6 67
17.82
7 706151234.7 67
24.8
8 706151234.8 67
36.0
9 706151234.9 67
24.63
Source Files on build 706151234