diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-02-03 16:42:31 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-03 16:42:31 -0800 |
commit | b2fad75b845de71d030705b3c3672009f1e4c2a4 (patch) | |
tree | 8b1c2f83cb243fe1aa45226c0b3d5675fb790d1a /test/regress/regress0/arith/issue3412.smt2 | |
parent | 6118996ec32a66fb8a62f42c79b093fdf82b9ef6 (diff) |
Increase regression test time limit to 1200s. (#3704)
Fixes #3565.
Diffstat (limited to 'test/regress/regress0/arith/issue3412.smt2')
0 files changed, 0 insertions, 0 deletions