genometools/genometools — pull request #419 by satta (2014-09-16 11:38:38+00:00)
Title: Optimize handling of successful checks

This PR removes the behaviour of storing node references in the Speck result set for nodes passing all checks. This is not necessary for result reporting and will needlessly blow up memory usage in average cases. Also, this PR removes the now-redundant old result reporting code and avoids some unnecessary string duplication.