projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21ee0f1) | patch
Remove `--tear-down-incremental` (#6745)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 23 Jun 2021 01:12:15 +0000 (18:12 -0700)
committerGitHub <noreply@github.com>
Wed, 23 Jun 2021 01:12:15 +0000 (01:12 +0000)
commitd469cd09002b47e1a7d51bc6a089456068135303
tree3c5e68fb24113fca9e74c002614a388698d9a5f5tree
parent21ee0f18c288d430d08c133f601173be25411187commit | diff
Remove `--tear-down-incremental` (#6745)

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.
src/main/driver_unified.cpp diff | blob | history
src/options/main_options.toml diff | blob | history