all tests use WorkspaceTest; workspace is reset every time