diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-06 23:07:28 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-06 23:07:28 -0400 |
| commit | a5f13935cd4a861c134a1e741cc81248b012eaaf (patch) | |
| tree | 9066915198f2d3c82d0099ec36a7f7dbba7e1910 /Makefile.am | |
| parent | 9b035b4aedd977213a5f5acb6e8cb01bf160c415 (diff) | |
Change SMT-EVAL run-script to use Tim's best QF_LRA command-line parameters
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions