| commit | 08f0d4dee0c7014f2b5cbeab911186c0950c4e23 | [log] [tgz] |
|---|---|---|
| author | Sameer Agarwal <sameeragarwal@google.com> | Wed Sep 05 14:06:22 2012 -0700 |
| committer | Sameer Agarwal <sameeragarwal@google.com> | Wed Sep 05 14:06:22 2012 -0700 |
| tree | cd01e0532d0bf09c70495e2225eb11cbd3432525 | |
| parent | b329e5853750e2effae3a1807e1bf35cdde29bc7 [diff] |
Stricter checking of Solver::Option::num_eliminate_blocks. Change-Id: Ic8e61cedbe0eb028a32c89f77dc6b838d3a8caa4