fkutzner / candy-kingdom

87%

nomaster: 86%

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

Build # 51

Build Type

push

travis-ci

Committed by fkutzner

Commit Message

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.)

Coverage Stats

3555 of 4096 relevant lines covered (86.79%)

3918153.56 hits per line