projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bc9f09) | patch
Only use libedit on tty inputs (#6946)
authorGereon Kremer <nafur42@gmail.com>
Wed, 28 Jul 2021 21:41:22 +0000 (14:41 -0700)
committerGitHub <noreply@github.com>
Wed, 28 Jul 2021 21:41:22 +0000 (21:41 +0000)
commit25e124deb3c69256b35641cd1055b5328b309bf6
treef07ca2e0a23768ad44425495a39fe2a48b07680btree
parent6bc9f09c09defa673bf0562684f9112fa94a9cfccommit | diff
Only use libedit on tty inputs (#6946)

This PR improves the check when we use libedit: only when the input is an interactive terminal.
This is motivated by a change to the unit test for the interactive mode that now properly redirects standard input (and output).
src/main/interactive_shell.cpp diff | blob | history
test/unit/main/interactive_shell_black.cpp diff | blob | history