diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-08-24 11:54:18 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-24 13:54:18 -0500 |
commit | 706dbdac95131bf45efbfcb9a8ca4df9dfb85478 (patch) | |
tree | 9cc6861532e486245a7362faabe7fe36d1efc4bb /src/theory/arith/nl/nonlinear_extension.cpp | |
parent | 6d53928cd9f16385d81124916311c372ec20b5ed (diff) |
Increase regress level to 2 for production build. (#4888)
Diffstat (limited to 'src/theory/arith/nl/nonlinear_extension.cpp')
0 files changed, 0 insertions, 0 deletions