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

fkutzner / candy-kingdom
87%
nomaster: 86%

Build:
Build:
LAST BUILD BRANCH: pr_cleanup2
DEFAULT BRANCH: nomaster
Repo Added 23 May 2017 07:15PM UTC
Files 53
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 ft_squeeze
branch: ft_squeeze
CHANGE BRANCH
x
Reset
  • ft_squeeze
  • ft_cleanup
  • ft_cleanup2
  • ft_coveralls
  • ft_coveralls2
  • ft_mdfix
  • ft_miter
  • ft_orfix
  • ft_rsarsimplify
  • master
  • pr_cleanup2
  • pr_coveralls2
  • pr_frontend
  • pr_miter_1
  • pr_objectlibs
  • pr_rsilcfg
  • pr_rsilcfg_2
  • pr_sdescr
  • pr_sdescr_2

pending completion
51

push

travis-ci

fkutzner
freeing the CNFProblem instance early in plain Candy and RSIL

...since the clauses are not accessed any more after preprocessing
is completed. (Currently, this does not hold for RSAR, where
heuristics may use the gate analyzer for approximation refinement,
and thus the clauses may still be accessed.)

3555 of 4096 relevant lines covered (86.79%)

3918153.56 hits per line

Relevant lines Covered
Build:
Build:
4096 RELEVANT LINES 3555 COVERED LINES
3918153.56 HITS PER LINE
Source Files on ft_squeeze
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
51 ft_squeeze freeing the CNFProblem instance early in plain Candy and RSIL ...since the clauses are not accessed any more after preprocessing is completed. (Currently, this does not hold for RSAR, where heuristics may use the gate analyzer for approximation r... push 29 May 2017 06:26PM UTC fkutzner travis-ci pending completion  
See All Builds (55)
  • 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