Added tests for ReplBuffer