tree 35b6deb125457262f373049301b6d03314ecd207
parent 89a592f410fb6f80c03dea84b6b9f1a10bea36c1
author Sameer Agarwal <sameeragarwal@google.com> 1385564757 -0800
committer Sameer Agarwal <sameeragarwal@google.com> 1385575910 -0800

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