diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-17 22:38:32 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-17 22:38:32 +0000 |
commit | 747c97106c6a6f8f8718b4b5ddfd61f505f3bf5f (patch) | |
tree | e652c33b7a5fda27264e459d108c542a6ebd4f9e /test/regress/regress0/quantifiers/array-unsat-simp3.smt2 | |
parent | fe8daeac0ccff8e9b2a88f599b15f16f1f6fbfba (diff) |
speed up option-file generation on Mac OS by an order of magnitude
Diffstat (limited to 'test/regress/regress0/quantifiers/array-unsat-simp3.smt2')
0 files changed, 0 insertions, 0 deletions