Free cookie consent management tool by TermsFeed Policy Generator

Changeset 12361

Timestamp:
04/29/15 15:19:58 (11 years ago)
Author:
bburlacu
Message:

#2359: The changes in r12358 look fine to me. Added total number of pruned nodes in the analyzer's data table. Removed unused parameter names in the SymbolicDataAnalysisSingleObjectivePruningAnalyzer.

(No files)

Note: See TracChangeset for help on using the changeset viewer.