diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-15 13:04:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-15 20:04:55 +0000 |
| commit | 77bca094a140b35341257f125a55212ff0108250 (patch) | |
| tree | 1d3369b9be5fc4c3e8cb279ae5ea662e59cbcb3e /test/api/interactive_shell.py | |
| parent | 63647b1d79df6f287ea6599958b16fce44b8271d (diff) | |
Rename occurrences of CVC4 to CVC5. (#6351)
This renames everything but GitHub links and build system related
macros. Switching the build system to cvc5 will be the last step in the
renaming process.
Diffstat (limited to 'test/api/interactive_shell.py')
| -rw-r--r-- | test/api/interactive_shell.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/api/interactive_shell.py b/test/api/interactive_shell.py index 6660ebe2e..3c8a1d5a8 100644 --- a/test/api/interactive_shell.py +++ b/test/api/interactive_shell.py @@ -11,7 +11,7 @@ # directory for licensing information. # ############################################################################# # -# A simple test file to interact with CVC4 with line editing +# A simple test file to interact with cvc5 with line editing ## import sys @@ -19,15 +19,15 @@ import pexpect def check_iteractive_shell(): """ - Interacts with CVC4's interactive shell and checks that things such a tab + Interacts with cvc5's interactive shell and checks that things such a tab completion and "pressing up" works. """ - # Open CVC4 + # Open cvc5 child = pexpect.spawnu("bin/cvc4", timeout=1) - # We expect to see the CVC4 prompt - child.expect("CVC4>") + # We expect to see the cvc5 prompt + child.expect("cvc5>") # If we send a line with just 'BOOLE' ... child.sendline("BOOLE") @@ -56,8 +56,8 @@ def check_iteractive_shell(): # Send enter child.sendcontrol("m") - # We expect to see the CVC4 prompt - child.expect("CVC4>") + # We expect to see the cvc5 prompt + child.expect("cvc5>") # Now send an up key child.send("\033[A") |