trailofbits / manticore / 462216622
87%
master: 86%

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

Pull #1620

github

GitHub 
Merge 42bd3c86c into abf8a8b01
Pull Request #1620: TUI Support Infrastructure

137 of 139 new or added lines in 6 files covered. (98.56%)

7 existing lines in 3 files now uncovered.

20196 of 23334 relevant lines covered (86.55%)

2.88 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
94.07
 -0.19% manticore/core/plugin.py
1
99.34
 -0.66% manticore/core/worker.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
91.43
 0.02% manticore/core/manticore.py
1
91.95
 -0.12% manticore/core/smtlib/expression.py
5
87.97
 -1.04% manticore/native/cpu/abstractcpu.py
Jobs
ID Job ID Ran Files Coverage
1 462216622.1 62
39.74
2 462216622.2 67
37.94
3 462216622.3 58
48.41
4 462216622.4 67
63.78
5 462216622.5 67
25.44
6 462216622.6 67
24.71
7 462216622.7 67
17.82
8 462216622.8 67
35.9
9 462216622.9 67
24.69
Source Files on build 462216622