@fluidframework/tree 2.0.0-rc.2.0.2 → 2.0.0-rc.3.0.0

package/lib/test/shared-tree/fuzz/topLevel.fuzz.spec.js

@@ -1,110 +0,0 @@
-/*!
- * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
- * Licensed under the MIT License.
- */
-import { takeAsync } from "@fluid-private/stochastic-test-utils";
-import { createDDSFuzzSuite, } from "@fluid-private/test-dds-utils";
-import { FlushMode } from "@fluidframework/runtime-definitions";
-import { SharedTreeTestFactory, validateTreeConsistency } from "../../utils.js";
-import { makeOpGenerator } from "./fuzzEditGenerators.js";
-import { fuzzReducer } from "./fuzzEditReducers.js";
-import { deterministicIdCompressorFactory, failureDirectory, onCreate } from "./fuzzUtils.js";
-const baseOptions = {
-    numberOfClients: 3,
-    clientJoinOptions: {
-        maxNumberOfClients: 6,
-        clientAddProbability: 0.1,
-    },
-    reconnectProbability: 0.5,
-};
-/**
- * Fuzz tests in this suite are meant to exercise as much of the SharedTree code as possible and do so in the most
- * production-like manner possible. For example, these fuzz tests should not utilize branching APIs to emulate
- * multiple clients working on the same document. Instead, they should use multiple SharedTree instances, tied together
- * by a sequencing service. The tests may still use branching APIs because that's part of the normal usage of
- * SharedTree, but not as way to avoid using multiple SharedTree instances.
- *
- * The fuzz tests should validate that the clients do not crash and that their document states do not diverge.
- * See the "Fuzz - Targeted" test suite for tests that validate more specific code paths or invariants.
- */
-describe("Fuzz - Top-Level", () => {
-    const runsPerBatch = 50;
-    const opsPerRun = 20;
-    // TODO: Enable other types of ops.
-    const editGeneratorOpWeights = {
-        insert: 5,
-        remove: 5,
-        move: 5,
-        start: 1,
-        commit: 1,
-        // TODO: Enabling abort fails because aborting a transaction involves applying rollback ops, which may attempt to place
-        // repair data content in places it already exists. This should be fixed by pending work to generate forest deltas
-        // which destroy trees for rollbacks. See AB#6456 for more information.
-        abort: 0,
-        fieldSelection: { optional: 1, required: 1, sequence: 3, recurse: 3 },
-    };
-    const generatorFactory = () => takeAsync(opsPerRun, makeOpGenerator(editGeneratorOpWeights));
-    /**
-     * This test suite is meant exercise all public APIs of SharedTree together, as well as all service-oriented
-     * operations (such as summarization and stashed ops).
-     */
-    describe("Everything", () => {
-        const model = {
-            workloadName: "SharedTree",
-            factory: new SharedTreeTestFactory(onCreate),
-            generatorFactory,
-            reducer: fuzzReducer,
-            validateConsistency: validateTreeConsistency,
-        };
-        const options = {
-            ...baseOptions,
-            defaultTestCount: runsPerBatch,
-            saveFailures: {
-                directory: failureDirectory,
-            },
-            clientJoinOptions: {
-                clientAddProbability: 0,
-                maxNumberOfClients: 3,
-            },
-            // AB#7162: enabling rehydrate in these tests hits 0x744 and 0x79d. Disabling rehydrate for now
-            // and using the default number of ops before attach.
-            detachedStartOptions: {
-                numOpsBeforeAttach: 5,
-                rehydrateDisabled: true,
-            },
-            reconnectProbability: 0.1,
-            idCompressorFactory: deterministicIdCompressorFactory(0xdeadbeef),
-        };
-        createDDSFuzzSuite(model, options);
-    });
-    describe("Batch rebasing", () => {
-        const model = {
-            workloadName: "SharedTree rebasing",
-            factory: new SharedTreeTestFactory(onCreate),
-            generatorFactory,
-            reducer: fuzzReducer,
-            validateConsistency: validateTreeConsistency,
-        };
-        const options = {
-            ...baseOptions,
-            reconnectProbability: 0.0,
-            defaultTestCount: runsPerBatch,
-            rebaseProbability: 0.2,
-            containerRuntimeOptions: {
-                flushMode: FlushMode.TurnBased,
-                enableGroupedBatching: true,
-            },
-            // AB#7162: see comment above.
-            detachedStartOptions: {
-                numOpsBeforeAttach: 5,
-                rehydrateDisabled: true,
-            },
-            saveFailures: {
-                directory: failureDirectory,
-            },
-            idCompressorFactory: deterministicIdCompressorFactory(0xdeadbeef),
-        };
-        createDDSFuzzSuite(model, options);
-    });
-});
-//# sourceMappingURL=topLevel.fuzz.spec.js.map

package/lib/test/shared-tree/fuzz/topLevel.fuzz.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"topLevel.fuzz.spec.js","sourceRoot":"","sources":["../../../../src/test/shared-tree/fuzz/topLevel.fuzz.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAEN,kBAAkB,GAGlB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EAAE,eAAe,EAA0B,MAAM,yBAAyB,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,gCAAgC,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG9F,MAAM,WAAW,GAAiC;IACjD,eAAe,EAAE,CAAC;IAClB,iBAAiB,EAAE;QAClB,kBAAkB,EAAE,CAAC;QACrB,oBAAoB,EAAE,GAAG;KACzB;IACD,oBAAoB,EAAE,GAAG;CACzB,CAAC;AAEF;;;;;;;;;GASG;AACH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IACjC,MAAM,YAAY,GAAG,EAAE,CAAC;IACxB,MAAM,SAAS,GAAG,EAAE,CAAC;IACrB,mCAAmC;IACnC,MAAM,sBAAsB,GAAoC;QAC/D,MAAM,EAAE,CAAC;QACT,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,CAAC;QACP,KAAK,EAAE,CAAC;QACR,MAAM,EAAE,CAAC;QACT,uHAAuH;QACvH,kHAAkH;QAClH,uEAAuE;QACvE,KAAK,EAAE,CAAC;QACR,cAAc,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;KACrE,CAAC;IACF,MAAM,gBAAgB,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,sBAAsB,CAAC,CAAC,CAAC;IAC7F;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC3B,MAAM,KAAK,GAIP;YACH,YAAY,EAAE,YAAY;YAC1B,OAAO,EAAE,IAAI,qBAAqB,CAAC,QAAQ,CAAC;YAC5C,gBAAgB;YAChB,OAAO,EAAE,WAAW;YACpB,mBAAmB,EAAE,uBAAuB;SAC5C,CAAC;QACF,MAAM,OAAO,GAAiC;YAC7C,GAAG,WAAW;YACd,gBAAgB,EAAE,YAAY;YAC9B,YAAY,EAAE;gBACb,SAAS,EAAE,gBAAgB;aAC3B;YACD,iBAAiB,EAAE;gBAClB,oBAAoB,EAAE,CAAC;gBACvB,kBAAkB,EAAE,CAAC;aACrB;YACD,+FAA+F;YAC/F,qDAAqD;YACrD,oBAAoB,EAAE;gBACrB,kBAAkB,EAAE,CAAC;gBACrB,iBAAiB,EAAE,IAAI;aACvB;YACD,oBAAoB,EAAE,GAAG;YACzB,mBAAmB,EAAE,gCAAgC,CAAC,UAAU,CAAC;SACjE,CAAC;QACF,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC/B,MAAM,KAAK,GAIP;YACH,YAAY,EAAE,qBAAqB;YACnC,OAAO,EAAE,IAAI,qBAAqB,CAAC,QAAQ,CAAC;YAC5C,gBAAgB;YAChB,OAAO,EAAE,WAAW;YACpB,mBAAmB,EAAE,uBAAuB;SAC5C,CAAC;QACF,MAAM,OAAO,GAAiC;YAC7C,GAAG,WAAW;YACd,oBAAoB,EAAE,GAAG;YACzB,gBAAgB,EAAE,YAAY;YAC9B,iBAAiB,EAAE,GAAG;YACtB,uBAAuB,EAAE;gBACxB,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,qBAAqB,EAAE,IAAI;aAC3B;YACD,8BAA8B;YAC9B,oBAAoB,EAAE;gBACrB,kBAAkB,EAAE,CAAC;gBACrB,iBAAiB,EAAE,IAAI;aACvB;YACD,YAAY,EAAE;gBACb,SAAS,EAAE,gBAAgB;aAC3B;YACD,mBAAmB,EAAE,gCAAgC,CAAC,UAAU,CAAC;SACjE,CAAC;QAEF,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\nimport { takeAsync } from \"@fluid-private/stochastic-test-utils\";\nimport {\n\tDDSFuzzModel,\n\tcreateDDSFuzzSuite,\n\tDDSFuzzTestState,\n\tDDSFuzzSuiteOptions,\n} from \"@fluid-private/test-dds-utils\";\nimport { FlushMode } from \"@fluidframework/runtime-definitions\";\nimport { SharedTreeTestFactory, validateTreeConsistency } from \"../../utils.js\";\nimport { makeOpGenerator, EditGeneratorOpWeights } from \"./fuzzEditGenerators.js\";\nimport { fuzzReducer } from \"./fuzzEditReducers.js\";\nimport { deterministicIdCompressorFactory, failureDirectory, onCreate } from \"./fuzzUtils.js\";\nimport { Operation } from \"./operationTypes.js\";\n\nconst baseOptions: Partial<DDSFuzzSuiteOptions> = {\n\tnumberOfClients: 3,\n\tclientJoinOptions: {\n\t\tmaxNumberOfClients: 6,\n\t\tclientAddProbability: 0.1,\n\t},\n\treconnectProbability: 0.5,\n};\n\n/**\n * Fuzz tests in this suite are meant to exercise as much of the SharedTree code as possible and do so in the most\n * production-like manner possible. For example, these fuzz tests should not utilize branching APIs to emulate\n * multiple clients working on the same document. Instead, they should use multiple SharedTree instances, tied together\n * by a sequencing service. The tests may still use branching APIs because that's part of the normal usage of\n * SharedTree, but not as way to avoid using multiple SharedTree instances.\n *\n * The fuzz tests should validate that the clients do not crash and that their document states do not diverge.\n * See the \"Fuzz - Targeted\" test suite for tests that validate more specific code paths or invariants.\n */\ndescribe(\"Fuzz - Top-Level\", () => {\n\tconst runsPerBatch = 50;\n\tconst opsPerRun = 20;\n\t// TODO: Enable other types of ops.\n\tconst editGeneratorOpWeights: Partial<EditGeneratorOpWeights> = {\n\t\tinsert: 5,\n\t\tremove: 5,\n\t\tmove: 5,\n\t\tstart: 1,\n\t\tcommit: 1,\n\t\t// TODO: Enabling abort fails because aborting a transaction involves applying rollback ops, which may attempt to place\n\t\t// repair data content in places it already exists. This should be fixed by pending work to generate forest deltas\n\t\t// which destroy trees for rollbacks. See AB#6456 for more information.\n\t\tabort: 0,\n\t\tfieldSelection: { optional: 1, required: 1, sequence: 3, recurse: 3 },\n\t};\n\tconst generatorFactory = () => takeAsync(opsPerRun, makeOpGenerator(editGeneratorOpWeights));\n\t/**\n\t * This test suite is meant exercise all public APIs of SharedTree together, as well as all service-oriented\n\t * operations (such as summarization and stashed ops).\n\t */\n\tdescribe(\"Everything\", () => {\n\t\tconst model: DDSFuzzModel<\n\t\t\tSharedTreeTestFactory,\n\t\t\tOperation,\n\t\t\tDDSFuzzTestState<SharedTreeTestFactory>\n\t\t> = {\n\t\t\tworkloadName: \"SharedTree\",\n\t\t\tfactory: new SharedTreeTestFactory(onCreate),\n\t\t\tgeneratorFactory,\n\t\t\treducer: fuzzReducer,\n\t\t\tvalidateConsistency: validateTreeConsistency,\n\t\t};\n\t\tconst options: Partial<DDSFuzzSuiteOptions> = {\n\t\t\t...baseOptions,\n\t\t\tdefaultTestCount: runsPerBatch,\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: failureDirectory,\n\t\t\t},\n\t\t\tclientJoinOptions: {\n\t\t\t\tclientAddProbability: 0,\n\t\t\t\tmaxNumberOfClients: 3,\n\t\t\t},\n\t\t\t// AB#7162: enabling rehydrate in these tests hits 0x744 and 0x79d. Disabling rehydrate for now\n\t\t\t// and using the default number of ops before attach.\n\t\t\tdetachedStartOptions: {\n\t\t\t\tnumOpsBeforeAttach: 5,\n\t\t\t\trehydrateDisabled: true,\n\t\t\t},\n\t\t\treconnectProbability: 0.1,\n\t\t\tidCompressorFactory: deterministicIdCompressorFactory(0xdeadbeef),\n\t\t};\n\t\tcreateDDSFuzzSuite(model, options);\n\t});\n\n\tdescribe(\"Batch rebasing\", () => {\n\t\tconst model: DDSFuzzModel<\n\t\t\tSharedTreeTestFactory,\n\t\t\tOperation,\n\t\t\tDDSFuzzTestState<SharedTreeTestFactory>\n\t\t> = {\n\t\t\tworkloadName: \"SharedTree rebasing\",\n\t\t\tfactory: new SharedTreeTestFactory(onCreate),\n\t\t\tgeneratorFactory,\n\t\t\treducer: fuzzReducer,\n\t\t\tvalidateConsistency: validateTreeConsistency,\n\t\t};\n\t\tconst options: Partial<DDSFuzzSuiteOptions> = {\n\t\t\t...baseOptions,\n\t\t\treconnectProbability: 0.0,\n\t\t\tdefaultTestCount: runsPerBatch,\n\t\t\trebaseProbability: 0.2,\n\t\t\tcontainerRuntimeOptions: {\n\t\t\t\tflushMode: FlushMode.TurnBased,\n\t\t\t\tenableGroupedBatching: true,\n\t\t\t},\n\t\t\t// AB#7162: see comment above.\n\t\t\tdetachedStartOptions: {\n\t\t\t\tnumOpsBeforeAttach: 5,\n\t\t\t\trehydrateDisabled: true,\n\t\t\t},\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: failureDirectory,\n\t\t\t},\n\t\t\tidCompressorFactory: deterministicIdCompressorFactory(0xdeadbeef),\n\t\t};\n\n\t\tcreateDDSFuzzSuite(model, options);\n\t});\n});\n"]}

package/lib/test/shared-tree/fuzz/undoRedo.fuzz.spec.d.ts

@@ -1,6 +0,0 @@
-/*!
- * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
- * Licensed under the MIT License.
- */
-export {};
-//# sourceMappingURL=undoRedo.fuzz.spec.d.ts.map

package/lib/test/shared-tree/fuzz/undoRedo.fuzz.spec.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"undoRedo.fuzz.spec.d.ts","sourceRoot":"","sources":["../../../../src/test/shared-tree/fuzz/undoRedo.fuzz.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/lib/test/shared-tree/fuzz/undoRedo.fuzz.spec.js

@@ -1,220 +0,0 @@
-/*!
- * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
- * Licensed under the MIT License.
- */
-import { strict as assert } from "assert";
-import { takeAsync } from "@fluid-private/stochastic-test-utils";
-import { createDDSFuzzSuite, } from "@fluid-private/test-dds-utils";
-import { TypedEventEmitter } from "@fluid-internal/client-utils";
-import { SharedTreeTestFactory, createTestUndoRedoStacks, toJsonableTree, validateTree, validateTreeConsistency, } from "../../utils.js";
-import { makeOpGenerator, viewFromState, } from "./fuzzEditGenerators.js";
-import { fuzzReducer } from "./fuzzEditReducers.js";
-import { createAnchors, failureDirectory, isRevertibleSharedTreeView, onCreate, validateAnchors, } from "./fuzzUtils.js";
-describe("Fuzz - undo/redo", () => {
-    const opsPerRun = 20;
-    const runsPerBatch = 20;
-    const undoRedoWeights = {
-        insert: 1,
-        remove: 1,
-    };
-    describe.skip("Inorder undo/redo matches the initial/final state", () => {
-        const generatorFactory = () => takeAsync(opsPerRun, makeOpGenerator(undoRedoWeights));
-        const model = {
-            workloadName: "SharedTree",
-            factory: new SharedTreeTestFactory(onCreate),
-            generatorFactory,
-            reducer: fuzzReducer,
-            validateConsistency: () => { },
-        };
-        const emitter = new TypedEventEmitter();
-        emitter.on("testStart", (initialState) => {
-            const tree = viewFromState(initialState).checkout;
-            initialState.initialTreeState = toJsonableTree(tree);
-            initialState.anchors = [];
-            for (const client of initialState.clients) {
-                const view = viewFromState(initialState, client)
-                    .checkout;
-                const { undoStack, redoStack, unsubscribe } = createTestUndoRedoStacks(view.events);
-                view.undoStack = undoStack;
-                view.redoStack = redoStack;
-                view.unsubscribe = unsubscribe;
-                initialState.anchors.push(createAnchors(view));
-            }
-        });
-        emitter.on("testEnd", (finalState) => {
-            const anchors = finalState.anchors ?? assert.fail("Anchors should be defined");
-            const finalTreeStates = [];
-            // undo all of the changes and validate against initialTreeState for each tree
-            for (const [i, client] of finalState.clients.entries()) {
-                const tree = viewFromState(finalState, client).checkout;
-                assert(isRevertibleSharedTreeView(tree));
-                // save final tree states to validate redo later
-                finalTreeStates.push(toJsonableTree(tree));
-                /**
-                 * TODO: Currently this for loop is used to call undo() "opsPerRun" number of times.
-                 * Once the undo stack exposed, remove this array and use the stack to keep track instead.
-                 */
-                for (let j = 0; j < opsPerRun; j++) {
-                    tree.undoStack.pop()?.revert();
-                }
-            }
-            // synchronize clients after undo
-            finalState.containerRuntimeFactory.processAllMessages();
-            // validate the current state of the clients with the initial state, and check anchor stability
-            for (const [i, client] of finalState.clients.entries()) {
-                assert(finalState.initialTreeState !== undefined);
-                const view = viewFromState(finalState, client).checkout;
-                validateTree(view, finalState.initialTreeState);
-                validateAnchors(view, anchors[i], true);
-            }
-            // redo all of the undone changes and validate against the finalTreeState for each tree
-            for (const [i, client] of finalState.clients.entries()) {
-                const tree = viewFromState(finalState, client).checkout;
-                assert(isRevertibleSharedTreeView(tree));
-                for (let j = 0; j < opsPerRun; j++) {
-                    tree.redoStack.pop()?.revert();
-                }
-                validateTree(tree, finalTreeStates[i]);
-            }
-            for (const client of finalState.clients) {
-                const view = viewFromState(finalState, client).checkout;
-                assert(isRevertibleSharedTreeView(view));
-                view.unsubscribe();
-            }
-        });
-        createDDSFuzzSuite(model, {
-            defaultTestCount: runsPerBatch,
-            numberOfClients: 3,
-            emitter,
-            saveFailures: {
-                directory: failureDirectory,
-            },
-        });
-    });
-    // Generally broken with multiple issues:
-    // AB#5747 tracks root-causing these and re-enabling.
-    describe.skip("out of order undo matches the initial state", () => {
-        const generatorFactory = () => takeAsync(opsPerRun, makeOpGenerator(undoRedoWeights));
-        const model = {
-            workloadName: "undo-out-of-order",
-            factory: new SharedTreeTestFactory(onCreate),
-            generatorFactory,
-            reducer: fuzzReducer,
-            validateConsistency: () => { },
-        };
-        const emitter = new TypedEventEmitter();
-        emitter.on("testStart", (initialState) => {
-            initialState.initialTreeState = initialState.clients[0].channel.contentSnapshot().tree;
-            initialState.anchors = [];
-            // creates an initial anchor for each tree
-            for (const client of initialState.clients) {
-                const view = viewFromState(initialState, client)
-                    .checkout;
-                const { undoStack, redoStack, unsubscribe } = createTestUndoRedoStacks(view.events);
-                view.undoStack = undoStack;
-                view.redoStack = redoStack;
-                view.unsubscribe = unsubscribe;
-                initialState.anchors.push(createAnchors(view));
-            }
-        });
-        emitter.on("testEnd", (finalState) => {
-            const clients = finalState.clients;
-            const anchors = finalState.anchors ?? assert.fail("Anchors should be defined");
-            /**
-             * TODO: Currently this array is used to track that undo() is called "opsPerRun" number of times.
-             * Once the undo stack exposed, remove this array and use the stack to keep track instead.
-             */
-            const undoOrderByClientIndex = Array.from({ length: opsPerRun * clients.length }, (_, index) => Math.floor(index / opsPerRun));
-            finalState.random.shuffle(undoOrderByClientIndex);
-            // call undo() until trees contain no more edits to undo
-            for (const clientIndex of undoOrderByClientIndex) {
-                const view = viewFromState(finalState, finalState.clients[clientIndex]).checkout;
-                assert(isRevertibleSharedTreeView(view));
-                view.undoStack.pop()?.revert();
-            }
-            // synchronize clients after undo
-            finalState.containerRuntimeFactory.processAllMessages();
-            // validate the current state of the clients with the initial state, and check anchor stability
-            assert(finalState.anchors !== undefined);
-            for (const [i, client] of finalState.clients.entries()) {
-                const view = viewFromState(finalState, client).checkout;
-                assert(finalState.initialTreeState !== undefined);
-                validateTree(view, finalState.initialTreeState);
-                validateAnchors(view, anchors[i], true);
-            }
-            for (const client of finalState.clients) {
-                const view = viewFromState(finalState, client).checkout;
-                assert(isRevertibleSharedTreeView(view));
-                view.unsubscribe();
-            }
-        });
-        createDDSFuzzSuite(model, {
-            defaultTestCount: runsPerBatch,
-            numberOfClients: 3,
-            emitter,
-            detachedStartOptions: {
-                numOpsBeforeAttach: 0,
-            },
-            saveFailures: {
-                directory: failureDirectory,
-            },
-            skipMinimization: true,
-        });
-    });
-    const unSequencedUndoRedoWeights = {
-        insert: 1,
-        remove: 1,
-        undo: 1,
-        redo: 1,
-    };
-    // These tests generally fail with 0x370 and 0x7aa.
-    // See the test case "can rebase over successive sets" for a minimized version of 0x370.
-    // 0x7aa needs to be root-caused.
-    describe.skip("synchronization after calling undo on unsequenced edits", () => {
-        const generatorFactory = () => takeAsync(opsPerRun, makeOpGenerator(unSequencedUndoRedoWeights));
-        const model = {
-            workloadName: "undo-unsequenced",
-            factory: new SharedTreeTestFactory(onCreate),
-            generatorFactory,
-            reducer: fuzzReducer,
-            validateConsistency: validateTreeConsistency,
-        };
-        const emitter = new TypedEventEmitter();
-        emitter.on("testStart", (initialState) => {
-            // set up undo and redo stacks for each client
-            for (const client of initialState.clients) {
-                const view = viewFromState(initialState, client)
-                    .checkout;
-                const { undoStack, redoStack, unsubscribe } = createTestUndoRedoStacks(view.events);
-                view.undoStack = undoStack;
-                view.redoStack = redoStack;
-                view.unsubscribe = unsubscribe;
-            }
-        });
-        emitter.on("testEnd", (finalState) => {
-            // synchronize clients after undo
-            finalState.containerRuntimeFactory.processAllMessages();
-            const expectedTree = finalState.summarizerClient.channel.contentSnapshot().tree;
-            for (const client of finalState.clients) {
-                const view = viewFromState(finalState, client).checkout;
-                validateTree(view, expectedTree);
-            }
-        });
-        createDDSFuzzSuite(model, {
-            defaultTestCount: runsPerBatch,
-            numberOfClients: 3,
-            emitter,
-            validationStrategy: { type: "fixedInterval", interval: opsPerRun * 2 },
-            // This test is targeted at long-running undo/redo scenarios, so having a single client start detached and later attach
-            // is not particularly interesting
-            detachedStartOptions: {
-                numOpsBeforeAttach: 0,
-            },
-            saveFailures: {
-                directory: failureDirectory,
-            },
-            skipMinimization: true,
-        });
-    });
-});
-//# sourceMappingURL=undoRedo.fuzz.spec.js.map

package/lib/test/shared-tree/fuzz/undoRedo.fuzz.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"undoRedo.fuzz.spec.js","sourceRoot":"","sources":["../../../../src/test/shared-tree/fuzz/undoRedo.fuzz.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAAkB,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,EAGN,kBAAkB,GAElB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEjE,OAAO,EACN,qBAAqB,EACrB,wBAAwB,EACxB,cAAc,EACd,YAAY,EACZ,uBAAuB,GACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACN,eAAe,EAGf,aAAa,GACb,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAEN,aAAa,EACb,gBAAgB,EAChB,0BAA0B,EAC1B,QAAQ,EACR,eAAe,GACf,MAAM,gBAAgB,CAAC;AAYxB,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IACjC,MAAM,SAAS,GAAG,EAAE,CAAC;IACrB,MAAM,YAAY,GAAG,EAAE,CAAC;IAExB,MAAM,eAAe,GAAoC;QACxD,MAAM,EAAE,CAAC;QACT,MAAM,EAAE,CAAC;KACT,CAAC;IAEF,QAAQ,CAAC,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;QACvE,MAAM,gBAAgB,GAAG,GAAqD,EAAE,CAC/E,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC;QAExD,MAAM,KAAK,GAIP;YACH,YAAY,EAAE,YAAY;YAC1B,OAAO,EAAE,IAAI,qBAAqB,CAAC,QAAQ,CAAC;YAC5C,gBAAgB;YAChB,OAAO,EAAE,WAAW;YACpB,mBAAmB,EAAE,GAAG,EAAE,GAAE,CAAC;SAC7B,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAwB,CAAC;QAC9D,OAAO,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,YAAmC,EAAE,EAAE;YAC/D,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC;YAClD,YAAY,CAAC,gBAAgB,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;YACrD,YAAY,CAAC,OAAO,GAAG,EAAE,CAAC;YAC1B,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,OAAO,EAAE;gBAC1C,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC;qBAC9C,QAAoC,CAAC;gBACvC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpF,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;gBAC3B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;gBAC3B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;gBAC/B,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;aAC/C;QACF,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,UAAiC,EAAE,EAAE;YAC3D,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YAE/E,MAAM,eAAe,GAAG,EAAE,CAAC;YAC3B,8EAA8E;YAC9E,KAAK,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE;gBACvD,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC;gBACxD,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC;gBAEzC,gDAAgD;gBAChD,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;gBAE3C;;;mBAGG;gBACH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE;oBACnC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC;iBAC/B;aACD;YAED,iCAAiC;YACjC,UAAU,CAAC,uBAAuB,CAAC,kBAAkB,EAAE,CAAC;YAExD,+FAA+F;YAC/F,KAAK,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE;gBACvD,MAAM,CAAC,UAAU,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC;gBAClD,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC;gBACxD,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC;gBAChD,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;aACxC;YAED,uFAAuF;YACvF,KAAK,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE;gBACvD,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC;gBACxD,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE;oBACnC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC;iBAC/B;gBACD,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;aACvC;YAED,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE;gBACxC,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC;gBACxD,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzC,IAAI,CAAC,WAAW,EAAE,CAAC;aACnB;QACF,CAAC,CAAC,CAAC;QACH,kBAAkB,CAAC,KAAK,EAAE;YACzB,gBAAgB,EAAE,YAAY;YAC9B,eAAe,EAAE,CAAC;YAClB,OAAO;YACP,YAAY,EAAE;gBACb,SAAS,EAAE,gBAAgB;aAC3B;SACD,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,yCAAyC;IACzC,qDAAqD;IACrD,QAAQ,CAAC,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACjE,MAAM,gBAAgB,GAAG,GAAqD,EAAE,CAC/E,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC;QAExD,MAAM,KAAK,GAIP;YACH,YAAY,EAAE,mBAAmB;YACjC,OAAO,EAAE,IAAI,qBAAqB,CAAC,QAAQ,CAAC;YAC5C,gBAAgB;YAChB,OAAO,EAAE,WAAW;YACpB,mBAAmB,EAAE,GAAG,EAAE,GAAE,CAAC;SAC7B,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAwB,CAAC;QAC9D,OAAO,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,YAAmC,EAAE,EAAE;YAC/D,YAAY,CAAC,gBAAgB,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC;YACvF,YAAY,CAAC,OAAO,GAAG,EAAE,CAAC;YAC1B,0CAA0C;YAC1C,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,OAAO,EAAE;gBAC1C,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC;qBAC9C,QAAoC,CAAC;gBACvC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpF,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;gBAC3B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;gBAC3B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;gBAC/B,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;aAC/C;QACF,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,UAAiC,EAAE,EAAE;YAC3D,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC;YACnC,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YAE/E;;;eAGG;YACH,MAAM,sBAAsB,GAAG,KAAK,CAAC,IAAI,CACxC,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,EAAE,EACtC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC,CAC3C,CAAC;YACF,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;YAClD,wDAAwD;YACxD,KAAK,MAAM,WAAW,IAAI,sBAAsB,EAAE;gBACjD,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACjF,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC;aAC/B;YACD,iCAAiC;YACjC,UAAU,CAAC,uBAAuB,CAAC,kBAAkB,EAAE,CAAC;YAExD,+FAA+F;YAC/F,MAAM,CAAC,UAAU,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;YACzC,KAAK,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE;gBACvD,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC;gBACxD,MAAM,CAAC,UAAU,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC;gBAClD,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC;gBAChD,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;aACxC;YAED,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE;gBACxC,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC;gBACxD,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzC,IAAI,CAAC,WAAW,EAAE,CAAC;aACnB;QACF,CAAC,CAAC,CAAC;QACH,kBAAkB,CAAC,KAAK,EAAE;YACzB,gBAAgB,EAAE,YAAY;YAC9B,eAAe,EAAE,CAAC;YAClB,OAAO;YACP,oBAAoB,EAAE;gBACrB,kBAAkB,EAAE,CAAC;aACrB;YACD,YAAY,EAAE;gBACb,SAAS,EAAE,gBAAgB;aAC3B;YACD,gBAAgB,EAAE,IAAI;SACtB,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,0BAA0B,GAAoC;QACnE,MAAM,EAAE,CAAC;QACT,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;KACP,CAAC;IAEF,mDAAmD;IACnD,wFAAwF;IACxF,iCAAiC;IACjC,QAAQ,CAAC,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;QAC7E,MAAM,gBAAgB,GAAG,GAAqD,EAAE,CAC/E,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAEnE,MAAM,KAAK,GAIP;YACH,YAAY,EAAE,kBAAkB;YAChC,OAAO,EAAE,IAAI,qBAAqB,CAAC,QAAQ,CAAC;YAC5C,gBAAgB;YAChB,OAAO,EAAE,WAAW;YACpB,mBAAmB,EAAE,uBAAuB;SAC5C,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAwB,CAAC;QAE9D,OAAO,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,YAAmC,EAAE,EAAE;YAC/D,8CAA8C;YAC9C,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,OAAO,EAAE;gBAC1C,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC;qBAC9C,QAAoC,CAAC;gBACvC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpF,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;gBAC3B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;gBAC3B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;aAC/B;QACF,CAAC,CAAC,CAAC;QAEH,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,UAAiC,EAAE,EAAE;YAC3D,iCAAiC;YACjC,UAAU,CAAC,uBAAuB,CAAC,kBAAkB,EAAE,CAAC;YACxD,MAAM,YAAY,GAAG,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC;YAChF,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE;gBACxC,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC;gBACxD,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;aACjC;QACF,CAAC,CAAC,CAAC;QACH,kBAAkB,CAAC,KAAK,EAAE;YACzB,gBAAgB,EAAE,YAAY;YAC9B,eAAe,EAAE,CAAC;YAClB,OAAO;YACP,kBAAkB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,SAAS,GAAG,CAAC,EAAE;YACtE,uHAAuH;YACvH,kCAAkC;YAClC,oBAAoB,EAAE;gBACrB,kBAAkB,EAAE,CAAC;aACrB;YACD,YAAY,EAAE;gBACb,SAAS,EAAE,gBAAgB;aAC3B;YACD,gBAAgB,EAAE,IAAI;SACtB,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { strict as assert } from \"assert\";\nimport { AsyncGenerator, takeAsync } from \"@fluid-private/stochastic-test-utils\";\nimport {\n\tDDSFuzzModel,\n\tDDSFuzzTestState,\n\tcreateDDSFuzzSuite,\n\tDDSFuzzHarnessEvents,\n} from \"@fluid-private/test-dds-utils\";\nimport { TypedEventEmitter } from \"@fluid-internal/client-utils\";\nimport { UpPath, Anchor, JsonableTree, Value } from \"../../../core/index.js\";\nimport {\n\tSharedTreeTestFactory,\n\tcreateTestUndoRedoStacks,\n\ttoJsonableTree,\n\tvalidateTree,\n\tvalidateTreeConsistency,\n} from \"../../utils.js\";\nimport {\n\tmakeOpGenerator,\n\tEditGeneratorOpWeights,\n\tFuzzTestState,\n\tviewFromState,\n} from \"./fuzzEditGenerators.js\";\nimport { fuzzReducer } from \"./fuzzEditReducers.js\";\nimport {\n\tRevertibleSharedTreeView,\n\tcreateAnchors,\n\tfailureDirectory,\n\tisRevertibleSharedTreeView,\n\tonCreate,\n\tvalidateAnchors,\n} from \"./fuzzUtils.js\";\nimport { Operation } from \"./operationTypes.js\";\n\n/**\n * This interface is meant to be used for tests that require you to store a branch of a tree\n */\ninterface UndoRedoFuzzTestState extends FuzzTestState {\n\tinitialTreeState?: JsonableTree[];\n\t// Parallel array to `clients`: set in testStart\n\tanchors?: Map<Anchor, [UpPath, Value]>[];\n}\n\ndescribe(\"Fuzz - undo/redo\", () => {\n\tconst opsPerRun = 20;\n\tconst runsPerBatch = 20;\n\n\tconst undoRedoWeights: Partial<EditGeneratorOpWeights> = {\n\t\tinsert: 1,\n\t\tremove: 1,\n\t};\n\n\tdescribe.skip(\"Inorder undo/redo matches the initial/final state\", () => {\n\t\tconst generatorFactory = (): AsyncGenerator<Operation, UndoRedoFuzzTestState> =>\n\t\t\ttakeAsync(opsPerRun, makeOpGenerator(undoRedoWeights));\n\n\t\tconst model: DDSFuzzModel<\n\t\t\tSharedTreeTestFactory,\n\t\t\tOperation,\n\t\t\tDDSFuzzTestState<SharedTreeTestFactory>\n\t\t> = {\n\t\t\tworkloadName: \"SharedTree\",\n\t\t\tfactory: new SharedTreeTestFactory(onCreate),\n\t\t\tgeneratorFactory,\n\t\t\treducer: fuzzReducer,\n\t\t\tvalidateConsistency: () => {},\n\t\t};\n\t\tconst emitter = new TypedEventEmitter<DDSFuzzHarnessEvents>();\n\t\temitter.on(\"testStart\", (initialState: UndoRedoFuzzTestState) => {\n\t\t\tconst tree = viewFromState(initialState).checkout;\n\t\t\tinitialState.initialTreeState = toJsonableTree(tree);\n\t\t\tinitialState.anchors = [];\n\t\t\tfor (const client of initialState.clients) {\n\t\t\t\tconst view = viewFromState(initialState, client)\n\t\t\t\t\t.checkout as RevertibleSharedTreeView;\n\t\t\t\tconst { undoStack, redoStack, unsubscribe } = createTestUndoRedoStacks(view.events);\n\t\t\t\tview.undoStack = undoStack;\n\t\t\t\tview.redoStack = redoStack;\n\t\t\t\tview.unsubscribe = unsubscribe;\n\t\t\t\tinitialState.anchors.push(createAnchors(view));\n\t\t\t}\n\t\t});\n\t\temitter.on(\"testEnd\", (finalState: UndoRedoFuzzTestState) => {\n\t\t\tconst anchors = finalState.anchors ?? assert.fail(\"Anchors should be defined\");\n\n\t\t\tconst finalTreeStates = [];\n\t\t\t// undo all of the changes and validate against initialTreeState for each tree\n\t\t\tfor (const [i, client] of finalState.clients.entries()) {\n\t\t\t\tconst tree = viewFromState(finalState, client).checkout;\n\t\t\t\tassert(isRevertibleSharedTreeView(tree));\n\n\t\t\t\t// save final tree states to validate redo later\n\t\t\t\tfinalTreeStates.push(toJsonableTree(tree));\n\n\t\t\t\t/**\n\t\t\t\t * TODO: Currently this for loop is used to call undo() \"opsPerRun\" number of times.\n\t\t\t\t * Once the undo stack exposed, remove this array and use the stack to keep track instead.\n\t\t\t\t */\n\t\t\t\tfor (let j = 0; j < opsPerRun; j++) {\n\t\t\t\t\ttree.undoStack.pop()?.revert();\n\t\t\t\t}\n\t\t\t}\n\n\t\t\t// synchronize clients after undo\n\t\t\tfinalState.containerRuntimeFactory.processAllMessages();\n\n\t\t\t// validate the current state of the clients with the initial state, and check anchor stability\n\t\t\tfor (const [i, client] of finalState.clients.entries()) {\n\t\t\t\tassert(finalState.initialTreeState !== undefined);\n\t\t\t\tconst view = viewFromState(finalState, client).checkout;\n\t\t\t\tvalidateTree(view, finalState.initialTreeState);\n\t\t\t\tvalidateAnchors(view, anchors[i], true);\n\t\t\t}\n\n\t\t\t// redo all of the undone changes and validate against the finalTreeState for each tree\n\t\t\tfor (const [i, client] of finalState.clients.entries()) {\n\t\t\t\tconst tree = viewFromState(finalState, client).checkout;\n\t\t\t\tassert(isRevertibleSharedTreeView(tree));\n\t\t\t\tfor (let j = 0; j < opsPerRun; j++) {\n\t\t\t\t\ttree.redoStack.pop()?.revert();\n\t\t\t\t}\n\t\t\t\tvalidateTree(tree, finalTreeStates[i]);\n\t\t\t}\n\n\t\t\tfor (const client of finalState.clients) {\n\t\t\t\tconst view = viewFromState(finalState, client).checkout;\n\t\t\t\tassert(isRevertibleSharedTreeView(view));\n\t\t\t\tview.unsubscribe();\n\t\t\t}\n\t\t});\n\t\tcreateDDSFuzzSuite(model, {\n\t\t\tdefaultTestCount: runsPerBatch,\n\t\t\tnumberOfClients: 3,\n\t\t\temitter,\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: failureDirectory,\n\t\t\t},\n\t\t});\n\t});\n\n\t// Generally broken with multiple issues:\n\t// AB#5747 tracks root-causing these and re-enabling.\n\tdescribe.skip(\"out of order undo matches the initial state\", () => {\n\t\tconst generatorFactory = (): AsyncGenerator<Operation, UndoRedoFuzzTestState> =>\n\t\t\ttakeAsync(opsPerRun, makeOpGenerator(undoRedoWeights));\n\n\t\tconst model: DDSFuzzModel<\n\t\t\tSharedTreeTestFactory,\n\t\t\tOperation,\n\t\t\tDDSFuzzTestState<SharedTreeTestFactory>\n\t\t> = {\n\t\t\tworkloadName: \"undo-out-of-order\",\n\t\t\tfactory: new SharedTreeTestFactory(onCreate),\n\t\t\tgeneratorFactory,\n\t\t\treducer: fuzzReducer,\n\t\t\tvalidateConsistency: () => {},\n\t\t};\n\t\tconst emitter = new TypedEventEmitter<DDSFuzzHarnessEvents>();\n\t\temitter.on(\"testStart\", (initialState: UndoRedoFuzzTestState) => {\n\t\t\tinitialState.initialTreeState = initialState.clients[0].channel.contentSnapshot().tree;\n\t\t\tinitialState.anchors = [];\n\t\t\t// creates an initial anchor for each tree\n\t\t\tfor (const client of initialState.clients) {\n\t\t\t\tconst view = viewFromState(initialState, client)\n\t\t\t\t\t.checkout as RevertibleSharedTreeView;\n\t\t\t\tconst { undoStack, redoStack, unsubscribe } = createTestUndoRedoStacks(view.events);\n\t\t\t\tview.undoStack = undoStack;\n\t\t\t\tview.redoStack = redoStack;\n\t\t\t\tview.unsubscribe = unsubscribe;\n\t\t\t\tinitialState.anchors.push(createAnchors(view));\n\t\t\t}\n\t\t});\n\t\temitter.on(\"testEnd\", (finalState: UndoRedoFuzzTestState) => {\n\t\t\tconst clients = finalState.clients;\n\t\t\tconst anchors = finalState.anchors ?? assert.fail(\"Anchors should be defined\");\n\n\t\t\t/**\n\t\t\t * TODO: Currently this array is used to track that undo() is called \"opsPerRun\" number of times.\n\t\t\t * Once the undo stack exposed, remove this array and use the stack to keep track instead.\n\t\t\t */\n\t\t\tconst undoOrderByClientIndex = Array.from(\n\t\t\t\t{ length: opsPerRun * clients.length },\n\t\t\t\t(_, index) => Math.floor(index / opsPerRun),\n\t\t\t);\n\t\t\tfinalState.random.shuffle(undoOrderByClientIndex);\n\t\t\t// call undo() until trees contain no more edits to undo\n\t\t\tfor (const clientIndex of undoOrderByClientIndex) {\n\t\t\t\tconst view = viewFromState(finalState, finalState.clients[clientIndex]).checkout;\n\t\t\t\tassert(isRevertibleSharedTreeView(view));\n\t\t\t\tview.undoStack.pop()?.revert();\n\t\t\t}\n\t\t\t// synchronize clients after undo\n\t\t\tfinalState.containerRuntimeFactory.processAllMessages();\n\n\t\t\t// validate the current state of the clients with the initial state, and check anchor stability\n\t\t\tassert(finalState.anchors !== undefined);\n\t\t\tfor (const [i, client] of finalState.clients.entries()) {\n\t\t\t\tconst view = viewFromState(finalState, client).checkout;\n\t\t\t\tassert(finalState.initialTreeState !== undefined);\n\t\t\t\tvalidateTree(view, finalState.initialTreeState);\n\t\t\t\tvalidateAnchors(view, anchors[i], true);\n\t\t\t}\n\n\t\t\tfor (const client of finalState.clients) {\n\t\t\t\tconst view = viewFromState(finalState, client).checkout;\n\t\t\t\tassert(isRevertibleSharedTreeView(view));\n\t\t\t\tview.unsubscribe();\n\t\t\t}\n\t\t});\n\t\tcreateDDSFuzzSuite(model, {\n\t\t\tdefaultTestCount: runsPerBatch,\n\t\t\tnumberOfClients: 3,\n\t\t\temitter,\n\t\t\tdetachedStartOptions: {\n\t\t\t\tnumOpsBeforeAttach: 0,\n\t\t\t},\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: failureDirectory,\n\t\t\t},\n\t\t\tskipMinimization: true,\n\t\t});\n\t});\n\n\tconst unSequencedUndoRedoWeights: Partial<EditGeneratorOpWeights> = {\n\t\tinsert: 1,\n\t\tremove: 1,\n\t\tundo: 1,\n\t\tredo: 1,\n\t};\n\n\t// These tests generally fail with 0x370 and 0x7aa.\n\t// See the test case \"can rebase over successive sets\" for a minimized version of 0x370.\n\t// 0x7aa needs to be root-caused.\n\tdescribe.skip(\"synchronization after calling undo on unsequenced edits\", () => {\n\t\tconst generatorFactory = (): AsyncGenerator<Operation, UndoRedoFuzzTestState> =>\n\t\t\ttakeAsync(opsPerRun, makeOpGenerator(unSequencedUndoRedoWeights));\n\n\t\tconst model: DDSFuzzModel<\n\t\t\tSharedTreeTestFactory,\n\t\t\tOperation,\n\t\t\tDDSFuzzTestState<SharedTreeTestFactory>\n\t\t> = {\n\t\t\tworkloadName: \"undo-unsequenced\",\n\t\t\tfactory: new SharedTreeTestFactory(onCreate),\n\t\t\tgeneratorFactory,\n\t\t\treducer: fuzzReducer,\n\t\t\tvalidateConsistency: validateTreeConsistency,\n\t\t};\n\t\tconst emitter = new TypedEventEmitter<DDSFuzzHarnessEvents>();\n\n\t\temitter.on(\"testStart\", (initialState: UndoRedoFuzzTestState) => {\n\t\t\t// set up undo and redo stacks for each client\n\t\t\tfor (const client of initialState.clients) {\n\t\t\t\tconst view = viewFromState(initialState, client)\n\t\t\t\t\t.checkout as RevertibleSharedTreeView;\n\t\t\t\tconst { undoStack, redoStack, unsubscribe } = createTestUndoRedoStacks(view.events);\n\t\t\t\tview.undoStack = undoStack;\n\t\t\t\tview.redoStack = redoStack;\n\t\t\t\tview.unsubscribe = unsubscribe;\n\t\t\t}\n\t\t});\n\n\t\temitter.on(\"testEnd\", (finalState: UndoRedoFuzzTestState) => {\n\t\t\t// synchronize clients after undo\n\t\t\tfinalState.containerRuntimeFactory.processAllMessages();\n\t\t\tconst expectedTree = finalState.summarizerClient.channel.contentSnapshot().tree;\n\t\t\tfor (const client of finalState.clients) {\n\t\t\t\tconst view = viewFromState(finalState, client).checkout;\n\t\t\t\tvalidateTree(view, expectedTree);\n\t\t\t}\n\t\t});\n\t\tcreateDDSFuzzSuite(model, {\n\t\t\tdefaultTestCount: runsPerBatch,\n\t\t\tnumberOfClients: 3,\n\t\t\temitter,\n\t\t\tvalidationStrategy: { type: \"fixedInterval\", interval: opsPerRun * 2 }, // interval set to prevent synchronization\n\t\t\t// This test is targeted at long-running undo/redo scenarios, so having a single client start detached and later attach\n\t\t\t// is not particularly interesting\n\t\t\tdetachedStartOptions: {\n\t\t\t\tnumOpsBeforeAttach: 0,\n\t\t\t},\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: failureDirectory,\n\t\t\t},\n\t\t\tskipMinimization: true,\n\t\t});\n\t});\n});\n"]}

package/lib/test/shared-tree/opSize.bench.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=opSize.bench.d.ts.map

package/lib/test/shared-tree/opSize.bench.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"opSize.bench.d.ts","sourceRoot":"","sources":["../../../src/test/shared-tree/opSize.bench.ts"],"names":[],"mappings":""}