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

msakai / toysolver / 1772 / 3
72%
master: 72%

Build:
DEFAULT BRANCH: master
Ran 26 Dec 2020 03:11PM UTC
Files 127
Run time 8s
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

26 Dec 2020 02:49PM UTC coverage: 70.169% (+0.5%) from 69.678%
STACK_YAML=stack-ghc-8.6.yaml RELEASE=1 HADDOCK=1 COVERAGE=1 SHC_GHCVER=8.0.1

push

travis-ci

web-flow
Merge pull request #30 from msakai/feature/rename-sat-solver-module

Restructure SAT solver modules under ToySolver.SAT.Solver.*

10726 of 15286 relevant lines covered (70.17%)

0.7 hits per line

Source Files on job 1772.3 (STACK_YAML=stack-ghc-8.6.yaml RELEASE=1 HADDOCK=1 COVERAGE=1 SHC_GHCVER=8.0.1)
  • Tree
  • List 0
  • Changed 17
  • Source Changed 0
  • Coverage Changed 17
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 1695
  • Travis Job 1772.3
  • 0b064f96 on github
  • Prev Job for STACK_YAML=stack-ghc-8.6.yaml RELEASE=1 HADDOCK=1 COVERAGE=1 SHC_GHCVER=8.0.1 on master (#1771.3)
  • Next Job for STACK_YAML=stack-ghc-8.6.yaml RELEASE=1 HADDOCK=1 COVERAGE=1 SHC_GHCVER=8.0.1 on master (#1779.3)
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

© 2026 Coveralls, Inc