diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-06-14 17:01:57 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-06-14 17:01:57 -0700 |
commit | 0bb3e14b46a4b2f5cacfadb313c947da73ba7df6 (patch) | |
tree | 945eb1fc96e905eba8347f21e25c9ae92a139a80 /test/regress/regress1/issue4273-ext-rew-cache.smt2 | |
parent | 0d51f9839eb4a242de33576d884af82004d68cf2 (diff) |
Remove `--tear-down-incremental`
Recent experiments have shown that `--tear-down-incremental` is actually
not really helping anymore and it has always been a bit of a workaround.
It is also broken on current master. This commit removes the option.
Diffstat (limited to 'test/regress/regress1/issue4273-ext-rew-cache.smt2')
0 files changed, 0 insertions, 0 deletions