projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea1a513) | patch
Fix (#7437)
authorGereon Kremer <nafur42@gmail.com>
Thu, 21 Oct 2021 01:22:55 +0000 (18:22 -0700)
committerGitHub <noreply@github.com>
Thu, 21 Oct 2021 01:22:55 +0000 (18:22 -0700)
commite590612dc4421d45cacc451a7b8a162acd9c7943
tree4de15750b40cdea6ab8584859b830927897297cftree
parentea1a513414f0de19a45f58e5e43ccd9c3f290726commit | diff
Fix (#7437)

This PR reintroduces support for the (deprecated) option interactive-mode. It was erroneously removed in #7295.

Fixes #7379.
src/options/smt_options.toml diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/options/interactive-mode.smt2 [new file with mode: 0644] blob