diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-04 12:54:26 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-04 12:54:26 -0500 |
commit | bf682b92e2bddcd490604f8a65c440b9c4c2f2f9 (patch) | |
tree | 336954c088a073aef44ddf49c1f66b02c4c3c4af /test/regress/regress0/nl/metitarski-1025.smt2 | |
parent | 6c0a62d69368b1af7e9777efcd703da6dc1cda11 (diff) |
Enable multi-trigger-linear by default, add option.
Diffstat (limited to 'test/regress/regress0/nl/metitarski-1025.smt2')
0 files changed, 0 insertions, 0 deletions