trailofbits / manticore / 2373842510
86%
master: 86%

LAST BUILD BRANCH: ekilmer/use-pyproject-toml
DEFAULT BRANCH: master
Ran
Jobs 9
Files 83
Run time 58min
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
2373842510

Pull #2469

github

GitHub 
Merge 9ee8b4fd0 into 9e11bc9ae
Pull Request #2469: Chess changes breakout for upstream

85 of 95 new or added lines in 5 files covered. (89.47%)

3 existing lines in 2 files now uncovered.

20781 of 24024 relevant lines covered (86.5%)

2.96 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
100.0
 manticore/native/cpu/x86.py
9
100.0
 manticore/platforms/linux.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
100.0
 manticore/native/cpu/x86.py
2
100.0
 manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 2373842510.1 0
40.41
2 2373842510.2 0
48.6
3 2373842510.3 0
17.81
4 2373842510.4 0
24.69
5 2373842510.5 0
41.49
6 2373842510.6 0
36.14
7 2373842510.7 0
24.3
8 2373842510.8 0
63.49
9 2373842510.9 0
25.47
Source Files on build 2373842510