• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

trailofbits / manticore / 2373842510
86%
master: 86%

Build:
Build:
LAST BUILD BRANCH: ekilmer/use-pyproject-toml
DEFAULT BRANCH: master
Ran 23 May 2022 08:50PM UTC
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

pending completion
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 23 May 2022 08:50PM UTC 0
40.41
2 2373842510.2 23 May 2022 08:55PM UTC 0
48.6
3 2373842510.3 23 May 2022 09:05PM UTC 0
17.81
4 2373842510.4 23 May 2022 09:05PM UTC 0
24.69
5 2373842510.5 23 May 2022 09:13PM UTC 0
41.49
6 2373842510.6 23 May 2022 09:17PM UTC 0
36.14
7 2373842510.7 23 May 2022 09:18PM UTC 0
24.3
8 2373842510.8 23 May 2022 09:18PM UTC 0
63.49
9 2373842510.9 23 May 2022 09:29PM UTC 0
25.47
Source Files on build 2373842510
  • Tree
  • List 83
  • Changed 64
  • Source Changed 5
  • Coverage Changed 64
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Pull Request #2469
  • PR Base - master (#2346196843)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc