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

Udopia / candy-kingdom
80%
master: 83%

Build:
Build:
LAST BUILD BRANCH: develop
DEFAULT BRANCH: master
Repo Added 23 May 2017 09:34PM UTC
Files 81
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

LAST BUILD ON BRANCH development
branch: development
CHANGE BRANCH
x
Reset
  • development
  • SAT2019
  • develop
  • master
  • release_sat_2019

pending completion
260

push

travis-ci

Udopia
started untangling of the SimpSolver\n towards a proper simplification module\n need to introduce materialized unit-clauses first to get rid of all the workarounds coming in with implicit unit-clauses\n need to get rid of the 'too fancy' clause allocation model

4010 of 5009 relevant lines covered (80.06%)

562310.3 hits per line

Relevant lines Covered
Build:
Build:
5009 RELEVANT LINES 4010 COVERED LINES
562310.3 HITS PER LINE
Source Files on development
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
260 development started untangling of the SimpSolver\n towards a proper simplification module\n need to introduce materialized unit-clauses first to get rid of all the workarounds coming in with implicit unit-clauses\n need to get rid of the 'too fancy' clause al... push 17 Sep 2018 09:09PM UTC Udopia travis-ci pending completion  
See All Builds (584)
  • Repo on GitHub
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