this derivation will be built: /nix/store/9ipsxd8za7n3g0r139gpz5zrisjhlqy3-nix-grpc-store-spec.drv building '/nix/store/9ipsxd8za7n3g0r139gpz5zrisjhlqy3-nix-grpc-store-spec.drv' on 'ssh-ng://customer@mac02' building '/nix/store/9ipsxd8za7n3g0r139gpz5zrisjhlqy3-nix-grpc-store-spec.drv' nix-grpc-store-spec> Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 5% | ETA: 11s | 1574/30000 samples | 2791 samples/sRunning... [■■■■ ] 8% | ETA: 7s | 2656/30000 samples | 3988 samples/sRunning... [■■■■ ] 8% | ETA: 7s | 2656/30000 samples | 3988 samples/sRunning... [■■■■■■ ] 14% | ETA: 5s | 4458/30000 samples | 5443 samples/sRunning... [■■■■■■■ ] 18% | ETA: 5s | 5528/30000 samples | 5950 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 4s | 6575/30000 samples | 6383 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 4s | 6575/30000 samples | 6383 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 3s | 9754/30000 samples | 7378 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 3s | 9754/30000 samples | 7378 samples/sRunning... [■■■■■■■■■■■■■■ ] 36% | ETA: 3s | 10810/30000 samples | 7597 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 12652/30000 samples | 7868 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 12652/30000 samples | 7868 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 12652/30000 samples | 7868 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 2s | 14817/30000 samples | 8005 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 2s | 14817/30000 samples | 8005 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 2s | 17193/30000 samples | 8191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 2s | 17193/30000 samples | 8191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 2s | 18712/30000 samples | 8247 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 2s | 19655/30000 samples | 8276 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 1s | 21103/30000 samples | 8404 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 1s | 22135/30000 samples | 8448 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 1s | 22135/30000 samples | 8448 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 1s | 23289/30000 samples | 8441 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 1s | 24403/30000 samples | 8485 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 1s | 25289/30000 samples | 8483 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 1s | 26195/30000 samples | 8502 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 27217/30000 samples | 8551 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28389/30000 samples | 8512 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28389/30000 samples | 8512 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29269/30000 samples | 8459 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29822/30000 samples | 8370 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29822/30000 samples | 8370 samples/sAn 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::mRevoke: 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::mRevoke: 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: 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> 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::mRevoke: 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: 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" -> CIdle), 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::mRevoke: 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: 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 4] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), 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::mRevoke: 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: 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" -> CIdle), 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::mRevoke: 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: 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" -> CIdle), 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::mRevoke: 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 7] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), 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: "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(), nix-grpc-store-spec> schedFixed::scheduler::mRevoke: 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 8] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle), 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: "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("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRevoke: 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 9] 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"), 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("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRevoke: 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 10] 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(("c1", "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::mRevoke: 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 11] 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::mRevoke: 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 12] 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::mRevoke: 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 13] 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::mRevoke: 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 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(), 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::mRevoke: 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 15] 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::mRevoke: 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(("c1", "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("c2"), nix-grpc-store-spec> schedFixed::scheduler::mRevoke: 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 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::mRevoke: 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 18] 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(), 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::mRevoke: 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 19] 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::mRevoke: 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 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: "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(), nix-grpc-store-spec> schedFixed::scheduler::mRevoke: 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" -> 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::mRevoke: 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 22] 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(("c1", "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::mRevoke: 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" -> 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::mRevoke: 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 24] 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(("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::mRevoke: 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 25] 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::mRevoke: 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 26] 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::mRevoke: 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: 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 27] 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(("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(), nix-grpc-store-spec> schedFixed::scheduler::mRevoke: 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: 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 28] 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(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRevoke: 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("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> "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" -> 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("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(), nix-grpc-store-spec> schedFixed::scheduler::mRevoke: 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("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" -> CSent("w1"), "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(("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("c1"), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRevoke: 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("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 (3678ms at 8157 traces/second). nix-grpc-store-spec> Trace length statistics: max=31, min=15, average=18.76 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=0xdaff420a170cccf6 --backend=rust to reproduce. nix-grpc-store-spec> Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 2% | ETA: 5s | 800/30000 samples | 7207 samples/sRunning... [■■ ] 5% | ETA: 5s | 1539/30000 samples | 6840 samples/sRunning... [■■■ ] 7% | ETA: 5s | 2245/30000 samples | 6845 samples/sRunning... [■■■■ ] 10% | ETA: 5s | 3098/30000 samples | 6536 samples/sRunning... [■■■■ ] 10% | ETA: 5s | 3098/30000 samples | 6536 samples/sRunning... [■■■■■■ ] 14% | ETA: 4s | 4202/30000 samples | 6628 samples/sRunning... [■■■■■■■ ] 17% | ETA: 4s | 5377/30000 samples | 6606 samples/sRunning... [■■■■■■■ ] 17% | ETA: 4s | 5377/30000 samples | 6606 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 4s | 6539/30000 samples | 6578 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 4s | 6539/30000 samples | 6578 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 4s | 7378/30000 samples | 6506 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 4s | 8255/30000 samples | 6340 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 4s | 8850/30000 samples | 6219 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 4s | 8850/30000 samples | 6219 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 4s | 9415/30000 samples | 6146 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 4s | 10046/30000 samples | 6081 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 4s | 10046/30000 samples | 6081 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 4s | 11020/30000 samples | 5928 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 4s | 11696/30000 samples | 5922 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 4s | 11696/30000 samples | 5922 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 4s | 12541/30000 samples | 5822 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 4s | 12541/30000 samples | 5822 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 4s | 13295/30000 samples | 5617 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 4s | 13295/30000 samples | 5617 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 4s | 14124/30000 samples | 5340 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 4s | 14124/30000 samples | 5340 samples/sAn example execution: nix-grpc-store-spec> nix-grpc-store-spec> [State 0] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: [], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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> schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 1, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: [], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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 2] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 1, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: [], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set("c2"), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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> schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 1, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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> schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 1, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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> schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 2, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: [], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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> schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 2, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: [], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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> schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 2, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: [], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set("c1"), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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 8] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 2, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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 9] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 2, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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> schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 2, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoRevoke::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoRevoke::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::mSchedule: Set(), nix-grpc-store-spec> schedNoRevoke::scheduler::published: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoRevoke::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> [violation] Found an issue (2720ms at 5243 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0x98f0341616304b5d --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 4% | ETA: 6s | 1350/30000 samples | 5625 samples/sRunning... [■■ ] 5% | ETA: 7s | 1625/30000 samples | 4565 samples/sAn 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::mRevoke: 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::mRevoke: 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: 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> 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::mRevoke: 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: 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> 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::mRevoke: 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: 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: 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: "w1" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c1", "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(), nix-grpc-store-spec> schedNoFence::scheduler::mRevoke: 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: 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 5] 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: "w1" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c1", "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(), nix-grpc-store-spec> schedNoFence::scheduler::mRevoke: 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: 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: 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::mRevoke: 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: 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: 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" -> 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::mRevoke: 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: 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 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> 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::mRevoke: Set(), 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: 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 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: "w2" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c2", "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("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mRevoke: 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: 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 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"), ("c2", "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("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mRevoke: Set("w2"), 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: 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> 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"), ("c2", "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("c1"), nix-grpc-store-spec> schedNoFence::scheduler::mRevoke: Set("w2"), 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 12] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), 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", "w2")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(("c2", "w1")), 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::mRevoke: Set("w2"), 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 13] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), 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", "w2")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(("c2", "w1")), 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::mRevoke: Set("w2"), 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 14] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), 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", "w2")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(("c2", "w1")), 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::mRevoke: Set("w2"), 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 (398ms at 4168 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0xe61e5e7842805658 --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 1% | ETA: 7s | 502/30000 samples | 4291 samples/sAn 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::mRevoke: 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::mRevoke: 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::mRevoke: 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::mRevoke: 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" -> CQueued, "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::mRevoke: 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: 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 5] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 0, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "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(("c1", "w1")), 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::mRevoke: 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 6] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 1, nix-grpc-store-spec> schedNoPush::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "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(("c1", "w1")), 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::mRevoke: 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 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: 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(("c1", "w1")), 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("c1", "c2"), nix-grpc-store-spec> schedNoPush::scheduler::mRevoke: 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 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: 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(("c1", "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("c1", "c2"), nix-grpc-store-spec> schedNoPush::scheduler::mRevoke: 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("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 (184ms at 3516 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0x35550a22cae54fb0 --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 4% | ETA: 5s | 1293/30000 samples | 6878 samples/sRunning... [■■■ ] 6% | ETA: 5s | 1893/30000 samples | 5702 samples/sRunning... [■■■ ] 6% | ETA: 6s | 2053/30000 samples | 4741 samples/sRunning... [■■■ ] 7% | ETA: 7s | 2308/30000 samples | 4028 samples/sRunning... [■■■ ] 7% | ETA: 7s | 2308/30000 samples | 4028 samples/sRunning... [■■■ ] 7% | ETA: 7s | 2308/30000 samples | 4028 samples/sRunning... [■■■ ] 8% | ETA: 9s | 2473/30000 samples | 3134 samples/sRunning... [■■■ ] 8% | ETA: 10s | 2578/30000 samples | 2811 samples/sAn 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::mRevoke: 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" -> CQueued, "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::mRevoke: Set(), 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: 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" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 0, 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(), nix-grpc-store-spec> schedNoReport::scheduler::mRevoke: 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" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 0, 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(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRevoke: 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: 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 4] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 1, 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(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRevoke: 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: 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> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), 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("c1"), nix-grpc-store-spec> schedNoReport::scheduler::mRevoke: 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: 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> 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("c1"), nix-grpc-store-spec> schedNoReport::scheduler::mRevoke: 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: 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 7] 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("c1"), nix-grpc-store-spec> schedNoReport::scheduler::mRevoke: 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: 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> 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("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("c1"), nix-grpc-store-spec> schedNoReport::scheduler::mRevoke: 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: 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> 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("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("c1"), nix-grpc-store-spec> schedNoReport::scheduler::mRevoke: 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: 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 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("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("c1"), nix-grpc-store-spec> schedNoReport::scheduler::mRevoke: 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: 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 (970ms at 2681 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0x62feff62eaccb741 --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn 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::mRevoke: 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::mRevoke: 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::mRevoke: 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::mRevoke: 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 (60ms at 733 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0x6a13ee2ff778bae7 --backend=rust to reproduce. nix-grpc-store-spec> error: Invariant violated nix-grpc-store-spec> Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sAn 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" -> 3, "b" -> 3), nix-grpc-store-spec> pushFixed::push::inflight: Set((3, "a"), (3, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(3 -> 2), nix-grpc-store-spec> pushFixed::push::sent: Map(3 -> 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" -> 3, "b" -> 3), nix-grpc-store-spec> pushFixed::push::inflight: Set((3, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(3 -> 1), nix-grpc-store-spec> pushFixed::push::sent: Map(3 -> 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" -> 3, "b" -> 3), nix-grpc-store-spec> pushFixed::push::inflight: Set(), nix-grpc-store-spec> pushFixed::push::left: Map(3 -> 0), nix-grpc-store-spec> pushFixed::push::sent: Map(3 -> 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" -> 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, 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 5] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 2, "b" -> 2), nix-grpc-store-spec> pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a"), (2, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 2, 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 6] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 2, "b" -> 2), nix-grpc-store-spec> pushFixed::push::inflight: Set((1, "a"), (2, "a"), (2, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 1, 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 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((1, "a"), (2, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 1, 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 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((1, "a")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 1, 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> [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 (239ms at 83682 traces/second). nix-grpc-store-spec> Trace length statistics: max=10, min=7, average=8.02 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=0xa4382753a89ec77 --backend=rust to reproduce. post-build step Upload coverage to codecov: ok Skipping codecov: project=Mic92/nix-grpc-store attr=checks.aarch64-darwin.spec