this derivation will be built: /nix/store/hl2i5cd2ilh22126yr810l649bz798mw-nix-grpc-store-spec.drv building '/nix/store/hl2i5cd2ilh22126yr810l649bz798mw-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: 39s | 257/30000 samples | 781 samples/sRunning... [■ ] 1% | ETA: 25s | 503/30000 samples | 1218 samples/sRunning... [■ ] 2% | ETA: 19s | 805/30000 samples | 1566 samples/sRunning... [■ ] 3% | ETA: 17s | 1077/30000 samples | 1754 samples/sRunning... [■■ ] 4% | ETA: 16s | 1359/30000 samples | 1903 samples/sRunning... [■■ ] 5% | ETA: 14s | 1681/30000 samples | 2063 samples/sRunning... [■■■ ] 6% | ETA: 13s | 2054/30000 samples | 2240 samples/sRunning... [■■■ ] 8% | ETA: 12s | 2446/30000 samples | 2400 samples/sRunning... [■■■■ ] 9% | ETA: 9s | 2877/30000 samples | 2569 samples/sRunning... [■■■■ ] 11% | ETA: 8s | 3361/30000 samples | 2750 samples/sRunning... [■■■■■ ] 12% | ETA: 8s | 3835/30000 samples | 2901 samples/sRunning... [■■■■■■ ] 14% | ETA: 7s | 4374/30000 samples | 3076 samples/sRunning... [■■■■■■■ ] 16% | ETA: 6s | 4936/30000 samples | 3241 samples/sRunning... [■■■■■■■ ] 18% | ETA: 6s | 5551/30000 samples | 3420 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 5s | 6159/30000 samples | 3573 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 5s | 6879/30000 samples | 3769 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 4s | 7607/30000 samples | 3950 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 4s | 8247/30000 samples | 4069 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 4s | 8986/30000 samples | 4223 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 4s | 9722/30000 samples | 4364 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 3s | 10349/30000 samples | 4442 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 3s | 10972/30000 samples | 4513 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 3s | 11585/30000 samples | 4577 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 3s | 12235/30000 samples | 4649 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 12864/30000 samples | 4707 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 3s | 13462/30000 samples | 4750 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 3s | 14010/30000 samples | 4775 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 3s | 14464/30000 samples | 4764 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 3s | 14934/30000 samples | 4761 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 3s | 15337/30000 samples | 4737 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 3s | 15749/30000 samples | 4718 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 3s | 16178/30000 samples | 4704 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 3s | 16690/30000 samples | 4716 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 3s | 17234/30000 samples | 4735 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 3s | 17753/30000 samples | 4747 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 3s | 18331/30000 samples | 4772 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 3s | 18849/30000 samples | 4782 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 3s | 19406/30000 samples | 4799 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 2s | 20038/30000 samples | 4834 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 20537/30000 samples | 4838 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 2s | 21168/30000 samples | 4846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 2s | 21168/30000 samples | 4846 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 2s | 22102/30000 samples | 4848 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 2s | 23079/30000 samples | 4842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 2s | 23610/30000 samples | 4812 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 2s | 24078/30000 samples | 4829 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 24559/30000 samples | 4828 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25004/30000 samples | 4816 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 2s | 25368/30000 samples | 4794 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 1s | 25744/30000 samples | 4773 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 1s | 26072/30000 samples | 4740 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 1s | 26382/30000 samples | 4699 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 26650/30000 samples | 4662 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 26932/30000 samples | 4628 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 27196/30000 samples | 4596 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27373/30000 samples | 4549 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27456/30000 samples | 4488 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27600/30000 samples | 4438 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 2s | 27711/30000 samples | 4385 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 2s | 27836/30000 samples | 4335 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 2s | 27986/30000 samples | 4291 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 2s | 28145/30000 samples | 4250 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 2s | 28272/30000 samples | 4206 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 2s | 28436/30000 samples | 4168 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28555/30000 samples | 4124 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28646/30000 samples | 4075 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28726/30000 samples | 4029 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 2s | 28768/30000 samples | 3979 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 28812/30000 samples | 3931 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 28887/30000 samples | 3886 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 28970/30000 samples | 3845 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 29024/30000 samples | 3802 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 29046/30000 samples | 3755 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 2s | 29074/30000 samples | 3708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29113/30000 samples | 3666 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29134/30000 samples | 3623 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29164/30000 samples | 3581 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29203/30000 samples | 3541 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29257/30000 samples | 3503 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 2s | 29354/30000 samples | 3474 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 2s | 29453/30000 samples | 3444 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29514/30000 samples | 3411 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29583/30000 samples | 3378 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29669/30000 samples | 3349 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29746/30000 samples | 3319 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29823/30000 samples | 3291 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29896/30000 samples | 3225 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29934/30000 samples | 3180 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 30000/30000 samples | 3154 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 30000/30000 samples | 3154 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: 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 3] 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: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> 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 5] 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 6] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::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: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 7] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRevoke: Set(), nix-grpc-store-spec> schedFixed::scheduler::mSchedule: Set("c1", "c2"), nix-grpc-store-spec> schedFixed::scheduler::published: 0, nix-grpc-store-spec> schedFixed::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedFixed::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 8] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::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 9] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::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 10] 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("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 11] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set("w1"), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::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(("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 13] 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 14] 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 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(), 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 16] 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 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(("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 18] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("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 19] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("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 20] 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 21] 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 22] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), 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 23] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::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: 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 24] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), 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("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> [State 25] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), 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("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> [State 26] 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("w1"), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::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 27] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set("c2"), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), nix-grpc-store-spec> schedFixed::scheduler::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 28] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(("c1", "w1")), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set(), nix-grpc-store-spec> schedFixed::scheduler::mRetry: Set(), 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 29] nix-grpc-store-spec> { nix-grpc-store-spec> schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CDone), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(("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: 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" -> CDone), nix-grpc-store-spec> schedFixed::scheduler::crashes: 2, nix-grpc-store-spec> schedFixed::scheduler::entry: [], nix-grpc-store-spec> schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedFixed::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedFixed::scheduler::mBuild: Set(), nix-grpc-store-spec> schedFixed::scheduler::mDone: Set(), nix-grpc-store-spec> schedFixed::scheduler::mExpect: Set(), nix-grpc-store-spec> schedFixed::scheduler::mResult: Set("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 (9568ms at 3135 traces/second). nix-grpc-store-spec> Trace length statistics: max=31, min=15, average=18.89 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=0xa39424040869053f --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... [ ] 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... [ ] 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... [ ] 0% | ETA: 244s | 206/30000 samples | 123 samples/sRunning... [ ] 1% | ETA: 152s | 346/30000 samples | 195 samples/sRunning... [■ ] 1% | ETA: 105s | 526/30000 samples | 282 samples/sRunning... [■ ] 2% | ETA: 77s | 763/30000 samples | 384 samples/sRunning... [■ ] 3% | ETA: 59s | 1018/30000 samples | 492 samples/sRunning... [■■ ] 4% | ETA: 45s | 1391/30000 samples | 643 samples/sRunning... [■■ ] 6% | ETA: 36s | 1805/30000 samples | 797 samples/sRunning... [■■■ ] 7% | ETA: 30s | 2208/30000 samples | 933 samples/sRunning... [■■■■ ] 8% | ETA: 10s | 2627/30000 samples | 1060 samples/sRunning... [■■■■ ] 10% | ETA: 9s | 3090/30000 samples | 1191 samples/sRunning... [■■■■■ ] 11% | ETA: 8s | 3530/30000 samples | 1303 samples/sRunning... [■■■■■ ] 12% | ETA: 8s | 3880/30000 samples | 1396 samples/sRunning... [■■■■■■ ] 14% | ETA: 7s | 4212/30000 samples | 1460 samples/sRunning... [■■■■■■ ] 14% | ETA: 7s | 4435/30000 samples | 1489 samples/sRunning... [■■■■■■ ] 16% | ETA: 7s | 4814/30000 samples | 1561 samples/sRunning... [■■■■■■■ ] 17% | ETA: 7s | 5219/30000 samples | 1639 samples/sRunning... [■■■■■■■ ] 18% | ETA: 7s | 5563/30000 samples | 1690 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 7s | 5958/30000 samples | 1757 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 7s | 6375/30000 samples | 1825 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 7s | 6740/30000 samples | 1875 samples/sRunning... [■■■■■■■■■■ ] 23% | ETA: 7s | 7180/30000 samples | 1941 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 7s | 7543/30000 samples | 1985 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 7s | 7839/30000 samples | 2009 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 6s | 8220/30000 samples | 2054 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 6s | 8596/30000 samples | 2095 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 6s | 9007/30000 samples | 2135 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 6s | 9363/30000 samples | 2169 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 6s | 9624/30000 samples | 2178 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 6s | 9907/30000 samples | 2189 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 7s | 10136/30000 samples | 2193 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 7s | 10364/30000 samples | 2193 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 7s | 10500/30000 samples | 2171 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 8s | 10615/30000 samples | 2149 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 9s | 10738/30000 samples | 2134 samples/sRunning... [■■■■■■■■■■■■■■ ] 36% | ETA: 10s | 10856/30000 samples | 2108 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 12s | 10950/30000 samples | 2087 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 13s | 10991/30000 samples | 2054 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 16s | 11040/30000 samples | 2026 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 21s | 11220/30000 samples | 1985 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 21s | 11347/30000 samples | 1971 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 21s | 11474/30000 samples | 1956 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 21s | 11586/30000 samples | 1937 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 22s | 11647/30000 samples | 1912 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 24s | 11682/30000 samples | 1894 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 23s | 11732/30000 samples | 1870 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 23s | 11791/30000 samples | 1850 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 22s | 11924/30000 samples | 1839 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 22s | 12003/30000 samples | 1819 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 24s | 12058/30000 samples | 1799 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 26s | 12118/30000 samples | 1782 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 29s | 12171/30000 samples | 1763 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 29s | 12171/30000 samples | 1763 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 32s | 12232/30000 samples | 1718 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 32s | 12278/30000 samples | 1701 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 32s | 12314/30000 samples | 1682 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 32s | 12385/30000 samples | 1669 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 34s | 12474/30000 samples | 1658 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 32s | 12576/30000 samples | 1650 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 29s | 12683/30000 samples | 1642 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 26s | 12811/30000 samples | 1637 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 24s | 12901/30000 samples | 1628 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 22s | 12965/30000 samples | 1615 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 21s | 13038/30000 samples | 1604 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 20s | 13114/30000 samples | 1594 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 43% | ETA: 20s | 13183/30000 samples | 1583 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 19s | 13277/30000 samples | 1575 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 20s | 13344/30000 samples | 1564 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 22s | 13393/30000 samples | 1552 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 24s | 13453/30000 samples | 1540 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 25s | 13512/30000 samples | 1529 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 21s | 13679/30000 samples | 1531 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 19s | 13825/30000 samples | 1530 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 20s | 13877/30000 samples | 1519 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 19s | 13972/30000 samples | 1512 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 19s | 14053/30000 samples | 1505 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 19s | 14119/30000 samples | 1495 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 19s | 14183/30000 samples | 1486 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 18s | 14292/30000 samples | 1482 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 17s | 14382/30000 samples | 1476 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 19s | 14462/30000 samples | 1469 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 20s | 14554/30000 samples | 1463 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 19s | 14622/30000 samples | 1456 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 21s | 14651/30000 samples | 1444 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 21s | 14651/30000 samples | 1444 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 21s | 14780/30000 samples | 1435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 21s | 14834/30000 samples | 1426 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 21s | 14875/30000 samples | 1416 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 22s | 15044/30000 samples | 1405 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 23s | 15110/30000 samples | 1398 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 22s | 15207/30000 samples | 1394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 22s | 15290/30000 samples | 1389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 17s | 15494/30000 samples | 1394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 17s | 15494/30000 samples | 1394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 13s | 15920/30000 samples | 1401 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 12s | 16060/30000 samples | 1401 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 11s | 16169/30000 samples | 1398 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 11s | 16261/30000 samples | 1394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 11s | 16393/30000 samples | 1393 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 11s | 16486/30000 samples | 1389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 10s | 16592/30000 samples | 1386 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 11s | 16686/30000 samples | 1382 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 11s | 16686/30000 samples | 1382 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 13s | 16752/30000 samples | 1374 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 14s | 16833/30000 samples | 1369 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 15s | 16913/30000 samples | 1365 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 16s | 16952/30000 samples | 1357 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 19s | 17049/30000 samples | 1342 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 20s | 17115/30000 samples | 1337 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 21s | 17172/30000 samples | 1331 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 23s | 17207/30000 samples | 1323 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 24s | 17240/30000 samples | 1315 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 27s | 17271/30000 samples | 1308 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 29s | 17322/30000 samples | 1301 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 27s | 17392/30000 samples | 1297 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 25s | 17459/30000 samples | 1292 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 26s | 17495/30000 samples | 1285 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 30s | 17511/30000 samples | 1276 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 34s | 17520/30000 samples | 1267 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 37s | 17526/30000 samples | 1258 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 36s | 17559/30000 samples | 1252 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 34s | 17617/30000 samples | 1247 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 38s | 17627/30000 samples | 1238 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 43s | 17659/30000 samples | 1232 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 50s | 17687/30000 samples | 1225 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 59s | 17690/30000 samples | 1217 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 61s | 17698/30000 samples | 1209 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 53s | 17734/30000 samples | 1203 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 42s | 17798/30000 samples | 1199 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 37s | 17861/30000 samples | 1195 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 37s | 17924/30000 samples | 1191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 37s | 17924/30000 samples | 1191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 31s | 18011/30000 samples | 1185 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 30s | 18050/30000 samples | 1179 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 28s | 18114/30000 samples | 1175 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 26s | 18141/30000 samples | 1169 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 26s | 18149/30000 samples | 1162 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 28s | 18155/30000 samples | 1154 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 32s | 18165/30000 samples | 1148 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 38s | 18172/30000 samples | 1141 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 46s | 18182/30000 samples | 1134 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 61s | 18192/30000 samples | 1128 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 76s | 18198/30000 samples | 1119 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 76s | 18198/30000 samples | 1119 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" -> CQueued), 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("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: 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> schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(("c2", "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(), 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 3] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoRevoke::scheduler::crashes: 0, nix-grpc-store-spec> schedNoRevoke::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(("c2", "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(), 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: 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> 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("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: 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: 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 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: 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> 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: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 7] nix-grpc-store-spec> { nix-grpc-store-spec> 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: 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> 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: "w1" }], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(("c1", "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("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: 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> 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: "w1" }], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(("c1", "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("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: 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> 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: "w1" }], nix-grpc-store-spec> schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0), nix-grpc-store-spec> schedNoRevoke::scheduler::mAssigned: Set(("c1", "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("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 (16794ms at 1084 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0x98701ac5d366e44d --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... [ ] 0% | ETA: 1405s | 12/30000 samples | 28 samples/sRunning... [ ] 0% | ETA: 235s | 85/30000 samples | 159 samples/sRunning... [ ] 0% | ETA: 112s | 206/30000 samples | 324 samples/sRunning... [ ] 0% | ETA: 87s | 295/30000 samples | 404 samples/sRunning... [■ ] 1% | ETA: 67s | 431/30000 samples | 518 samples/sRunning... [■ ] 2% | ETA: 51s | 622/30000 samples | 667 samples/sRunning... [■ ] 2% | ETA: 51s | 622/30000 samples | 667 samples/sRunning... [■ ] 2% | ETA: 42s | 851/30000 samples | 781 samples/sRunning... [■ ] 3% | ETA: 38s | 1016/30000 samples | 853 samples/sRunning... [■■ ] 3% | ETA: 36s | 1162/30000 samples | 898 samples/sRunning... [■■ ] 4% | ETA: 22s | 1335/30000 samples | 952 samples/sRunning... [■■ ] 5% | ETA: 20s | 1506/30000 samples | 997 samples/sRunning... [■■ ] 5% | ETA: 19s | 1681/30000 samples | 1043 samples/sRunning... [■■■ ] 6% | ETA: 18s | 1878/30000 samples | 1094 samples/sRunning... [■■■ ] 6% | ETA: 18s | 2053/30000 samples | 1129 samples/sRunning... [■■■ ] 7% | ETA: 17s | 2261/30000 samples | 1178 samples/sRunning... [■■■ ] 8% | ETA: 17s | 2429/30000 samples | 1202 samples/sRunning... [■■■ ] 8% | ETA: 17s | 2575/30000 samples | 1208 samples/sRunning... [■■■■ ] 9% | ETA: 17s | 2704/30000 samples | 1213 samples/sRunning... [■■■■ ] 9% | ETA: 17s | 2846/30000 samples | 1221 samples/sRunning... [■■■■ ] 10% | ETA: 17s | 3003/30000 samples | 1230 samples/sRunning... [■■■■ ] 10% | ETA: 18s | 3147/30000 samples | 1238 samples/sRunning... [■■■■ ] 10% | ETA: 18s | 3287/30000 samples | 1244 samples/sRunning... [■■■■■ ] 11% | ETA: 19s | 3386/30000 samples | 1234 samples/sRunning... [■■■■■ ] 11% | ETA: 20s | 3497/30000 samples | 1229 samples/sRunning... [■■■■■ ] 12% | ETA: 21s | 3630/30000 samples | 1232 samples/sRunning... [■■■■■ ] 12% | ETA: 21s | 3774/30000 samples | 1238 samples/sRunning... [■■■■■ ] 12% | ETA: 21s | 3879/30000 samples | 1232 samples/sRunning... [■■■■■ ] 13% | ETA: 21s | 4000/30000 samples | 1231 samples/sRunning... [■■■■■ ] 13% | ETA: 22s | 4112/30000 samples | 1227 samples/sRunning... [■■■■■■ ] 14% | ETA: 21s | 4298/30000 samples | 1244 samples/sRunning... [■■■■■■ ] 15% | ETA: 19s | 4524/30000 samples | 1270 samples/sRunning... [■■■■■■ ] 15% | ETA: 19s | 4679/30000 samples | 1277 samples/sRunning... [■■■■■■ ] 16% | ETA: 18s | 4826/30000 samples | 1282 samples/sRunning... [■■■■■■■ ] 16% | ETA: 18s | 4932/30000 samples | 1276 samples/sRunning... [■■■■■■■ ] 16% | ETA: 18s | 5046/30000 samples | 1273 samples/sRunning... [■■■■■■■ ] 17% | ETA: 18s | 5224/30000 samples | 1283 samples/sRunning... [■■■■■■■ ] 18% | ETA: 17s | 5411/30000 samples | 1295 samples/sRunning... [■■■■■■■■ ] 18% | ETA: 17s | 5659/30000 samples | 1293 samples/sRunning... [■■■■■■■■ ] 18% | ETA: 17s | 5659/30000 samples | 1293 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 20s | 5826/30000 samples | 1271 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 20s | 5826/30000 samples | 1271 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 21s | 5961/30000 samples | 1263 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 20s | 6099/30000 samples | 1266 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 19s | 6279/30000 samples | 1277 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 18s | 6516/30000 samples | 1299 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 17s | 6777/30000 samples | 1323 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 15s | 7080/30000 samples | 1350 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 14s | 7294/30000 samples | 1365 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 13s | 7458/30000 samples | 1370 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 14s | 7589/30000 samples | 1352 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 14s | 7643/30000 samples | 1339 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 14s | 7682/30000 samples | 1323 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 16s | 7727/30000 samples | 1308 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 18s | 7795/30000 samples | 1295 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 20s | 7905/30000 samples | 1292 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 25s | 7960/30000 samples | 1280 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 31s | 8005/30000 samples | 1266 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 34s | 8112/30000 samples | 1260 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 38s | 8151/30000 samples | 1240 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 35s | 8246/30000 samples | 1237 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 31s | 8369/30000 samples | 1237 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 27s | 8491/30000 samples | 1237 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 27s | 8557/30000 samples | 1228 samples/sRunning... [■■■■■■■■■■■■ ] 28% | ETA: 27s | 8664/30000 samples | 1225 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 27s | 8725/30000 samples | 1215 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 28s | 8747/30000 samples | 1201 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 31s | 8763/30000 samples | 1187 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 30s | 8805/30000 samples | 1177 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 33s | 8837/30000 samples | 1165 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 40s | 8858/30000 samples | 1153 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 51s | 8877/30000 samples | 1140 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 57s | 8898/30000 samples | 1128 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 73s | 8929/30000 samples | 1118 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 82s | 8960/30000 samples | 1108 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 73s | 9014/30000 samples | 1100 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 60s | 9084/30000 samples | 1094 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 64s | 9119/30000 samples | 1082 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 64s | 9148/30000 samples | 1073 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 57s | 9201/30000 samples | 1068 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 55s | 9233/30000 samples | 1059 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 54s | 9263/30000 samples | 1050 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 54s | 9263/30000 samples | 1050 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 54s | 9305/30000 samples | 1038 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 57s | 9322/30000 samples | 1027 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 61s | 9343/30000 samples | 1020 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 58s | 9465/30000 samples | 1007 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 63s | 9474/30000 samples | 996 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 70s | 9492/30000 samples | 988 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 73s | 9511/30000 samples | 980 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 73s | 9511/30000 samples | 980 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 75s | 9550/30000 samples | 969 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 81s | 9560/30000 samples | 959 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 80s | 9575/30000 samples | 951 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 71s | 9633/30000 samples | 947 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 76s | 9653/30000 samples | 940 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 104s | 9655/30000 samples | 931 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 105s | 9660/30000 samples | 923 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 113s | 9666/30000 samples | 914 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 121s | 9674/30000 samples | 906 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 145s | 9679/30000 samples | 898 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 140s | 9694/30000 samples | 890 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 148s | 9702/30000 samples | 883 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 243s | 9711/30000 samples | 875 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 242s | 9731/30000 samples | 869 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 222s | 9741/30000 samples | 861 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 212s | 9750/30000 samples | 855 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 214s | 9755/30000 samples | 848 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 221s | 9760/30000 samples | 841 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 229s | 9763/30000 samples | 832 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 262s | 9767/30000 samples | 826 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 250s | 9778/30000 samples | 820 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 242s | 9789/30000 samples | 814 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 270s | 9801/30000 samples | 808 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 253s | 9815/30000 samples | 802 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 253s | 9824/30000 samples | 796 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 169s | 9866/30000 samples | 793 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 172s | 9869/30000 samples | 787 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 168s | 9873/30000 samples | 781 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 172s | 9875/30000 samples | 774 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 188s | 9877/30000 samples | 768 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 209s | 9878/30000 samples | 762 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 237s | 9882/30000 samples | 755 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 282s | 9883/30000 samples | 749 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 315s | 9885/30000 samples | 744 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 835s | 9889/30000 samples | 738 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 873s | 9891/30000 samples | 733 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 953s | 9893/30000 samples | 728 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 864s | 9897/30000 samples | 723 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 866s | 9899/30000 samples | 717 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 826s | 9901/30000 samples | 712 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 839s | 9904/30000 samples | 707 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 802s | 9906/30000 samples | 702 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 842s | 9908/30000 samples | 695 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 923s | 9910/30000 samples | 690 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 921s | 9912/30000 samples | 686 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 925s | 9914/30000 samples | 681 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 885s | 9919/30000 samples | 676 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 644s | 9929/30000 samples | 673 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 667s | 9930/30000 samples | 668 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 709s | 9932/30000 samples | 662 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 667s | 9936/30000 samples | 658 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 596s | 9940/30000 samples | 654 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 595s | 9942/30000 samples | 650 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 615s | 9943/30000 samples | 645 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 620s | 9945/30000 samples | 641 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 711s | 9946/30000 samples | 637 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1015s | 9948/30000 samples | 633 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1015s | 9948/30000 samples | 633 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1014s | 9951/30000 samples | 625 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 989s | 9953/30000 samples | 621 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1084s | 9955/30000 samples | 617 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1084s | 9955/30000 samples | 617 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1412s | 9956/30000 samples | 610 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1412s | 9956/30000 samples | 610 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1368s | 9960/30000 samples | 603 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1293s | 9963/30000 samples | 597 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1293s | 9963/30000 samples | 597 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1281s | 9965/30000 samples | 593 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1163s | 9968/30000 samples | 590 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1064s | 9972/30000 samples | 587 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 1023s | 9974/30000 samples | 583 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 871s | 9980/30000 samples | 580 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 871s | 9982/30000 samples | 577 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 871s | 9982/30000 samples | 577 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 871s | 9983/30000 samples | 570 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 871s | 9983/30000 samples | 570 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 868s | 9989/30000 samples | 561 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 910s | 9990/30000 samples | 557 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 876s | 9994/30000 samples | 554 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 943s | 9996/30000 samples | 551 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 909s | 9999/30000 samples | 548 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 981s | 10003/30000 samples | 546 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 980s | 10005/30000 samples | 543 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 824s | 10008/30000 samples | 540 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 715s | 10010/30000 samples | 537 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 703s | 10015/30000 samples | 535 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 669s | 10017/30000 samples | 532 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 685s | 10021/30000 samples | 528 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 716s | 10022/30000 samples | 526 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 740s | 10024/30000 samples | 523 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 849s | 10025/30000 samples | 520 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 849s | 10025/30000 samples | 520 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 849s | 10025/30000 samples | 520 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 849s | 10025/30000 samples | 520 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 849s | 10025/30000 samples | 520 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: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 2] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 1, nix-grpc-store-spec> schedNoFence::scheduler::entry: [], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoFence::scheduler::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: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 1, nix-grpc-store-spec> schedNoFence::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoFence::scheduler::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: false nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 1, nix-grpc-store-spec> schedNoFence::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set("w2"), 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 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: "w2" }], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoFence::scheduler::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: 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 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: 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: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 7] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: [], nix-grpc-store-spec> schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoFence::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoFence::scheduler::mRetry: Set("c1"), nix-grpc-store-spec> schedNoFence::scheduler::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: 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: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 8] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: [], nix-grpc-store-spec> 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: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 9] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: [], nix-grpc-store-spec> 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", "c2"), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 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("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("c2"), nix-grpc-store-spec> schedNoFence::scheduler::published: 0, nix-grpc-store-spec> schedNoFence::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoFence::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 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("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("c2"), 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: 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: 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 12] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoFence::scheduler::crashes: 2, nix-grpc-store-spec> schedNoFence::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("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("c2"), 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: 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 13] 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("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("w1"), 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("c2"), 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: 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 (20738ms at 483 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0xad7774de309e096a --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... [ ] 0% | ETA: 115s | 79/30000 samples | 266 samples/sRunning... [ ] 0% | ETA: 52s | 241/30000 samples | 578 samples/sRunning... [ ] 1% | ETA: 47s | 339/30000 samples | 640 samples/sRunning... [■ ] 1% | ETA: 42s | 444/30000 samples | 716 samples/sRunning... [■ ] 2% | ETA: 35s | 613/30000 samples | 844 samples/sRunning... [■ ] 2% | ETA: 34s | 721/30000 samples | 878 samples/sRunning... [■ ] 2% | ETA: 34s | 813/30000 samples | 879 samples/sRunning... [■ ] 3% | ETA: 34s | 905/30000 samples | 875 samples/sRunning... [■ ] 3% | ETA: 34s | 981/30000 samples | 869 samples/sRunning... [■ ] 3% | ETA: 29s | 1040/30000 samples | 847 samples/sRunning... [■ ] 3% | ETA: 31s | 1100/30000 samples | 824 samples/sRunning... [■■ ] 3% | ETA: 33s | 1135/30000 samples | 789 samples/sRunning... [■■ ] 3% | ETA: 37s | 1174/30000 samples | 759 samples/sRunning... [■■ ] 3% | ETA: 45s | 1196/30000 samples | 732 samples/sRunning... [■■ ] 4% | ETA: 51s | 1248/30000 samples | 717 samples/sRunning... [■■ ] 4% | ETA: 59s | 1260/30000 samples | 684 samples/sRunning... [■■ ] 4% | ETA: 70s | 1281/30000 samples | 658 samples/sRunning... [■■ ] 4% | ETA: 84s | 1300/30000 samples | 633 samples/sRunning... [■■ ] 4% | ETA: 96s | 1318/30000 samples | 612 samples/sRunning... [■■ ] 4% | ETA: 113s | 1335/30000 samples | 591 samples/sRunning... [■■ ] 4% | ETA: 125s | 1346/30000 samples | 571 samples/sRunning... [■■ ] 4% | ETA: 148s | 1351/30000 samples | 550 samples/sRunning... [■■ ] 4% | ETA: 164s | 1358/30000 samples | 531 samples/sRunning... [■■ ] 4% | ETA: 234s | 1361/30000 samples | 511 samples/sRunning... [■■ ] 4% | ETA: 251s | 1365/30000 samples | 494 samples/sRunning... [■■ ] 4% | ETA: 300s | 1369/30000 samples | 478 samples/sRunning... [■■ ] 4% | ETA: 370s | 1371/30000 samples | 462 samples/sRunning... [■■ ] 4% | ETA: 370s | 1371/30000 samples | 462 samples/sRunning... [■■ ] 4% | ETA: 550s | 1373/30000 samples | 428 samples/sRunning... [■■ ] 4% | ETA: 772s | 1374/30000 samples | 415 samples/sRunning... [■■ ] 4% | ETA: 772s | 1374/30000 samples | 415 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 samples/sRunning... [■■ ] 4% | ETA: 1100s | 1376/30000 samples | 392 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" -> CIdle, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 1, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), 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: 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> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), 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: 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> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(("c2", "w1")), nix-grpc-store-spec> schedNoPush::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mRetry: Set(), 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: 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> schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")), nix-grpc-store-spec> schedNoPush::scheduler::crashes: 2, nix-grpc-store-spec> schedNoPush::scheduler::entry: [], nix-grpc-store-spec> schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoPush::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoPush::scheduler::mBuild: Set(), 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("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: 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 (4197ms at 328 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0x90224bedf4e17ca5 --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... [ ] 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: 150s | 172/30000 samples | 200 samples/sRunning... [ ] 0% | ETA: 105s | 276/30000 samples | 284 samples/sRunning... [■ ] 1% | ETA: 64s | 498/30000 samples | 463 samples/sRunning... [■ ] 2% | ETA: 44s | 802/30000 samples | 667 samples/sRunning... [■ ] 3% | ETA: 36s | 1066/30000 samples | 812 samples/sRunning... [■■ ] 4% | ETA: 30s | 1343/30000 samples | 958 samples/sRunning... [■■ ] 5% | ETA: 27s | 1596/30000 samples | 1061 samples/sRunning... [■■ ] 5% | ETA: 26s | 1788/30000 samples | 1113 samples/sRunning... [■■■ ] 6% | ETA: 14s | 1986/30000 samples | 1163 samples/sRunning... [■■■ ] 7% | ETA: 14s | 2163/30000 samples | 1197 samples/sRunning... [■■■ ] 7% | ETA: 14s | 2273/30000 samples | 1191 samples/sRunning... [■■■ ] 8% | ETA: 14s | 2460/30000 samples | 1218 samples/sRunning... [■■■ ] 8% | ETA: 14s | 2460/30000 samples | 1218 samples/sRunning... [■■■ ] 8% | ETA: 15s | 2616/30000 samples | 1226 samples/sRunning... [■■■■ ] 9% | ETA: 15s | 2757/30000 samples | 1232 samples/sRunning... [■■■■ ] 9% | ETA: 17s | 2889/30000 samples | 1237 samples/sRunning... [■■■■ ] 10% | ETA: 18s | 3020/30000 samples | 1238 samples/sRunning... [■■■■ ] 10% | ETA: 20s | 3062/30000 samples | 1205 samples/sRunning... [■■■■ ] 10% | ETA: 23s | 3113/30000 samples | 1178 samples/sRunning... [■■■■ ] 10% | ETA: 25s | 3176/30000 samples | 1158 samples/sRunning... [■■■■ ] 10% | ETA: 27s | 3226/30000 samples | 1135 samples/sRunning... [■■■■ ] 10% | ETA: 30s | 3296/30000 samples | 1120 samples/sRunning... [■■■■ ] 11% | ETA: 33s | 3354/30000 samples | 1102 samples/sRunning... [■■■■■ ] 11% | ETA: 34s | 3476/30000 samples | 1105 samples/sRunning... [■■■■■ ] 11% | ETA: 34s | 3599/30000 samples | 1108 samples/sRunning... [■■■■■ ] 12% | ETA: 36s | 3695/30000 samples | 1102 samples/sRunning... [■■■■■ ] 12% | ETA: 36s | 3745/30000 samples | 1085 samples/sRunning... [■■■■■ ] 12% | ETA: 38s | 3756/30000 samples | 1057 samples/sRunning... [■■■■■ ] 12% | ETA: 41s | 3768/30000 samples | 1030 samples/sRunning... [■■■■■ ] 12% | ETA: 43s | 3794/30000 samples | 1010 samples/sRunning... [■■■■■ ] 12% | ETA: 47s | 3818/30000 samples | 986 samples/sRunning... [■■■■■ ] 12% | ETA: 51s | 3839/30000 samples | 966 samples/sRunning... [■■■■■ ] 13% | ETA: 79s | 3910/30000 samples | 935 samples/sRunning... [■■■■■ ] 13% | ETA: 87s | 3975/30000 samples | 929 samples/sRunning... [■■■■■ ] 13% | ETA: 87s | 3975/30000 samples | 929 samples/sRunning... [■■■■■ ] 13% | ETA: 95s | 4011/30000 samples | 895 samples/sRunning... [■■■■■ ] 13% | ETA: 94s | 4026/30000 samples | 879 samples/sRunning... [■■■■■ ] 13% | ETA: 96s | 4046/30000 samples | 864 samples/sRunning... [■■■■■ ] 13% | ETA: 94s | 4071/30000 samples | 851 samples/sRunning... [■■■■■ ] 13% | ETA: 94s | 4071/30000 samples | 851 samples/sRunning... [■■■■■ ] 13% | ETA: 94s | 4115/30000 samples | 823 samples/sRunning... [■■■■■■ ] 13% | ETA: 103s | 4145/30000 samples | 811 samples/sRunning... [■■■■■■ ] 14% | ETA: 98s | 4222/30000 samples | 809 samples/sRunning... [■■■■■■ ] 14% | ETA: 74s | 4319/30000 samples | 813 samples/sRunning... [■■■■■■ ] 14% | ETA: 61s | 4408/30000 samples | 814 samples/sRunning... [■■■■■■ ] 14% | ETA: 58s | 4439/30000 samples | 805 samples/sRunning... [■■■■■■ ] 14% | ETA: 56s | 4473/30000 samples | 796 samples/sRunning... [■■■■■■ ] 14% | ETA: 56s | 4499/30000 samples | 787 samples/sRunning... [■■■■■■ ] 15% | ETA: 57s | 4516/30000 samples | 776 samples/sRunning... [■■■■■■ ] 15% | ETA: 57s | 4528/30000 samples | 765 samples/sRunning... [■■■■■■ ] 15% | ETA: 60s | 4538/30000 samples | 753 samples/sRunning... [■■■■■■ ] 15% | ETA: 71s | 4548/30000 samples | 743 samples/sRunning... [■■■■■■ ] 15% | ETA: 94s | 4567/30000 samples | 734 samples/sRunning... [■■■■■■ ] 15% | ETA: 132s | 4584/30000 samples | 725 samples/sRunning... [■■■■■■ ] 15% | ETA: 143s | 4602/30000 samples | 716 samples/sRunning... [■■■■■■ ] 15% | ETA: 166s | 4613/30000 samples | 707 samples/sRunning... [■■■■■■ ] 15% | ETA: 187s | 4623/30000 samples | 697 samples/sRunning... [■■■■■■ ] 15% | ETA: 203s | 4632/30000 samples | 687 samples/sRunning... [■■■■■■ ] 15% | ETA: 195s | 4649/30000 samples | 679 samples/sRunning... [■■■■■■ ] 15% | ETA: 201s | 4655/30000 samples | 670 samples/sRunning... [■■■■■■ ] 15% | ETA: 210s | 4660/30000 samples | 661 samples/sRunning... [■■■■■■ ] 15% | ETA: 251s | 4662/30000 samples | 651 samples/sRunning... [■■■■■■ ] 15% | ETA: 298s | 4664/30000 samples | 642 samples/sRunning... [■■■■■■ ] 15% | ETA: 372s | 4666/30000 samples | 634 samples/sRunning... [■■■■■■ ] 15% | ETA: 442s | 4667/30000 samples | 625 samples/sRunning... [■■■■■■ ] 15% | ETA: 518s | 4669/30000 samples | 617 samples/sRunning... [■■■■■■ ] 15% | ETA: 570s | 4673/30000 samples | 609 samples/sRunning... [■■■■■■ ] 15% | ETA: 835s | 4677/30000 samples | 602 samples/sRunning... [■■■■■■ ] 15% | ETA: 1018s | 4678/30000 samples | 594 samples/sRunning... [■■■■■■ ] 15% | ETA: 1071s | 4682/30000 samples | 587 samples/sRunning... [■■■■■■ ] 15% | ETA: 668s | 4697/30000 samples | 581 samples/sRunning... [■■■■■■ ] 15% | ETA: 668s | 4697/30000 samples | 581 samples/sRunning... [■■■■■■ ] 15% | ETA: 498s | 4712/30000 samples | 574 samples/sRunning... [■■■■■■ ] 15% | ETA: 426s | 4723/30000 samples | 567 samples/sRunning... [■■■■■■ ] 15% | ETA: 361s | 4734/30000 samples | 562 samples/sRunning... [■■■■■■ ] 15% | ETA: 361s | 4734/30000 samples | 562 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" -> CIdle, "c2" -> CIdle), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 1, 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: 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> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 1, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> 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("c2"), nix-grpc-store-spec> schedNoReport::scheduler::published: 0, nix-grpc-store-spec> schedNoReport::scheduler::publishedBy: Set(), nix-grpc-store-spec> schedNoReport::scheduler::ws: nix-grpc-store-spec> Map( nix-grpc-store-spec> "w1" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: 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> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 1, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set("w1"), 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: 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> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 1, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c2"), leased: true, worker: "w1" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c2", "w1")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set(), nix-grpc-store-spec> schedNoReport::scheduler::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: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 5] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::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: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: false, nix-grpc-store-spec> up: false nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 6] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::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: false, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 7] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::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: 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> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: [], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::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: true, nix-grpc-store-spec> running: true, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> }, nix-grpc-store-spec> "w2" -> nix-grpc-store-spec> { nix-grpc-store-spec> attached: Set(), nix-grpc-store-spec> built: false, nix-grpc-store-spec> expecting: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 9] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set("w2"), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::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: false, nix-grpc-store-spec> running: false, nix-grpc-store-spec> session: true, nix-grpc-store-spec> up: true nix-grpc-store-spec> } nix-grpc-store-spec> ) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 10] nix-grpc-store-spec> { nix-grpc-store-spec> schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued), nix-grpc-store-spec> schedNoReport::scheduler::crashes: 2, nix-grpc-store-spec> schedNoReport::scheduler::entry: nix-grpc-store-spec> [{ followers: Set("c1"), leased: true, worker: "w2" }], nix-grpc-store-spec> schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0), nix-grpc-store-spec> schedNoReport::scheduler::mAssigned: Set(("c1", "w2")), nix-grpc-store-spec> schedNoReport::scheduler::mBuild: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mDone: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mExpect: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mResult: Set(), nix-grpc-store-spec> schedNoReport::scheduler::mRetry: Set("c2"), nix-grpc-store-spec> schedNoReport::scheduler::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 (8872ms at 534 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0x91aca213a4278a13 --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... [ ] 0% | ETA: 630s | 12/30000 samples | 50 samples/sRunning... [ ] 0% | ETA: 623s | 17/30000 samples | 50 samples/sRunning... [ ] 0% | ETA: 310s | 44/30000 samples | 99 samples/sRunning... [ ] 0% | ETA: 335s | 50/30000 samples | 91 samples/sRunning... [ ] 0% | ETA: 290s | 68/30000 samples | 105 samples/sRunning... [ ] 0% | ETA: 290s | 68/30000 samples | 105 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" -> CIdle, "c2" -> CQueued), 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("c2"), 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" -> CIdle, "c2" -> CFailed), 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 (873ms at 117 traces/second). nix-grpc-store-spec> Use --verbosity=3 to show executions. nix-grpc-store-spec> Use --seed=0x6c3d4c164a110613 --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/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/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/sRunning... [ ] 0% | ETA: 5184s | 4/20000 samples | 4 samples/sRunning... [ ] 0% | ETA: 1196s | 19/20000 samples | 17 samples/sRunning... [ ] 0% | ETA: 1196s | 19/20000 samples | 17 samples/sRunning... [ ] 0% | ETA: 273s | 107/20000 samples | 74 samples/sRunning... [■ ] 1% | ETA: 112s | 323/20000 samples | 179 samples/sRunning... [■■■■ ] 11% | ETA: 16s | 2211/20000 samples | 1130 samples/sRunning... [■■■■■■ ] 14% | ETA: 14s | 2867/20000 samples | 1309 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 2s | 7662/20000 samples | 3203 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 2s | 7940/20000 samples | 3145 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 2s | 8290/20000 samples | 3207 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 2s | 9103/20000 samples | 3389 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 2s | 9574/20000 samples | 3435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 2s | 9574/20000 samples | 3435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 2s | 9574/20000 samples | 3435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 2s | 9574/20000 samples | 3435 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 2s | 10965/20000 samples | 3375 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 1s | 12294/20000 samples | 3702 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 2s | 12461/20000 samples | 3654 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 2s | 12662/20000 samples | 3606 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 2s | 13179/20000 samples | 3586 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 2s | 13452/20000 samples | 3569 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 13677/20000 samples | 3516 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 2s | 13861/20000 samples | 3430 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 2s | 13979/20000 samples | 3386 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 2s | 14134/20000 samples | 3355 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 3s | 14866/20000 samples | 3312 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 3s | 15326/20000 samples | 3274 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 3s | 15595/20000 samples | 3178 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 2s | 15962/20000 samples | 3201 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 2s | 16054/20000 samples | 3155 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 16230/20000 samples | 3095 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 16346/20000 samples | 3014 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 3s | 16432/20000 samples | 2997 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 3s | 16609/20000 samples | 2917 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 3s | 16729/20000 samples | 2816 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 4s | 16904/20000 samples | 2801 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 4s | 16956/20000 samples | 2795 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 4s | 17011/20000 samples | 2758 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 4s | 17186/20000 samples | 2608 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 4s | 17345/20000 samples | 2586 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 4s | 17371/20000 samples | 2544 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 4s | 17485/20000 samples | 2516 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 4s | 17485/20000 samples | 2516 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 4s | 17596/20000 samples | 2442 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 5s | 17677/20000 samples | 2394 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 5s | 17684/20000 samples | 2341 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 4s | 17806/20000 samples | 2315 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 5s | 17848/20000 samples | 2275 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 4s | 18074/20000 samples | 2285 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 2s | 18549/20000 samples | 2257 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 19312/20000 samples | 2333 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 19554/20000 samples | 2319 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 19574/20000 samples | 2291 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 19697/20000 samples | 2274 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19867/20000 samples | 2270 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19889/20000 samples | 2247 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19909/20000 samples | 2216 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19943/20000 samples | 2203 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19963/20000 samples | 2163 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 19983/20000 samples | 2155 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 20000/20000 samples | 2135 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 20000/20000 samples | 2135 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" -> 2, "b" -> 2), nix-grpc-store-spec> pushFixed::push::inflight: Set((2, "a"), (2, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(2 -> 2), nix-grpc-store-spec> pushFixed::push::sent: Map(2 -> 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" -> 2, "b" -> 2), nix-grpc-store-spec> pushFixed::push::inflight: Set((2, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(2 -> 1), nix-grpc-store-spec> pushFixed::push::sent: Map(2 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 3] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 1, "b" -> 1), nix-grpc-store-spec> pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 2, 2 -> 1), nix-grpc-store-spec> pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b")) nix-grpc-store-spec> } nix-grpc-store-spec> nix-grpc-store-spec> [State 4] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 3, "b" -> 3), nix-grpc-store-spec> pushFixed::push::inflight: nix-grpc-store-spec> Set((1, "a"), (1, "b"), (2, "b"), (3, "a"), (3, "b")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 2), 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 5] nix-grpc-store-spec> { nix-grpc-store-spec> pushFixed::push::byPath: Map("a" -> 3, "b" -> 3), nix-grpc-store-spec> pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "b"), (3, "a")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 1), 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" -> 3, "b" -> 3), nix-grpc-store-spec> pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "a")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 1), 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" -> 3, "b" -> 3), nix-grpc-store-spec> pushFixed::push::inflight: Set((1, "a"), (3, "a")), nix-grpc-store-spec> pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 1), 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" -> 3, "b" -> 3), 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" -> 3, "b" -> 3), 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 (9917ms at 2017 traces/second). nix-grpc-store-spec> Trace length statistics: max=10, min=7, average=8.01 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=0xd2f2ab8ac3c90d3d --backend=rust to reproduce. post-build step Upload coverage to codecov: ok Skipping codecov: project=Mic92/nix-grpc-store attr=checks.x86_64-linux.spec