diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2012-12-12 17:28:14 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-20 15:36:53 -0400 |
commit | 04e3d0ae6b6135f50cf119f3cf85150dcc87d774 (patch) | |
tree | 9e3bf2583ccbe75fdf5a78129a9d792b7e5681a3 /test/unit | |
parent | 0c661d41f7594ee3c761b173c1e709ce428ce89d (diff) |
Interactive mode support for multiline input
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/main/interactive_shell_black.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/main/interactive_shell_black.h b/test/unit/main/interactive_shell_black.h index 664027c49..66fcabed0 100644 --- a/test/unit/main/interactive_shell_black.h +++ b/test/unit/main/interactive_shell_black.h @@ -69,13 +69,13 @@ private: } void testAssertTrue() { - *d_sin << "ASSERT TRUE;" << flush; + *d_sin << "ASSERT TRUE;\n" << flush; InteractiveShell shell(*d_exprManager, d_options); countCommands( shell, 1, 1 ); } void testQueryFalse() { - *d_sin << "QUERY FALSE;" << flush; + *d_sin << "QUERY FALSE;\n" << flush; InteractiveShell shell(*d_exprManager, d_options); countCommands( shell, 1, 1 ); } |