this derivation will be built: /nix/store/bpsfvlwmljf1cl9if4iii6s3nk8zw308-nix-grpc-store-spec.drv building '/nix/store/bpsfvlwmljf1cl9if4iii6s3nk8zw308-nix-grpc-store-spec.drv' nix-grpc-store-spec> tribuchet: building on jamie nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedFixed::scheduler::crashes: 0, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedFixed::scheduler::crashes: 1, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 1, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 1, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 1, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 5] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 1, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 6] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 7] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 8] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1", "c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 9] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1", "c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 10] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 11] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1", "c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 12] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 13] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 14] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 15] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 16] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 17] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1", "c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 18] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 19] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 20] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 21] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 22] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 23] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 24] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 25] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 26] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 27] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 28] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 29] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 30] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [ok] No violation found (480ms at 62500 traces/second). nix-grpc-store-spec> Trace length statistics: max=26, min=15, average=18.45 nix-grpc-store-spec> You may increase --max-samples and --max-steps. nix-grpc-store-spec> Use --verbosity to produce more (or less) output. nix-grpc-store-spec> Use --seed=0xec859a2e53e4fa8a --backend=rust to reproduce. nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedFixed::scheduler::crashes: 0, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 0, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 0, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1", "c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 1, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1", "c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 1, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 5] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 1, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 6] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 7] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 8] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 9] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1", "c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 10] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 11] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1", "c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 12] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 13] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 14] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 15] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 16] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c1", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 17] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c1", "c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 18] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 19] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 20] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 21] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c1", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 22] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c1", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 23] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c1", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 24] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c1", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 25] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 26] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set("c1"), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 27] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 28] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w2")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 29] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 30] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedFixed::scheduler::published: 1, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set("w2"), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [ok] No violation found (489ms at 61350 traces/second). nix-grpc-store-spec> Trace length statistics: max=31, min=16, average=19.40 nix-grpc-store-spec> You may increase --max-samples and --max-steps. nix-grpc-store-spec> Use --verbosity to produce more (or less) output. nix-grpc-store-spec> Use --seed=0x9a7416407e5e2ffd --backend=rust to reproduce. nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 0, nix-grpc-store-spec> schedNoFence::scheduler::entry: [], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 1, nix-grpc-store-spec> schedNoFence::scheduler::entry: [], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 1, nix-grpc-store-spec> schedNoFence::scheduler::entry: [], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 1, nix-grpc-store-spec> schedNoFence::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 1, nix-grpc-store-spec> schedNoFence::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 5] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: [], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 6] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: [], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 7] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: [], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 8] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 9] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 10] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 11] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set("w2"), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 1, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set("w2"), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 12] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set("w1", "w2"), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoFence::scheduler::published: 2, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set("w1", "w2"), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [violation] Found an issue (573ms at 51440 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0xe3354e57ec426b73 --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 0, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 0, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 0, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 0, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 1, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 5] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 1, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 6] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 1, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set("c2"), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [violation] Found an issue (478ms at 35950 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0xdbbd33364c9b902f --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 0, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 0, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 1, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 1, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 5] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 6] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 7] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 8] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 9] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 10] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 11] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set("c1"), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 12] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoPush::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoPush::scheduler::published: 0, nix-grpc-store-spec> schedNoPush::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoPush::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set("c2"), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set("c1"), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [violation] Found an issue (470ms at 33079 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0x915508bc6e396b1e --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 0, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 0, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 0, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 0, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 1, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 5] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 6] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 7] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 8] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 9] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 10] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set("w1"), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 1, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set("w1"), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 11] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set("w1"), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 1, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set("w1"), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 12] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set("w1", "w2"), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoReport::scheduler::published: 2, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set("w1", "w2"), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: true, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [violation] Found an issue (499ms at 55705 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0xd36551e7fc325793 --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedTerminal::scheduler::crashes: 0, nix-grpc-store-spec> schedTerminal::scheduler::entry: [], nix-grpc-store-spec> schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedTerminal::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mBuild: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mDone: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mExpect: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mResult: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mRetry: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedTerminal::scheduler::published: 0, nix-grpc-store-spec> schedTerminal::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedTerminal::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedTerminal::scheduler::crashes: 1, nix-grpc-store-spec> schedTerminal::scheduler::entry: [], nix-grpc-store-spec> schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedTerminal::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mBuild: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mDone: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mExpect: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mResult: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mRetry: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedTerminal::scheduler::published: 0, nix-grpc-store-spec> schedTerminal::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedTerminal::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedTerminal::scheduler::crashes: 1, nix-grpc-store-spec> schedTerminal::scheduler::entry: [], nix-grpc-store-spec> schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedTerminal::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mBuild: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mDone: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mExpect: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mResult: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mRetry: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedTerminal::scheduler::published: 0, nix-grpc-store-spec> schedTerminal::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedTerminal::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle), nix-grpc-store-spec> schedTerminal::scheduler::crashes: 1, nix-grpc-store-spec> schedTerminal::scheduler::entry: [], nix-grpc-store-spec> schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedTerminal::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mBuild: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mDone: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mExpect: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mResult: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mRetry: Set(), nix-grpc-store-spec> schedTerminal::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedTerminal::scheduler::published: 0, nix-grpc-store-spec> schedTerminal::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedTerminal::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [violation] Found an issue (368ms at 6375 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0xc326af39678897e1 --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> hookFixed::hook::cache: Set(), nix-grpc-store-spec> hookFixed::hook::drvUploaded: false, nix-grpc-store-spec> hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()), nix-grpc-store-spec> hookFixed::hook::phase: Query, nix-grpc-store-spec> hookFixed::hook::restarts: 0, nix-grpc-store-spec> hookFixed::hook::retries: 0, nix-grpc-store-spec> hookFixed::hook::toUpload: Set() nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> hookFixed::hook::cache: Set(), nix-grpc-store-spec> hookFixed::hook::drvUploaded: false, nix-grpc-store-spec> hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()), nix-grpc-store-spec> hookFixed::hook::phase: Query, nix-grpc-store-spec> hookFixed::hook::restarts: 1, nix-grpc-store-spec> hookFixed::hook::retries: 1, nix-grpc-store-spec> hookFixed::hook::toUpload: Set() nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> hookFixed::hook::cache: Set("in"), nix-grpc-store-spec> hookFixed::hook::drvUploaded: false, nix-grpc-store-spec> hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()), nix-grpc-store-spec> hookFixed::hook::phase: Upload, nix-grpc-store-spec> hookFixed::hook::restarts: 1, nix-grpc-store-spec> hookFixed::hook::retries: 1, nix-grpc-store-spec> hookFixed::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> hookFixed::hook::cache: Set("in"), nix-grpc-store-spec> hookFixed::hook::drvUploaded: false, nix-grpc-store-spec> hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()), nix-grpc-store-spec> hookFixed::hook::phase: Upload, nix-grpc-store-spec> hookFixed::hook::restarts: 2, nix-grpc-store-spec> hookFixed::hook::retries: 2, nix-grpc-store-spec> hookFixed::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> hookFixed::hook::cache: Set("drv", "in"), nix-grpc-store-spec> hookFixed::hook::drvUploaded: false, nix-grpc-store-spec> hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set()), nix-grpc-store-spec> hookFixed::hook::phase: Build, nix-grpc-store-spec> hookFixed::hook::restarts: 2, nix-grpc-store-spec> hookFixed::hook::retries: 2, nix-grpc-store-spec> hookFixed::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 5] nix-grpc-store-spec> { nix-grpc-store-spec> hookFixed::hook::cache: Set("drv", "in", "out"), nix-grpc-store-spec> hookFixed::hook::drvUploaded: false, nix-grpc-store-spec> hookFixed::hook::local: nix-grpc-store-spec> Map("w1" -> Set("drv", "in"), "w2" -> Set("drv", "in", "out")), nix-grpc-store-spec> hookFixed::hook::phase: Fetch, nix-grpc-store-spec> hookFixed::hook::restarts: 2, nix-grpc-store-spec> hookFixed::hook::retries: 2, nix-grpc-store-spec> hookFixed::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 6] nix-grpc-store-spec> { nix-grpc-store-spec> hookFixed::hook::cache: Set("drv", "in", "out"), nix-grpc-store-spec> hookFixed::hook::drvUploaded: false, nix-grpc-store-spec> hookFixed::hook::local: nix-grpc-store-spec> Map("w1" -> Set("drv", "in"), "w2" -> Set("drv", "in", "out")), nix-grpc-store-spec> hookFixed::hook::phase: Done, nix-grpc-store-spec> hookFixed::hook::restarts: 2, nix-grpc-store-spec> hookFixed::hook::retries: 2, nix-grpc-store-spec> hookFixed::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [ok] No violation found (158ms at 126582 traces/second). nix-grpc-store-spec> Trace length statistics: max=7, min=5, average=6.67 nix-grpc-store-spec> You may increase --max-samples and --max-steps. nix-grpc-store-spec> Use --verbosity to produce more (or less) output. nix-grpc-store-spec> Use --seed=0x36ae31427dd50481 --backend=rust to reproduce. nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> hookNoSubstituteRefs::hook::cache: Set(), nix-grpc-store-spec> hookNoSubstituteRefs::hook::drvUploaded: false, nix-grpc-store-spec> hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()), nix-grpc-store-spec> hookNoSubstituteRefs::hook::phase: Query, nix-grpc-store-spec> hookNoSubstituteRefs::hook::restarts: 0, nix-grpc-store-spec> hookNoSubstituteRefs::hook::retries: 0, nix-grpc-store-spec> hookNoSubstituteRefs::hook::toUpload: Set() nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> hookNoSubstituteRefs::hook::cache: Set("in"), nix-grpc-store-spec> hookNoSubstituteRefs::hook::drvUploaded: false, nix-grpc-store-spec> hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()), nix-grpc-store-spec> hookNoSubstituteRefs::hook::phase: Upload, nix-grpc-store-spec> hookNoSubstituteRefs::hook::restarts: 0, nix-grpc-store-spec> hookNoSubstituteRefs::hook::retries: 0, nix-grpc-store-spec> hookNoSubstituteRefs::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> hookNoSubstituteRefs::hook::cache: Set("in"), nix-grpc-store-spec> hookNoSubstituteRefs::hook::drvUploaded: false, nix-grpc-store-spec> hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()), nix-grpc-store-spec> hookNoSubstituteRefs::hook::phase: Failed, nix-grpc-store-spec> hookNoSubstituteRefs::hook::restarts: 0, nix-grpc-store-spec> hookNoSubstituteRefs::hook::retries: 0, nix-grpc-store-spec> hookNoSubstituteRefs::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [violation] Found an issue (135ms at 24756 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0xb579a5de0f5541a9 --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> hookNoSubstituteDrv::hook::cache: Set(), nix-grpc-store-spec> hookNoSubstituteDrv::hook::drvUploaded: false, nix-grpc-store-spec> hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set("in")), nix-grpc-store-spec> hookNoSubstituteDrv::hook::phase: Query, nix-grpc-store-spec> hookNoSubstituteDrv::hook::restarts: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::retries: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::toUpload: Set() nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> hookNoSubstituteDrv::hook::cache: Set("in"), nix-grpc-store-spec> hookNoSubstituteDrv::hook::drvUploaded: false, nix-grpc-store-spec> hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set("in")), nix-grpc-store-spec> hookNoSubstituteDrv::hook::phase: Upload, nix-grpc-store-spec> hookNoSubstituteDrv::hook::restarts: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::retries: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> hookNoSubstituteDrv::hook::cache: Set("drv", "in"), nix-grpc-store-spec> hookNoSubstituteDrv::hook::drvUploaded: false, nix-grpc-store-spec> hookNoSubstituteDrv::hook::local: nix-grpc-store-spec> Map("w1" -> Set(), "w2" -> Set("drv", "in")), nix-grpc-store-spec> hookNoSubstituteDrv::hook::phase: Build, nix-grpc-store-spec> hookNoSubstituteDrv::hook::restarts: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::retries: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> hookNoSubstituteDrv::hook::cache: Set("drv", "in"), nix-grpc-store-spec> hookNoSubstituteDrv::hook::drvUploaded: false, nix-grpc-store-spec> hookNoSubstituteDrv::hook::local: nix-grpc-store-spec> Map("w1" -> Set(), "w2" -> Set("drv", "in")), nix-grpc-store-spec> hookNoSubstituteDrv::hook::phase: UploadDrv, nix-grpc-store-spec> hookNoSubstituteDrv::hook::restarts: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::retries: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> hookNoSubstituteDrv::hook::cache: Set("drv", "in"), nix-grpc-store-spec> hookNoSubstituteDrv::hook::drvUploaded: true, nix-grpc-store-spec> hookNoSubstituteDrv::hook::local: nix-grpc-store-spec> Map("w1" -> Set(), "w2" -> Set("drv", "in")), nix-grpc-store-spec> hookNoSubstituteDrv::hook::phase: Build, nix-grpc-store-spec> hookNoSubstituteDrv::hook::restarts: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::retries: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 5] nix-grpc-store-spec> { nix-grpc-store-spec> hookNoSubstituteDrv::hook::cache: Set("drv", "in"), nix-grpc-store-spec> hookNoSubstituteDrv::hook::drvUploaded: true, nix-grpc-store-spec> hookNoSubstituteDrv::hook::local: nix-grpc-store-spec> Map("w1" -> Set(), "w2" -> Set("drv", "in")), nix-grpc-store-spec> hookNoSubstituteDrv::hook::phase: Failed, nix-grpc-store-spec> hookNoSubstituteDrv::hook::restarts: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::retries: 0, nix-grpc-store-spec> hookNoSubstituteDrv::hook::toUpload: Set("drv") nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [violation] Found an issue (159ms at 25610 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0x37183c3b2b2af1a --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> An example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map(), nix-grpc-store-spec> pushFixed::push::inflight: Set(), nix-grpc-store-spec> pushFixed::push::left: Map(), nix-grpc-store-spec> pushFixed::push::sent: Map() nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 1] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 1, "b" -> 1), nix-grpc-store-spec> pushFixed::push::inflight: Set((1, "a"), (1, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 2), nix-grpc-store-spec> pushFixed::push::sent: Map(1 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 1, "b" -> 1), nix-grpc-store-spec> pushFixed::push::inflight: Set((1, "a")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 1), nix-grpc-store-spec> pushFixed::push::sent: Map(1 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 1, "b" -> 1), nix-grpc-store-spec> pushFixed::push::inflight: Set(), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 0), nix-grpc-store-spec> pushFixed::push::sent: Map(1 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 3, "b" -> 3), nix-grpc-store-spec> pushFixed::push::inflight: Set((3, "a"), (3, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 0, 3 -> 2), nix-grpc-store-spec> pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 5] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 3, "b" -> 3), nix-grpc-store-spec> pushFixed::push::inflight: Set((3, "a")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 0, 3 -> 1), nix-grpc-store-spec> pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 6] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 3, "b" -> 3), nix-grpc-store-spec> pushFixed::push::inflight: Set(), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 0, 3 -> 0), nix-grpc-store-spec> pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 7] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 2, "b" -> 2), nix-grpc-store-spec> pushFixed::push::inflight: Set((2, "a"), (2, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 0, 2 -> 2, 3 -> 0), nix-grpc-store-spec> pushFixed::push::sent: nix-grpc-store-spec> Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 8] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 2, "b" -> 2), nix-grpc-store-spec> pushFixed::push::inflight: Set((2, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 0), nix-grpc-store-spec> pushFixed::push::sent: nix-grpc-store-spec> Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 9] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 2, "b" -> 2), nix-grpc-store-spec> pushFixed::push::inflight: Set(), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0), nix-grpc-store-spec> pushFixed::push::sent: nix-grpc-store-spec> Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [ok] No violation found (122ms at 163934 traces/second). nix-grpc-store-spec> Trace length statistics: max=10, min=7, average=7.98 nix-grpc-store-spec> You may increase --max-samples and --max-steps. nix-grpc-store-spec> Use --verbosity to produce more (or less) output. nix-grpc-store-spec> Use --seed=0x831eb9df604cd47d --backend=rust to reproduce. post-build step Upload coverage to codecov: ok Skipping codecov: project=Mic92/nix-grpc-store attr=checks.x86_64-linux.spec