trailofbits / manticore / 705960272
86%
master: 86%

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

Pull #2411

github

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

100 of 114 new or added lines in 4 files covered. (87.72%)

41 existing lines in 2 files now uncovered.

20309 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 705960272.1 62
39.88
2 705960272.2 67
38.14
3 705960272.3 59
48.34
4 705960272.4 67
25.54
5 705960272.5 67
63.89
6 705960272.6 67
24.8
7 705960272.7 67
17.82
8 705960272.8 67
36.01
9 705960272.9 67
24.6
Source Files on build 705960272