| commit | 1b7f3b52fb5ff5305bd450b3037fb1fceb2e725a | [log] [tgz] |
|---|---|---|
| author | Sameer Agarwal <sameeragarwal@google.com> | Thu Aug 09 21:46:19 2012 -0700 |
| committer | Sameer Agarwal <sameeragarwal@google.com> | Fri Aug 10 15:55:31 2012 -0700 |
| tree | 83352d999da73df3e6f49fd7e752778ba7468f3e | |
| parent | faa117a7e9d4b600360d85bf869050763d679548 [diff] |
Add ability to log solver execution to file. Change-Id: I9996ba2fed5229fe5d621fbb1a027d4c360cd59d