@firfi/quint-connect/dist/runner/trace-state.js

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Predicate } from "effect";
/** @internal */
export const stripMetadata = (state) => Object.fromEntries(Object.entries(state).filter(([k]) => k !== "#meta" && !k.startsWith("mbt::")));
export const resolveNestedValue = (obj, path) => {
    let current = obj;
    for (const key of path) {
        if (!Predicate.isObject(current) || !(key in current)) {
            return undefined;
        }
        current = current[key];
    }
    return current;
};
//# sourceMappingURL=trace-state.js.map