Add tests for WorkspaceCtrl