| commit | 068437eb89d495d905465544ccd442efef457b04 | [log] [tgz] |
|---|---|---|
| author | Sameer Agarwal <sameeragarwal@google.com> | Wed Nov 27 07:05:57 2013 -0800 |
| committer | Sameer Agarwal <sameeragarwal@google.com> | Wed Nov 27 10:11:50 2013 -0800 |
| tree | 35b6deb125457262f373049301b6d03314ecd207 | |
| parent | 89a592f410fb6f80c03dea84b6b9f1a10bea36c1 [diff] |
Pipe minimizer termination messages to Solver::Summary. All minimizer termination messages are now available as Solver::Summary::error. This is part of the ongoing refactoring or Change-Id: I4514c3c042645bbd1471bcde9bd3dbf81d9ee8b0