Add test for basic REPL commands
Merge pull request #1511 from tac-tics/basic-repl-test

Add test for basic REPL commands
Merge branch 'master' into cplusplus-backend