nix-grpc-store-spec log

succeeded `nix-grpc-store-spec` `checks.aarch64-darwin.spec` · build #607 · raw

1Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 5% | ETA: 9s | 1659/30000 samples | 3298 samples/sRunning... [■■ ] 5% | ETA: 9s | 1659/30000 samples | 3298 samples/sRunning... [■■ ] 5% | ETA: 9s | 1659/30000 samples | 3298 samples/sRunning... [■■■ ] 7% | ETA: 9s | 2368/30000 samples | 3162 samples/sRunning... [■■■■ ] 9% | ETA: 9s | 2715/30000 samples | 3168 samples/sRunning... [■■■■ ] 10% | ETA: 9s | 3109/30000 samples | 3225 samples/sRunning... [■■■■■ ] 11% | ETA: 9s | 3379/30000 samples | 3161 samples/sRunning... [■■■■■ ] 11% | ETA: 9s | 3379/30000 samples | 3161 samples/sRunning... [■■■■■ ] 13% | ETA: 9s | 3915/30000 samples | 3204 samples/sRunning... [■■■■■■ ] 14% | ETA: 8s | 4381/30000 samples | 3311 samples/sRunning... [■■■■■■ ] 14% | ETA: 8s | 4381/30000 samples | 3311 samples/sRunning... [■■■■■■■ ] 18% | ETA: 8s | 5452/30000 samples | 3477 samples/sRunning... [■■■■■■■ ] 18% | ETA: 8s | 5452/30000 samples | 3477 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 7s | 6101/30000 samples | 3459 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 7s | 6481/30000 samples | 3391 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 7s | 6481/30000 samples | 3391 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 7s | 6995/30000 samples | 3348 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 7s | 6995/30000 samples | 3348 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 7s | 7699/30000 samples | 3300 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 7s | 7699/30000 samples | 3300 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 7s | 8023/30000 samples | 3283 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 7s | 8413/30000 samples | 3304 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 7s | 8413/30000 samples | 3304 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 7s | 9083/30000 samples | 3303 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 7s | 9500/30000 samples | 3325 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 7s | 9996/30000 samples | 3318 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 7s | 9996/30000 samples | 3318 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 7s | 10524/30000 samples | 3331 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 7s | 10524/30000 samples | 3331 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 6s | 11160/30000 samples | 3313 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 6s | 11484/30000 samples | 3304 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 6s | 11484/30000 samples | 3304 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 6s | 12340/30000 samples | 3339 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 5s | 12818/30000 samples | 3363 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 5s | 12818/30000 samples | 3363 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 5s | 13602/30000 samples | 3388 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 5s | 13933/30000 samples | 3383 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 5s | 13933/30000 samples | 3383 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 5s | 14905/30000 samples | 3412 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 5s | 14905/30000 samples | 3412 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 5s | 15324/30000 samples | 3415 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 5s | 15324/30000 samples | 3415 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 4s | 16318/30000 samples | 3473 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 4s | 16774/30000 samples | 3483 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 4s | 17532/30000 samples | 3518 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 4s | 17532/30000 samples | 3518 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 3s | 18041/30000 samples | 3542 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 3s | 18587/30000 samples | 3548 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 3s | 19217/30000 samples | 3560 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 3s | 19217/30000 samples | 3560 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 3s | 19755/30000 samples | 3575 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 3s | 20171/30000 samples | 3575 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 3s | 20171/30000 samples | 3575 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 3s | 20970/30000 samples | 3595 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 3s | 21404/30000 samples | 3605 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 3s | 21830/30000 samples | 3581 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 3s | 22153/30000 samples | 3574 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 3s | 22481/30000 samples | 3563 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 3s | 22481/30000 samples | 3563 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 2s | 22953/30000 samples | 3565 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 2s | 22953/30000 samples | 3565 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 2s | 23734/30000 samples | 3548 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 2s | 23734/30000 samples | 3548 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 2s | 24267/30000 samples | 3531 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 2s | 24604/30000 samples | 3527 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25026/30000 samples | 3526 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25026/30000 samples | 3526 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 2s | 25026/30000 samples | 3526 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 2s | 25672/30000 samples | 3496 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26177/30000 samples | 3487 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 2s | 26177/30000 samples | 3487 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 2s | 26697/30000 samples | 3485 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 2s | 26697/30000 samples | 3485 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27751/30000 samples | 3508 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 27751/30000 samples | 3508 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28563/30000 samples | 3534 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28563/30000 samples | 3534 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29629/30000 samples | 3556 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 29629/30000 samples | 3556 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29972/30000 samples | 3539 samples/sAn example execution:23[State 0]4{5 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),6 schedFixed::scheduler::crashes: 0,7 schedFixed::scheduler::entry: [],8 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),9 schedFixed::scheduler::mAssigned: Set(),10 schedFixed::scheduler::mBuild: Set(),11 schedFixed::scheduler::mDone: Set(),12 schedFixed::scheduler::mExpect: Set(),13 schedFixed::scheduler::mResult: Set(),14 schedFixed::scheduler::mRetry: Set(),15 schedFixed::scheduler::mRevoke: Set(),16 schedFixed::scheduler::mSchedule: Set(),17 schedFixed::scheduler::published: 0,18 schedFixed::scheduler::publishedBy: Set(),19 schedFixed::scheduler::ws:20 Map(21 "w1" ->22 {23 attached: Set(),24 built: false,25 expecting: false,26 running: false,27 session: true,28 up: true29 },30 "w2" ->31 {32 attached: Set(),33 built: false,34 expecting: false,35 running: false,36 session: true,37 up: true38 }39 )40}4142[State 1]43{44 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),45 schedFixed::scheduler::crashes: 1,46 schedFixed::scheduler::entry: [],47 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),48 schedFixed::scheduler::mAssigned: Set(),49 schedFixed::scheduler::mBuild: Set(),50 schedFixed::scheduler::mDone: Set(),51 schedFixed::scheduler::mExpect: Set(),52 schedFixed::scheduler::mResult: Set(),53 schedFixed::scheduler::mRetry: Set(),54 schedFixed::scheduler::mRevoke: Set(),55 schedFixed::scheduler::mSchedule: Set(),56 schedFixed::scheduler::published: 0,57 schedFixed::scheduler::publishedBy: Set(),58 schedFixed::scheduler::ws:59 Map(60 "w1" ->61 {62 attached: Set(),63 built: false,64 expecting: false,65 running: false,66 session: true,67 up: true68 },69 "w2" ->70 {71 attached: Set(),72 built: false,73 expecting: false,74 running: false,75 session: false,76 up: false77 }78 )79}8081[State 2]82{83 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),84 schedFixed::scheduler::crashes: 2,85 schedFixed::scheduler::entry: [],86 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),87 schedFixed::scheduler::mAssigned: Set(),88 schedFixed::scheduler::mBuild: Set(),89 schedFixed::scheduler::mDone: Set(),90 schedFixed::scheduler::mExpect: Set(),91 schedFixed::scheduler::mResult: Set(),92 schedFixed::scheduler::mRetry: Set(),93 schedFixed::scheduler::mRevoke: Set(),94 schedFixed::scheduler::mSchedule: Set(),95 schedFixed::scheduler::published: 0,96 schedFixed::scheduler::publishedBy: Set(),97 schedFixed::scheduler::ws:98 Map(99 "w1" ->100 {101 attached: Set(),102 built: false,103 expecting: false,104 running: false,105 session: false,106 up: true107 },108 "w2" ->109 {110 attached: Set(),111 built: false,112 expecting: false,113 running: false,114 session: false,115 up: false116 }117 )118}119120[State 3]121{122 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),123 schedFixed::scheduler::crashes: 2,124 schedFixed::scheduler::entry: [],125 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),126 schedFixed::scheduler::mAssigned: Set(),127 schedFixed::scheduler::mBuild: Set(),128 schedFixed::scheduler::mDone: Set(),129 schedFixed::scheduler::mExpect: Set(),130 schedFixed::scheduler::mResult: Set(),131 schedFixed::scheduler::mRetry: Set(),132 schedFixed::scheduler::mRevoke: Set(),133 schedFixed::scheduler::mSchedule: Set(),134 schedFixed::scheduler::published: 0,135 schedFixed::scheduler::publishedBy: Set(),136 schedFixed::scheduler::ws:137 Map(138 "w1" ->139 {140 attached: Set(),141 built: false,142 expecting: false,143 running: false,144 session: false,145 up: true146 },147 "w2" ->148 {149 attached: Set(),150 built: false,151 expecting: false,152 running: false,153 session: true,154 up: true155 }156 )157}158159[State 4]160{161 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),162 schedFixed::scheduler::crashes: 2,163 schedFixed::scheduler::entry: [],164 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),165 schedFixed::scheduler::mAssigned: Set(),166 schedFixed::scheduler::mBuild: Set(),167 schedFixed::scheduler::mDone: Set(),168 schedFixed::scheduler::mExpect: Set(),169 schedFixed::scheduler::mResult: Set(),170 schedFixed::scheduler::mRetry: Set(),171 schedFixed::scheduler::mRevoke: Set(),172 schedFixed::scheduler::mSchedule: Set("c1"),173 schedFixed::scheduler::published: 0,174 schedFixed::scheduler::publishedBy: Set(),175 schedFixed::scheduler::ws:176 Map(177 "w1" ->178 {179 attached: Set(),180 built: false,181 expecting: false,182 running: false,183 session: false,184 up: true185 },186 "w2" ->187 {188 attached: Set(),189 built: false,190 expecting: false,191 running: false,192 session: true,193 up: true194 }195 )196}197198[State 5]199{200 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),201 schedFixed::scheduler::crashes: 2,202 schedFixed::scheduler::entry: [],203 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),204 schedFixed::scheduler::mAssigned: Set(),205 schedFixed::scheduler::mBuild: Set(),206 schedFixed::scheduler::mDone: Set(),207 schedFixed::scheduler::mExpect: Set(),208 schedFixed::scheduler::mResult: Set(),209 schedFixed::scheduler::mRetry: Set(),210 schedFixed::scheduler::mRevoke: Set(),211 schedFixed::scheduler::mSchedule: Set("c1", "c2"),212 schedFixed::scheduler::published: 0,213 schedFixed::scheduler::publishedBy: Set(),214 schedFixed::scheduler::ws:215 Map(216 "w1" ->217 {218 attached: Set(),219 built: false,220 expecting: false,221 running: false,222 session: false,223 up: true224 },225 "w2" ->226 {227 attached: Set(),228 built: false,229 expecting: false,230 running: false,231 session: true,232 up: true233 }234 )235}236237[State 6]238{239 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),240 schedFixed::scheduler::crashes: 2,241 schedFixed::scheduler::entry:242 [{ followers: Set("c1"), leased: true, worker: "w2" }],243 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),244 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),245 schedFixed::scheduler::mBuild: Set(),246 schedFixed::scheduler::mDone: Set(),247 schedFixed::scheduler::mExpect: Set("w2"),248 schedFixed::scheduler::mResult: Set(),249 schedFixed::scheduler::mRetry: Set(),250 schedFixed::scheduler::mRevoke: Set(),251 schedFixed::scheduler::mSchedule: Set("c2"),252 schedFixed::scheduler::published: 0,253 schedFixed::scheduler::publishedBy: Set(),254 schedFixed::scheduler::ws:255 Map(256 "w1" ->257 {258 attached: Set(),259 built: false,260 expecting: false,261 running: false,262 session: false,263 up: true264 },265 "w2" ->266 {267 attached: Set(),268 built: false,269 expecting: false,270 running: false,271 session: true,272 up: true273 }274 )275}276277[State 7]278{279 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),280 schedFixed::scheduler::crashes: 2,281 schedFixed::scheduler::entry:282 [{ followers: Set("c1"), leased: true, worker: "w2" }],283 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),284 schedFixed::scheduler::mAssigned: Set(),285 schedFixed::scheduler::mBuild: Set(("c1", "w2")),286 schedFixed::scheduler::mDone: Set(),287 schedFixed::scheduler::mExpect: Set("w2"),288 schedFixed::scheduler::mResult: Set(),289 schedFixed::scheduler::mRetry: Set(),290 schedFixed::scheduler::mRevoke: Set(),291 schedFixed::scheduler::mSchedule: Set("c2"),292 schedFixed::scheduler::published: 0,293 schedFixed::scheduler::publishedBy: Set(),294 schedFixed::scheduler::ws:295 Map(296 "w1" ->297 {298 attached: Set(),299 built: false,300 expecting: false,301 running: false,302 session: false,303 up: true304 },305 "w2" ->306 {307 attached: Set(),308 built: false,309 expecting: false,310 running: false,311 session: true,312 up: true313 }314 )315}316317[State 8]318{319 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),320 schedFixed::scheduler::crashes: 2,321 schedFixed::scheduler::entry:322 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],323 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),324 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),325 schedFixed::scheduler::mBuild: Set(("c1", "w2")),326 schedFixed::scheduler::mDone: Set(),327 schedFixed::scheduler::mExpect: Set("w2"),328 schedFixed::scheduler::mResult: Set(),329 schedFixed::scheduler::mRetry: Set(),330 schedFixed::scheduler::mRevoke: Set(),331 schedFixed::scheduler::mSchedule: Set(),332 schedFixed::scheduler::published: 0,333 schedFixed::scheduler::publishedBy: Set(),334 schedFixed::scheduler::ws:335 Map(336 "w1" ->337 {338 attached: Set(),339 built: false,340 expecting: false,341 running: false,342 session: false,343 up: true344 },345 "w2" ->346 {347 attached: Set(),348 built: false,349 expecting: false,350 running: false,351 session: true,352 up: true353 }354 )355}356357[State 9]358{359 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),360 schedFixed::scheduler::crashes: 2,361 schedFixed::scheduler::entry:362 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],363 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),364 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),365 schedFixed::scheduler::mBuild: Set(),366 schedFixed::scheduler::mDone: Set(),367 schedFixed::scheduler::mExpect: Set("w2"),368 schedFixed::scheduler::mResult: Set(),369 schedFixed::scheduler::mRetry: Set("c1"),370 schedFixed::scheduler::mRevoke: Set(),371 schedFixed::scheduler::mSchedule: Set(),372 schedFixed::scheduler::published: 0,373 schedFixed::scheduler::publishedBy: Set(),374 schedFixed::scheduler::ws:375 Map(376 "w1" ->377 {378 attached: Set(),379 built: false,380 expecting: false,381 running: false,382 session: false,383 up: true384 },385 "w2" ->386 {387 attached: Set(),388 built: false,389 expecting: false,390 running: false,391 session: true,392 up: true393 }394 )395}396397[State 10]398{399 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),400 schedFixed::scheduler::crashes: 2,401 schedFixed::scheduler::entry:402 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],403 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),404 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),405 schedFixed::scheduler::mBuild: Set(),406 schedFixed::scheduler::mDone: Set(),407 schedFixed::scheduler::mExpect: Set("w2"),408 schedFixed::scheduler::mResult: Set(),409 schedFixed::scheduler::mRetry: Set("c1"),410 schedFixed::scheduler::mRevoke: Set(),411 schedFixed::scheduler::mSchedule: Set(),412 schedFixed::scheduler::published: 0,413 schedFixed::scheduler::publishedBy: Set(),414 schedFixed::scheduler::ws:415 Map(416 "w1" ->417 {418 attached: Set(),419 built: false,420 expecting: false,421 running: false,422 session: true,423 up: true424 },425 "w2" ->426 {427 attached: Set(),428 built: false,429 expecting: false,430 running: false,431 session: true,432 up: true433 }434 )435}436437[State 11]438{439 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),440 schedFixed::scheduler::crashes: 2,441 schedFixed::scheduler::entry:442 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],443 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),444 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),445 schedFixed::scheduler::mBuild: Set(),446 schedFixed::scheduler::mDone: Set(),447 schedFixed::scheduler::mExpect: Set("w2"),448 schedFixed::scheduler::mResult: Set(),449 schedFixed::scheduler::mRetry: Set(),450 schedFixed::scheduler::mRevoke: Set(),451 schedFixed::scheduler::mSchedule: Set("c1"),452 schedFixed::scheduler::published: 0,453 schedFixed::scheduler::publishedBy: Set(),454 schedFixed::scheduler::ws:455 Map(456 "w1" ->457 {458 attached: Set(),459 built: false,460 expecting: false,461 running: false,462 session: true,463 up: true464 },465 "w2" ->466 {467 attached: Set(),468 built: false,469 expecting: false,470 running: false,471 session: true,472 up: true473 }474 )475}476477[State 12]478{479 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),480 schedFixed::scheduler::crashes: 2,481 schedFixed::scheduler::entry:482 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],483 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),484 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),485 schedFixed::scheduler::mBuild: Set(),486 schedFixed::scheduler::mDone: Set(),487 schedFixed::scheduler::mExpect: Set("w2"),488 schedFixed::scheduler::mResult: Set(),489 schedFixed::scheduler::mRetry: Set(),490 schedFixed::scheduler::mRevoke: Set(),491 schedFixed::scheduler::mSchedule: Set(),492 schedFixed::scheduler::published: 0,493 schedFixed::scheduler::publishedBy: Set(),494 schedFixed::scheduler::ws:495 Map(496 "w1" ->497 {498 attached: Set(),499 built: false,500 expecting: false,501 running: false,502 session: true,503 up: true504 },505 "w2" ->506 {507 attached: Set(),508 built: false,509 expecting: false,510 running: false,511 session: true,512 up: true513 }514 )515}516517[State 13]518{519 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),520 schedFixed::scheduler::crashes: 2,521 schedFixed::scheduler::entry:522 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],523 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),524 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),525 schedFixed::scheduler::mBuild: Set(("c2", "w2")),526 schedFixed::scheduler::mDone: Set(),527 schedFixed::scheduler::mExpect: Set("w2"),528 schedFixed::scheduler::mResult: Set(),529 schedFixed::scheduler::mRetry: Set(),530 schedFixed::scheduler::mRevoke: Set(),531 schedFixed::scheduler::mSchedule: Set(),532 schedFixed::scheduler::published: 0,533 schedFixed::scheduler::publishedBy: Set(),534 schedFixed::scheduler::ws:535 Map(536 "w1" ->537 {538 attached: Set(),539 built: false,540 expecting: false,541 running: false,542 session: true,543 up: true544 },545 "w2" ->546 {547 attached: Set(),548 built: false,549 expecting: false,550 running: false,551 session: true,552 up: true553 }554 )555}556557[State 14]558{559 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),560 schedFixed::scheduler::crashes: 2,561 schedFixed::scheduler::entry:562 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],563 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),564 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),565 schedFixed::scheduler::mBuild: Set(),566 schedFixed::scheduler::mDone: Set(),567 schedFixed::scheduler::mExpect: Set("w2"),568 schedFixed::scheduler::mResult: Set(),569 schedFixed::scheduler::mRetry: Set("c2"),570 schedFixed::scheduler::mRevoke: Set(),571 schedFixed::scheduler::mSchedule: Set(),572 schedFixed::scheduler::published: 0,573 schedFixed::scheduler::publishedBy: Set(),574 schedFixed::scheduler::ws:575 Map(576 "w1" ->577 {578 attached: Set(),579 built: false,580 expecting: false,581 running: false,582 session: true,583 up: true584 },585 "w2" ->586 {587 attached: Set(),588 built: false,589 expecting: false,590 running: false,591 session: true,592 up: true593 }594 )595}596597[State 15]598{599 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),600 schedFixed::scheduler::crashes: 2,601 schedFixed::scheduler::entry:602 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],603 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),604 schedFixed::scheduler::mAssigned: Set(),605 schedFixed::scheduler::mBuild: Set(("c1", "w2")),606 schedFixed::scheduler::mDone: Set(),607 schedFixed::scheduler::mExpect: Set("w2"),608 schedFixed::scheduler::mResult: Set(),609 schedFixed::scheduler::mRetry: Set("c2"),610 schedFixed::scheduler::mRevoke: Set(),611 schedFixed::scheduler::mSchedule: Set(),612 schedFixed::scheduler::published: 0,613 schedFixed::scheduler::publishedBy: Set(),614 schedFixed::scheduler::ws:615 Map(616 "w1" ->617 {618 attached: Set(),619 built: false,620 expecting: false,621 running: false,622 session: true,623 up: true624 },625 "w2" ->626 {627 attached: Set(),628 built: false,629 expecting: false,630 running: false,631 session: true,632 up: true633 }634 )635}636637[State 16]638{639 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),640 schedFixed::scheduler::crashes: 2,641 schedFixed::scheduler::entry:642 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],643 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),644 schedFixed::scheduler::mAssigned: Set(),645 schedFixed::scheduler::mBuild: Set(("c1", "w2")),646 schedFixed::scheduler::mDone: Set(),647 schedFixed::scheduler::mExpect: Set("w2"),648 schedFixed::scheduler::mResult: Set(),649 schedFixed::scheduler::mRetry: Set(),650 schedFixed::scheduler::mRevoke: Set(),651 schedFixed::scheduler::mSchedule: Set("c2"),652 schedFixed::scheduler::published: 0,653 schedFixed::scheduler::publishedBy: Set(),654 schedFixed::scheduler::ws:655 Map(656 "w1" ->657 {658 attached: Set(),659 built: false,660 expecting: false,661 running: false,662 session: true,663 up: true664 },665 "w2" ->666 {667 attached: Set(),668 built: false,669 expecting: false,670 running: false,671 session: true,672 up: true673 }674 )675}676677[State 17]678{679 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),680 schedFixed::scheduler::crashes: 2,681 schedFixed::scheduler::entry:682 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],683 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),684 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),685 schedFixed::scheduler::mBuild: Set(("c1", "w2")),686 schedFixed::scheduler::mDone: Set(),687 schedFixed::scheduler::mExpect: Set("w2"),688 schedFixed::scheduler::mResult: Set(),689 schedFixed::scheduler::mRetry: Set(),690 schedFixed::scheduler::mRevoke: Set(),691 schedFixed::scheduler::mSchedule: Set(),692 schedFixed::scheduler::published: 0,693 schedFixed::scheduler::publishedBy: Set(),694 schedFixed::scheduler::ws:695 Map(696 "w1" ->697 {698 attached: Set(),699 built: false,700 expecting: false,701 running: false,702 session: true,703 up: true704 },705 "w2" ->706 {707 attached: Set(),708 built: false,709 expecting: false,710 running: false,711 session: true,712 up: true713 }714 )715}716717[State 18]718{719 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),720 schedFixed::scheduler::crashes: 2,721 schedFixed::scheduler::entry:722 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],723 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),724 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),725 schedFixed::scheduler::mBuild: Set(),726 schedFixed::scheduler::mDone: Set(),727 schedFixed::scheduler::mExpect: Set("w2"),728 schedFixed::scheduler::mResult: Set(),729 schedFixed::scheduler::mRetry: Set("c1"),730 schedFixed::scheduler::mRevoke: Set(),731 schedFixed::scheduler::mSchedule: Set(),732 schedFixed::scheduler::published: 0,733 schedFixed::scheduler::publishedBy: Set(),734 schedFixed::scheduler::ws:735 Map(736 "w1" ->737 {738 attached: Set(),739 built: false,740 expecting: false,741 running: false,742 session: true,743 up: true744 },745 "w2" ->746 {747 attached: Set(),748 built: false,749 expecting: false,750 running: false,751 session: true,752 up: true753 }754 )755}756757[State 19]758{759 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),760 schedFixed::scheduler::crashes: 2,761 schedFixed::scheduler::entry:762 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],763 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),764 schedFixed::scheduler::mAssigned: Set(),765 schedFixed::scheduler::mBuild: Set(("c2", "w2")),766 schedFixed::scheduler::mDone: Set(),767 schedFixed::scheduler::mExpect: Set("w2"),768 schedFixed::scheduler::mResult: Set(),769 schedFixed::scheduler::mRetry: Set("c1"),770 schedFixed::scheduler::mRevoke: Set(),771 schedFixed::scheduler::mSchedule: Set(),772 schedFixed::scheduler::published: 0,773 schedFixed::scheduler::publishedBy: Set(),774 schedFixed::scheduler::ws:775 Map(776 "w1" ->777 {778 attached: Set(),779 built: false,780 expecting: false,781 running: false,782 session: true,783 up: true784 },785 "w2" ->786 {787 attached: Set(),788 built: false,789 expecting: false,790 running: false,791 session: true,792 up: true793 }794 )795}796797[State 20]798{799 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),800 schedFixed::scheduler::crashes: 2,801 schedFixed::scheduler::entry:802 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],803 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),804 schedFixed::scheduler::mAssigned: Set(),805 schedFixed::scheduler::mBuild: Set(("c2", "w2")),806 schedFixed::scheduler::mDone: Set(),807 schedFixed::scheduler::mExpect: Set("w2"),808 schedFixed::scheduler::mResult: Set(),809 schedFixed::scheduler::mRetry: Set(),810 schedFixed::scheduler::mRevoke: Set(),811 schedFixed::scheduler::mSchedule: Set("c1"),812 schedFixed::scheduler::published: 0,813 schedFixed::scheduler::publishedBy: Set(),814 schedFixed::scheduler::ws:815 Map(816 "w1" ->817 {818 attached: Set(),819 built: false,820 expecting: false,821 running: false,822 session: true,823 up: true824 },825 "w2" ->826 {827 attached: Set(),828 built: false,829 expecting: false,830 running: false,831 session: true,832 up: true833 }834 )835}836837[State 21]838{839 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),840 schedFixed::scheduler::crashes: 2,841 schedFixed::scheduler::entry:842 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],843 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),844 schedFixed::scheduler::mAssigned: Set(),845 schedFixed::scheduler::mBuild: Set(),846 schedFixed::scheduler::mDone: Set(),847 schedFixed::scheduler::mExpect: Set("w2"),848 schedFixed::scheduler::mResult: Set(),849 schedFixed::scheduler::mRetry: Set("c2"),850 schedFixed::scheduler::mRevoke: Set(),851 schedFixed::scheduler::mSchedule: Set("c1"),852 schedFixed::scheduler::published: 0,853 schedFixed::scheduler::publishedBy: Set(),854 schedFixed::scheduler::ws:855 Map(856 "w1" ->857 {858 attached: Set(),859 built: false,860 expecting: false,861 running: false,862 session: true,863 up: true864 },865 "w2" ->866 {867 attached: Set(),868 built: false,869 expecting: false,870 running: false,871 session: true,872 up: true873 }874 )875}876877[State 22]878{879 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),880 schedFixed::scheduler::crashes: 2,881 schedFixed::scheduler::entry:882 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],883 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),884 schedFixed::scheduler::mAssigned: Set(),885 schedFixed::scheduler::mBuild: Set(),886 schedFixed::scheduler::mDone: Set(),887 schedFixed::scheduler::mExpect: Set("w2"),888 schedFixed::scheduler::mResult: Set(),889 schedFixed::scheduler::mRetry: Set(),890 schedFixed::scheduler::mRevoke: Set(),891 schedFixed::scheduler::mSchedule: Set("c1", "c2"),892 schedFixed::scheduler::published: 0,893 schedFixed::scheduler::publishedBy: Set(),894 schedFixed::scheduler::ws:895 Map(896 "w1" ->897 {898 attached: Set(),899 built: false,900 expecting: false,901 running: false,902 session: true,903 up: true904 },905 "w2" ->906 {907 attached: Set(),908 built: false,909 expecting: false,910 running: false,911 session: true,912 up: true913 }914 )915}916917[State 23]918{919 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),920 schedFixed::scheduler::crashes: 2,921 schedFixed::scheduler::entry:922 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],923 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),924 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),925 schedFixed::scheduler::mBuild: Set(),926 schedFixed::scheduler::mDone: Set(),927 schedFixed::scheduler::mExpect: Set("w2"),928 schedFixed::scheduler::mResult: Set(),929 schedFixed::scheduler::mRetry: Set(),930 schedFixed::scheduler::mRevoke: Set(),931 schedFixed::scheduler::mSchedule: Set("c1"),932 schedFixed::scheduler::published: 0,933 schedFixed::scheduler::publishedBy: Set(),934 schedFixed::scheduler::ws:935 Map(936 "w1" ->937 {938 attached: Set(),939 built: false,940 expecting: false,941 running: false,942 session: true,943 up: true944 },945 "w2" ->946 {947 attached: Set(),948 built: false,949 expecting: false,950 running: false,951 session: true,952 up: true953 }954 )955}956957[State 24]958{959 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),960 schedFixed::scheduler::crashes: 2,961 schedFixed::scheduler::entry:962 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],963 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),964 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),965 schedFixed::scheduler::mBuild: Set(),966 schedFixed::scheduler::mDone: Set(),967 schedFixed::scheduler::mExpect: Set("w2"),968 schedFixed::scheduler::mResult: Set(),969 schedFixed::scheduler::mRetry: Set(),970 schedFixed::scheduler::mRevoke: Set(),971 schedFixed::scheduler::mSchedule: Set(),972 schedFixed::scheduler::published: 0,973 schedFixed::scheduler::publishedBy: Set(),974 schedFixed::scheduler::ws:975 Map(976 "w1" ->977 {978 attached: Set(),979 built: false,980 expecting: false,981 running: false,982 session: true,983 up: true984 },985 "w2" ->986 {987 attached: Set(),988 built: false,989 expecting: false,990 running: false,991 session: true,992 up: true993 }994 )995}996997[State 25]998{999 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1000 schedFixed::scheduler::crashes: 2,1001 schedFixed::scheduler::entry:1002 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1003 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1004 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1005 schedFixed::scheduler::mBuild: Set(),1006 schedFixed::scheduler::mDone: Set(),1007 schedFixed::scheduler::mExpect: Set(),1008 schedFixed::scheduler::mResult: Set(),1009 schedFixed::scheduler::mRetry: Set(),1010 schedFixed::scheduler::mRevoke: Set(),1011 schedFixed::scheduler::mSchedule: Set(),1012 schedFixed::scheduler::published: 0,1013 schedFixed::scheduler::publishedBy: Set(),1014 schedFixed::scheduler::ws:1015 Map(1016 "w1" ->1017 {1018 attached: Set(),1019 built: false,1020 expecting: false,1021 running: false,1022 session: true,1023 up: true1024 },1025 "w2" ->1026 {1027 attached: Set(),1028 built: false,1029 expecting: true,1030 running: true,1031 session: true,1032 up: true1033 }1034 )1035}10361037[State 26]1038{1039 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1040 schedFixed::scheduler::crashes: 2,1041 schedFixed::scheduler::entry:1042 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1043 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1044 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1045 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1046 schedFixed::scheduler::mDone: Set(),1047 schedFixed::scheduler::mExpect: Set(),1048 schedFixed::scheduler::mResult: Set(),1049 schedFixed::scheduler::mRetry: Set(),1050 schedFixed::scheduler::mRevoke: Set(),1051 schedFixed::scheduler::mSchedule: Set(),1052 schedFixed::scheduler::published: 0,1053 schedFixed::scheduler::publishedBy: Set(),1054 schedFixed::scheduler::ws:1055 Map(1056 "w1" ->1057 {1058 attached: Set(),1059 built: false,1060 expecting: false,1061 running: false,1062 session: true,1063 up: true1064 },1065 "w2" ->1066 {1067 attached: Set(),1068 built: false,1069 expecting: true,1070 running: true,1071 session: true,1072 up: true1073 }1074 )1075}10761077[State 27]1078{1079 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1080 schedFixed::scheduler::crashes: 2,1081 schedFixed::scheduler::entry:1082 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1083 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1084 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1085 schedFixed::scheduler::mBuild: Set(),1086 schedFixed::scheduler::mDone: Set(),1087 schedFixed::scheduler::mExpect: Set(),1088 schedFixed::scheduler::mResult: Set(),1089 schedFixed::scheduler::mRetry: Set(),1090 schedFixed::scheduler::mRevoke: Set(),1091 schedFixed::scheduler::mSchedule: Set(),1092 schedFixed::scheduler::published: 0,1093 schedFixed::scheduler::publishedBy: Set(),1094 schedFixed::scheduler::ws:1095 Map(1096 "w1" ->1097 {1098 attached: Set(),1099 built: false,1100 expecting: false,1101 running: false,1102 session: true,1103 up: true1104 },1105 "w2" ->1106 {1107 attached: Set("c2"),1108 built: false,1109 expecting: true,1110 running: true,1111 session: true,1112 up: true1113 }1114 )1115}11161117[State 28]1118{1119 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1120 schedFixed::scheduler::crashes: 2,1121 schedFixed::scheduler::entry:1122 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1123 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1124 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1125 schedFixed::scheduler::mBuild: Set(),1126 schedFixed::scheduler::mDone: Set("w2"),1127 schedFixed::scheduler::mExpect: Set(),1128 schedFixed::scheduler::mResult: Set("c2"),1129 schedFixed::scheduler::mRetry: Set(),1130 schedFixed::scheduler::mRevoke: Set(),1131 schedFixed::scheduler::mSchedule: Set(),1132 schedFixed::scheduler::published: 1,1133 schedFixed::scheduler::publishedBy: Set("w2"),1134 schedFixed::scheduler::ws:1135 Map(1136 "w1" ->1137 {1138 attached: Set(),1139 built: false,1140 expecting: false,1141 running: false,1142 session: true,1143 up: true1144 },1145 "w2" ->1146 {1147 attached: Set(),1148 built: true,1149 expecting: false,1150 running: false,1151 session: true,1152 up: true1153 }1154 )1155}11561157[State 29]1158{1159 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),1160 schedFixed::scheduler::crashes: 2,1161 schedFixed::scheduler::entry:1162 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1163 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1164 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1165 schedFixed::scheduler::mBuild: Set(),1166 schedFixed::scheduler::mDone: Set("w2"),1167 schedFixed::scheduler::mExpect: Set(),1168 schedFixed::scheduler::mResult: Set(),1169 schedFixed::scheduler::mRetry: Set(),1170 schedFixed::scheduler::mRevoke: Set(),1171 schedFixed::scheduler::mSchedule: Set(),1172 schedFixed::scheduler::published: 1,1173 schedFixed::scheduler::publishedBy: Set("w2"),1174 schedFixed::scheduler::ws:1175 Map(1176 "w1" ->1177 {1178 attached: Set(),1179 built: false,1180 expecting: false,1181 running: false,1182 session: true,1183 up: true1184 },1185 "w2" ->1186 {1187 attached: Set(),1188 built: true,1189 expecting: false,1190 running: false,1191 session: true,1192 up: true1193 }1194 )1195}11961197[State 30]1198{1199 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CDone),1200 schedFixed::scheduler::crashes: 2,1201 schedFixed::scheduler::entry:1202 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1203 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1204 schedFixed::scheduler::mAssigned: Set(),1205 schedFixed::scheduler::mBuild: Set(("c1", "w2")),1206 schedFixed::scheduler::mDone: Set("w2"),1207 schedFixed::scheduler::mExpect: Set(),1208 schedFixed::scheduler::mResult: Set(),1209 schedFixed::scheduler::mRetry: Set(),1210 schedFixed::scheduler::mRevoke: Set(),1211 schedFixed::scheduler::mSchedule: Set(),1212 schedFixed::scheduler::published: 1,1213 schedFixed::scheduler::publishedBy: Set("w2"),1214 schedFixed::scheduler::ws:1215 Map(1216 "w1" ->1217 {1218 attached: Set(),1219 built: false,1220 expecting: false,1221 running: false,1222 session: true,1223 up: true1224 },1225 "w2" ->1226 {1227 attached: Set(),1228 built: true,1229 expecting: false,1230 running: false,1231 session: true,1232 up: true1233 }1234 )1235}12361237[ok] No violation found (8536ms at 3515 traces/second).1238Trace length statistics: max=31, min=15, average=18.821239You may increase --max-samples and --max-steps.1240Use --verbosity to produce more (or less) output.1241Use --seed=0x4831753de62590d4 --backend=rust to reproduce.1242Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 3% | ETA: 5s | 1042/30000 samples | 6993 samples/sRunning... [■ ] 3% | ETA: 5s | 1042/30000 samples | 6993 samples/sRunning... [■■ ] 5% | ETA: 7s | 1587/30000 samples | 4336 samples/sRunning... [■■ ] 5% | ETA: 7s | 1587/30000 samples | 4336 samples/sRunning... [■■■ ] 6% | ETA: 8s | 1981/30000 samples | 3862 samples/sRunning... [■■■ ] 8% | ETA: 8s | 2439/30000 samples | 3540 samples/sRunning... [■■■ ] 8% | ETA: 8s | 2439/30000 samples | 3540 samples/sRunning... [■■■■ ] 9% | ETA: 8s | 2844/30000 samples | 3477 samples/sRunning... [■■■■ ] 9% | ETA: 8s | 2844/30000 samples | 3477 samples/sRunning... [■■■■■ ] 11% | ETA: 9s | 3510/30000 samples | 3290 samples/sRunning... [■■■■■ ] 12% | ETA: 9s | 3860/30000 samples | 3195 samples/sRunning... [■■■■■ ] 12% | ETA: 9s | 3860/30000 samples | 3195 samples/sRunning... [■■■■■ ] 12% | ETA: 9s | 3860/30000 samples | 3195 samples/sRunning... [■■■■■■ ] 15% | ETA: 9s | 4569/30000 samples | 3136 samples/sRunning... [■■■■■■ ] 15% | ETA: 9s | 4569/30000 samples | 3136 samples/sRunning... [■■■■■■■ ] 17% | ETA: 8s | 5294/30000 samples | 3101 samples/sRunning... [■■■■■■■ ] 18% | ETA: 9s | 5572/30000 samples | 3084 samples/sRunning... [■■■■■■■ ] 18% | ETA: 9s | 5572/30000 samples | 3084 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 9s | 6012/30000 samples | 3081 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 9s | 6395/30000 samples | 3070 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 9s | 6395/30000 samples | 3070 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 9s | 6889/30000 samples | 3025 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 9s | 6889/30000 samples | 3025 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 9s | 7494/30000 samples | 2966 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 9s | 7494/30000 samples | 2966 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 9s | 7825/30000 samples | 2930 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 9s | 8147/30000 samples | 2888 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 9s | 8147/30000 samples | 2888 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 9s | 8594/30000 samples | 2819 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 9s | 8594/30000 samples | 2819 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 9s | 8835/30000 samples | 2788 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 9s | 9086/30000 samples | 2761 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 9s | 9086/30000 samples | 2761 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 9s | 9609/30000 samples | 2717 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 10s | 9902/30000 samples | 2697 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 10s | 9902/30000 samples | 2697 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 9s | 10430/30000 samples | 2690 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 9s | 10430/30000 samples | 2690 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 9s | 10430/30000 samples | 2690 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 9s | 10950/30000 samples | 2683 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 9s | 11295/30000 samples | 2671 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 9s | 11564/30000 samples | 2669 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 9s | 11799/30000 samples | 2647 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 9s | 11799/30000 samples | 2647 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 9s | 11799/30000 samples | 2647 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 8s | 12269/30000 samples | 2607 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 8s | 12467/30000 samples | 2591 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 8s | 12467/30000 samples | 2591 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 9s | 12709/30000 samples | 2513 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 9s | 12834/30000 samples | 2477 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 9s | 12834/30000 samples | 2477 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 10s | 13019/30000 samples | 2442 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 11s | 13224/30000 samples | 2417 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 12s | 13274/30000 samples | 2378 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 12s | 13274/30000 samples | 2378 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 12s | 13274/30000 samples | 2378 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 13s | 13510/30000 samples | 2326 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 13s | 13510/30000 samples | 2326 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 14s | 13665/30000 samples | 2273 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 16s | 13785/30000 samples | 2234 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 16s | 13785/30000 samples | 2234 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 18s | 13918/30000 samples | 2186 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 18s | 13918/30000 samples | 2186 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 19s | 14011/30000 samples | 2144 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 20s | 14089/30000 samples | 2106 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 20s | 14089/30000 samples | 2106 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 20s | 14089/30000 samples | 2106 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 19s | 14371/30000 samples | 2073 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 19s | 14371/30000 samples | 2073 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 19s | 14662/30000 samples | 2041 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 19s | 14662/30000 samples | 2041 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 19s | 14662/30000 samples | 2041 samples/sAn example execution:12431244[State 0]1245{1246 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1247 schedNoRevoke::scheduler::crashes: 0,1248 schedNoRevoke::scheduler::entry: [],1249 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1250 schedNoRevoke::scheduler::mAssigned: Set(),1251 schedNoRevoke::scheduler::mBuild: Set(),1252 schedNoRevoke::scheduler::mDone: Set(),1253 schedNoRevoke::scheduler::mExpect: Set(),1254 schedNoRevoke::scheduler::mResult: Set(),1255 schedNoRevoke::scheduler::mRetry: Set(),1256 schedNoRevoke::scheduler::mRevoke: Set(),1257 schedNoRevoke::scheduler::mSchedule: Set(),1258 schedNoRevoke::scheduler::published: 0,1259 schedNoRevoke::scheduler::publishedBy: Set(),1260 schedNoRevoke::scheduler::ws:1261 Map(1262 "w1" ->1263 {1264 attached: Set(),1265 built: false,1266 expecting: false,1267 running: false,1268 session: true,1269 up: true1270 },1271 "w2" ->1272 {1273 attached: Set(),1274 built: false,1275 expecting: false,1276 running: false,1277 session: true,1278 up: true1279 }1280 )1281}12821283[State 1]1284{1285 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1286 schedNoRevoke::scheduler::crashes: 1,1287 schedNoRevoke::scheduler::entry: [],1288 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1289 schedNoRevoke::scheduler::mAssigned: Set(),1290 schedNoRevoke::scheduler::mBuild: Set(),1291 schedNoRevoke::scheduler::mDone: Set(),1292 schedNoRevoke::scheduler::mExpect: Set(),1293 schedNoRevoke::scheduler::mResult: Set(),1294 schedNoRevoke::scheduler::mRetry: Set(),1295 schedNoRevoke::scheduler::mRevoke: Set(),1296 schedNoRevoke::scheduler::mSchedule: Set(),1297 schedNoRevoke::scheduler::published: 0,1298 schedNoRevoke::scheduler::publishedBy: Set(),1299 schedNoRevoke::scheduler::ws:1300 Map(1301 "w1" ->1302 {1303 attached: Set(),1304 built: false,1305 expecting: false,1306 running: false,1307 session: true,1308 up: true1309 },1310 "w2" ->1311 {1312 attached: Set(),1313 built: false,1314 expecting: false,1315 running: false,1316 session: false,1317 up: false1318 }1319 )1320}13211322[State 2]1323{1324 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1325 schedNoRevoke::scheduler::crashes: 1,1326 schedNoRevoke::scheduler::entry: [],1327 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1328 schedNoRevoke::scheduler::mAssigned: Set(),1329 schedNoRevoke::scheduler::mBuild: Set(),1330 schedNoRevoke::scheduler::mDone: Set(),1331 schedNoRevoke::scheduler::mExpect: Set(),1332 schedNoRevoke::scheduler::mResult: Set(),1333 schedNoRevoke::scheduler::mRetry: Set(),1334 schedNoRevoke::scheduler::mRevoke: Set(),1335 schedNoRevoke::scheduler::mSchedule: Set("c2"),1336 schedNoRevoke::scheduler::published: 0,1337 schedNoRevoke::scheduler::publishedBy: Set(),1338 schedNoRevoke::scheduler::ws:1339 Map(1340 "w1" ->1341 {1342 attached: Set(),1343 built: false,1344 expecting: false,1345 running: false,1346 session: true,1347 up: true1348 },1349 "w2" ->1350 {1351 attached: Set(),1352 built: false,1353 expecting: false,1354 running: false,1355 session: false,1356 up: false1357 }1358 )1359}13601361[State 3]1362{1363 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1364 schedNoRevoke::scheduler::crashes: 1,1365 schedNoRevoke::scheduler::entry: [],1366 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1367 schedNoRevoke::scheduler::mAssigned: Set(),1368 schedNoRevoke::scheduler::mBuild: Set(),1369 schedNoRevoke::scheduler::mDone: Set(),1370 schedNoRevoke::scheduler::mExpect: Set(),1371 schedNoRevoke::scheduler::mResult: Set(),1372 schedNoRevoke::scheduler::mRetry: Set(),1373 schedNoRevoke::scheduler::mRevoke: Set(),1374 schedNoRevoke::scheduler::mSchedule: Set("c1", "c2"),1375 schedNoRevoke::scheduler::published: 0,1376 schedNoRevoke::scheduler::publishedBy: Set(),1377 schedNoRevoke::scheduler::ws:1378 Map(1379 "w1" ->1380 {1381 attached: Set(),1382 built: false,1383 expecting: false,1384 running: false,1385 session: true,1386 up: true1387 },1388 "w2" ->1389 {1390 attached: Set(),1391 built: false,1392 expecting: false,1393 running: false,1394 session: false,1395 up: false1396 }1397 )1398}13991400[State 4]1401{1402 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1403 schedNoRevoke::scheduler::crashes: 1,1404 schedNoRevoke::scheduler::entry: [],1405 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1406 schedNoRevoke::scheduler::mAssigned: Set(),1407 schedNoRevoke::scheduler::mBuild: Set(),1408 schedNoRevoke::scheduler::mDone: Set(),1409 schedNoRevoke::scheduler::mExpect: Set(),1410 schedNoRevoke::scheduler::mResult: Set(),1411 schedNoRevoke::scheduler::mRetry: Set(),1412 schedNoRevoke::scheduler::mRevoke: Set(),1413 schedNoRevoke::scheduler::mSchedule: Set("c1", "c2"),1414 schedNoRevoke::scheduler::published: 0,1415 schedNoRevoke::scheduler::publishedBy: Set(),1416 schedNoRevoke::scheduler::ws:1417 Map(1418 "w1" ->1419 {1420 attached: Set(),1421 built: false,1422 expecting: false,1423 running: false,1424 session: true,1425 up: true1426 },1427 "w2" ->1428 {1429 attached: Set(),1430 built: false,1431 expecting: false,1432 running: false,1433 session: true,1434 up: true1435 }1436 )1437}14381439[State 5]1440{1441 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1442 schedNoRevoke::scheduler::crashes: 1,1443 schedNoRevoke::scheduler::entry:1444 [{ followers: Set("c1"), leased: true, worker: "w2" }],1445 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1446 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),1447 schedNoRevoke::scheduler::mBuild: Set(),1448 schedNoRevoke::scheduler::mDone: Set(),1449 schedNoRevoke::scheduler::mExpect: Set("w2"),1450 schedNoRevoke::scheduler::mResult: Set(),1451 schedNoRevoke::scheduler::mRetry: Set(),1452 schedNoRevoke::scheduler::mRevoke: Set(),1453 schedNoRevoke::scheduler::mSchedule: Set("c2"),1454 schedNoRevoke::scheduler::published: 0,1455 schedNoRevoke::scheduler::publishedBy: Set(),1456 schedNoRevoke::scheduler::ws:1457 Map(1458 "w1" ->1459 {1460 attached: Set(),1461 built: false,1462 expecting: false,1463 running: false,1464 session: true,1465 up: true1466 },1467 "w2" ->1468 {1469 attached: Set(),1470 built: false,1471 expecting: false,1472 running: false,1473 session: true,1474 up: true1475 }1476 )1477}14781479[State 6]1480{1481 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1482 schedNoRevoke::scheduler::crashes: 1,1483 schedNoRevoke::scheduler::entry:1484 [{ followers: Set("c1"), leased: true, worker: "w2" }],1485 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1486 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),1487 schedNoRevoke::scheduler::mBuild: Set(),1488 schedNoRevoke::scheduler::mDone: Set(),1489 schedNoRevoke::scheduler::mExpect: Set(),1490 schedNoRevoke::scheduler::mResult: Set(),1491 schedNoRevoke::scheduler::mRetry: Set(),1492 schedNoRevoke::scheduler::mRevoke: Set(),1493 schedNoRevoke::scheduler::mSchedule: Set("c2"),1494 schedNoRevoke::scheduler::published: 0,1495 schedNoRevoke::scheduler::publishedBy: Set(),1496 schedNoRevoke::scheduler::ws:1497 Map(1498 "w1" ->1499 {1500 attached: Set(),1501 built: false,1502 expecting: false,1503 running: false,1504 session: true,1505 up: true1506 },1507 "w2" ->1508 {1509 attached: Set(),1510 built: false,1511 expecting: true,1512 running: true,1513 session: true,1514 up: true1515 }1516 )1517}15181519[State 7]1520{1521 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1522 schedNoRevoke::scheduler::crashes: 2,1523 schedNoRevoke::scheduler::entry: [],1524 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1525 schedNoRevoke::scheduler::mAssigned: Set(),1526 schedNoRevoke::scheduler::mBuild: Set(),1527 schedNoRevoke::scheduler::mDone: Set(),1528 schedNoRevoke::scheduler::mExpect: Set(),1529 schedNoRevoke::scheduler::mResult: Set(),1530 schedNoRevoke::scheduler::mRetry: Set("c1", "c2"),1531 schedNoRevoke::scheduler::mRevoke: Set(),1532 schedNoRevoke::scheduler::mSchedule: Set(),1533 schedNoRevoke::scheduler::published: 0,1534 schedNoRevoke::scheduler::publishedBy: Set(),1535 schedNoRevoke::scheduler::ws:1536 Map(1537 "w1" ->1538 {1539 attached: Set(),1540 built: false,1541 expecting: false,1542 running: false,1543 session: false,1544 up: true1545 },1546 "w2" ->1547 {1548 attached: Set(),1549 built: false,1550 expecting: true,1551 running: true,1552 session: false,1553 up: true1554 }1555 )1556}15571558[State 8]1559{1560 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1561 schedNoRevoke::scheduler::crashes: 2,1562 schedNoRevoke::scheduler::entry: [],1563 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1564 schedNoRevoke::scheduler::mAssigned: Set(),1565 schedNoRevoke::scheduler::mBuild: Set(),1566 schedNoRevoke::scheduler::mDone: Set(),1567 schedNoRevoke::scheduler::mExpect: Set(),1568 schedNoRevoke::scheduler::mResult: Set(),1569 schedNoRevoke::scheduler::mRetry: Set("c1", "c2"),1570 schedNoRevoke::scheduler::mRevoke: Set(),1571 schedNoRevoke::scheduler::mSchedule: Set(),1572 schedNoRevoke::scheduler::published: 0,1573 schedNoRevoke::scheduler::publishedBy: Set(),1574 schedNoRevoke::scheduler::ws:1575 Map(1576 "w1" ->1577 {1578 attached: Set(),1579 built: false,1580 expecting: false,1581 running: false,1582 session: true,1583 up: true1584 },1585 "w2" ->1586 {1587 attached: Set(),1588 built: false,1589 expecting: true,1590 running: true,1591 session: false,1592 up: true1593 }1594 )1595}15961597[State 9]1598{1599 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1600 schedNoRevoke::scheduler::crashes: 2,1601 schedNoRevoke::scheduler::entry: [],1602 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1603 schedNoRevoke::scheduler::mAssigned: Set(),1604 schedNoRevoke::scheduler::mBuild: Set(),1605 schedNoRevoke::scheduler::mDone: Set(),1606 schedNoRevoke::scheduler::mExpect: Set(),1607 schedNoRevoke::scheduler::mResult: Set(),1608 schedNoRevoke::scheduler::mRetry: Set("c1"),1609 schedNoRevoke::scheduler::mRevoke: Set(),1610 schedNoRevoke::scheduler::mSchedule: Set("c2"),1611 schedNoRevoke::scheduler::published: 0,1612 schedNoRevoke::scheduler::publishedBy: Set(),1613 schedNoRevoke::scheduler::ws:1614 Map(1615 "w1" ->1616 {1617 attached: Set(),1618 built: false,1619 expecting: false,1620 running: false,1621 session: true,1622 up: true1623 },1624 "w2" ->1625 {1626 attached: Set(),1627 built: false,1628 expecting: true,1629 running: true,1630 session: false,1631 up: true1632 }1633 )1634}16351636[State 10]1637{1638 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1639 schedNoRevoke::scheduler::crashes: 2,1640 schedNoRevoke::scheduler::entry:1641 [{ followers: Set("c2"), leased: true, worker: "w1" }],1642 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),1643 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w1")),1644 schedNoRevoke::scheduler::mBuild: Set(),1645 schedNoRevoke::scheduler::mDone: Set(),1646 schedNoRevoke::scheduler::mExpect: Set("w1"),1647 schedNoRevoke::scheduler::mResult: Set(),1648 schedNoRevoke::scheduler::mRetry: Set("c1"),1649 schedNoRevoke::scheduler::mRevoke: Set(),1650 schedNoRevoke::scheduler::mSchedule: Set(),1651 schedNoRevoke::scheduler::published: 0,1652 schedNoRevoke::scheduler::publishedBy: Set(),1653 schedNoRevoke::scheduler::ws:1654 Map(1655 "w1" ->1656 {1657 attached: Set(),1658 built: false,1659 expecting: false,1660 running: false,1661 session: true,1662 up: true1663 },1664 "w2" ->1665 {1666 attached: Set(),1667 built: false,1668 expecting: true,1669 running: true,1670 session: false,1671 up: true1672 }1673 )1674}16751676[State 11]1677{1678 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1679 schedNoRevoke::scheduler::crashes: 2,1680 schedNoRevoke::scheduler::entry:1681 [{ followers: Set("c2"), leased: true, worker: "w1" }],1682 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1683 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w1")),1684 schedNoRevoke::scheduler::mBuild: Set(),1685 schedNoRevoke::scheduler::mDone: Set(),1686 schedNoRevoke::scheduler::mExpect: Set("w1"),1687 schedNoRevoke::scheduler::mResult: Set(),1688 schedNoRevoke::scheduler::mRetry: Set("c1"),1689 schedNoRevoke::scheduler::mRevoke: Set(),1690 schedNoRevoke::scheduler::mSchedule: Set(),1691 schedNoRevoke::scheduler::published: 0,1692 schedNoRevoke::scheduler::publishedBy: Set(),1693 schedNoRevoke::scheduler::ws:1694 Map(1695 "w1" ->1696 {1697 attached: Set(),1698 built: false,1699 expecting: false,1700 running: false,1701 session: true,1702 up: true1703 },1704 "w2" ->1705 {1706 attached: Set(),1707 built: false,1708 expecting: true,1709 running: true,1710 session: true,1711 up: true1712 }1713 )1714}17151716[State 12]1717{1718 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1719 schedNoRevoke::scheduler::crashes: 2,1720 schedNoRevoke::scheduler::entry:1721 [{ followers: Set("c2"), leased: true, worker: "w1" }],1722 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1723 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w1")),1724 schedNoRevoke::scheduler::mBuild: Set(),1725 schedNoRevoke::scheduler::mDone: Set(),1726 schedNoRevoke::scheduler::mExpect: Set(),1727 schedNoRevoke::scheduler::mResult: Set(),1728 schedNoRevoke::scheduler::mRetry: Set("c1"),1729 schedNoRevoke::scheduler::mRevoke: Set(),1730 schedNoRevoke::scheduler::mSchedule: Set(),1731 schedNoRevoke::scheduler::published: 0,1732 schedNoRevoke::scheduler::publishedBy: Set(),1733 schedNoRevoke::scheduler::ws:1734 Map(1735 "w1" ->1736 {1737 attached: Set(),1738 built: false,1739 expecting: true,1740 running: true,1741 session: true,1742 up: true1743 },1744 "w2" ->1745 {1746 attached: Set(),1747 built: false,1748 expecting: true,1749 running: true,1750 session: true,1751 up: true1752 }1753 )1754}17551756[violation] Found an issue (7469ms at 1995 traces/second).1757Use --verbosity=3 to show executions.1758Use --seed=0xa8e1919e66273a11 --backend=rust to reproduce.1759error: Invariant violated1760Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 5% | ETA: 4s | 1702/30000 samples | 9053 samples/sRunning... [■■■ ] 6% | ETA: 5s | 2018/30000 samples | 6959 samples/sRunning... [■■■ ] 6% | ETA: 5s | 2018/30000 samples | 6959 samples/sRunning... [■■■ ] 8% | ETA: 6s | 2522/30000 samples | 4974 samples/sRunning... [■■■ ] 8% | ETA: 6s | 2522/30000 samples | 4974 samples/sRunning... [■■■■ ] 10% | ETA: 7s | 3027/30000 samples | 4349 samples/sRunning... [■■■■ ] 10% | ETA: 7s | 3027/30000 samples | 4349 samples/sRunning... [■■■■ ] 10% | ETA: 7s | 3027/30000 samples | 4349 samples/sRunning... [■■■■■ ] 12% | ETA: 7s | 3670/30000 samples | 3884 samples/sRunning... [■■■■■ ] 12% | ETA: 7s | 3670/30000 samples | 3884 samples/sAn example execution:17611762[State 0]1763{1764 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1765 schedNoFence::scheduler::crashes: 0,1766 schedNoFence::scheduler::entry: [],1767 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1768 schedNoFence::scheduler::mAssigned: Set(),1769 schedNoFence::scheduler::mBuild: Set(),1770 schedNoFence::scheduler::mDone: Set(),1771 schedNoFence::scheduler::mExpect: Set(),1772 schedNoFence::scheduler::mResult: Set(),1773 schedNoFence::scheduler::mRetry: Set(),1774 schedNoFence::scheduler::mRevoke: Set(),1775 schedNoFence::scheduler::mSchedule: Set(),1776 schedNoFence::scheduler::published: 0,1777 schedNoFence::scheduler::publishedBy: Set(),1778 schedNoFence::scheduler::ws:1779 Map(1780 "w1" ->1781 {1782 attached: Set(),1783 built: false,1784 expecting: false,1785 running: false,1786 session: true,1787 up: true1788 },1789 "w2" ->1790 {1791 attached: Set(),1792 built: false,1793 expecting: false,1794 running: false,1795 session: true,1796 up: true1797 }1798 )1799}18001801[State 1]1802{1803 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1804 schedNoFence::scheduler::crashes: 0,1805 schedNoFence::scheduler::entry: [],1806 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1807 schedNoFence::scheduler::mAssigned: Set(),1808 schedNoFence::scheduler::mBuild: Set(),1809 schedNoFence::scheduler::mDone: Set(),1810 schedNoFence::scheduler::mExpect: Set(),1811 schedNoFence::scheduler::mResult: Set(),1812 schedNoFence::scheduler::mRetry: Set(),1813 schedNoFence::scheduler::mRevoke: Set(),1814 schedNoFence::scheduler::mSchedule: Set("c2"),1815 schedNoFence::scheduler::published: 0,1816 schedNoFence::scheduler::publishedBy: Set(),1817 schedNoFence::scheduler::ws:1818 Map(1819 "w1" ->1820 {1821 attached: Set(),1822 built: false,1823 expecting: false,1824 running: false,1825 session: true,1826 up: true1827 },1828 "w2" ->1829 {1830 attached: Set(),1831 built: false,1832 expecting: false,1833 running: false,1834 session: true,1835 up: true1836 }1837 )1838}18391840[State 2]1841{1842 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1843 schedNoFence::scheduler::crashes: 0,1844 schedNoFence::scheduler::entry:1845 [{ followers: Set("c2"), leased: true, worker: "w1" }],1846 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1847 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1848 schedNoFence::scheduler::mBuild: Set(),1849 schedNoFence::scheduler::mDone: Set(),1850 schedNoFence::scheduler::mExpect: Set("w1"),1851 schedNoFence::scheduler::mResult: Set(),1852 schedNoFence::scheduler::mRetry: Set(),1853 schedNoFence::scheduler::mRevoke: Set(),1854 schedNoFence::scheduler::mSchedule: Set(),1855 schedNoFence::scheduler::published: 0,1856 schedNoFence::scheduler::publishedBy: Set(),1857 schedNoFence::scheduler::ws:1858 Map(1859 "w1" ->1860 {1861 attached: Set(),1862 built: false,1863 expecting: false,1864 running: false,1865 session: true,1866 up: true1867 },1868 "w2" ->1869 {1870 attached: Set(),1871 built: false,1872 expecting: false,1873 running: false,1874 session: true,1875 up: true1876 }1877 )1878}18791880[State 3]1881{1882 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1883 schedNoFence::scheduler::crashes: 1,1884 schedNoFence::scheduler::entry:1885 [{ followers: Set("c2"), leased: true, worker: "w1" }],1886 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1887 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1888 schedNoFence::scheduler::mBuild: Set(),1889 schedNoFence::scheduler::mDone: Set(),1890 schedNoFence::scheduler::mExpect: Set("w1"),1891 schedNoFence::scheduler::mResult: Set(),1892 schedNoFence::scheduler::mRetry: Set(),1893 schedNoFence::scheduler::mRevoke: Set(),1894 schedNoFence::scheduler::mSchedule: Set(),1895 schedNoFence::scheduler::published: 0,1896 schedNoFence::scheduler::publishedBy: Set(),1897 schedNoFence::scheduler::ws:1898 Map(1899 "w1" ->1900 {1901 attached: Set(),1902 built: false,1903 expecting: false,1904 running: false,1905 session: true,1906 up: true1907 },1908 "w2" ->1909 {1910 attached: Set(),1911 built: false,1912 expecting: false,1913 running: false,1914 session: false,1915 up: false1916 }1917 )1918}19191920[State 4]1921{1922 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1923 schedNoFence::scheduler::crashes: 1,1924 schedNoFence::scheduler::entry:1925 [{ followers: Set("c2"), leased: true, worker: "w1" }],1926 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1927 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1928 schedNoFence::scheduler::mBuild: Set(),1929 schedNoFence::scheduler::mDone: Set(),1930 schedNoFence::scheduler::mExpect: Set(),1931 schedNoFence::scheduler::mResult: Set(),1932 schedNoFence::scheduler::mRetry: Set(),1933 schedNoFence::scheduler::mRevoke: Set(),1934 schedNoFence::scheduler::mSchedule: Set(),1935 schedNoFence::scheduler::published: 0,1936 schedNoFence::scheduler::publishedBy: Set(),1937 schedNoFence::scheduler::ws:1938 Map(1939 "w1" ->1940 {1941 attached: Set(),1942 built: false,1943 expecting: true,1944 running: true,1945 session: true,1946 up: true1947 },1948 "w2" ->1949 {1950 attached: Set(),1951 built: false,1952 expecting: false,1953 running: false,1954 session: false,1955 up: false1956 }1957 )1958}19591960[State 5]1961{1962 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1963 schedNoFence::scheduler::crashes: 1,1964 schedNoFence::scheduler::entry:1965 [{ followers: Set("c2"), leased: true, worker: "w1" }],1966 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1967 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1968 schedNoFence::scheduler::mBuild: Set(),1969 schedNoFence::scheduler::mDone: Set(),1970 schedNoFence::scheduler::mExpect: Set(),1971 schedNoFence::scheduler::mResult: Set(),1972 schedNoFence::scheduler::mRetry: Set(),1973 schedNoFence::scheduler::mRevoke: Set(),1974 schedNoFence::scheduler::mSchedule: Set("c1"),1975 schedNoFence::scheduler::published: 0,1976 schedNoFence::scheduler::publishedBy: Set(),1977 schedNoFence::scheduler::ws:1978 Map(1979 "w1" ->1980 {1981 attached: Set(),1982 built: false,1983 expecting: true,1984 running: true,1985 session: true,1986 up: true1987 },1988 "w2" ->1989 {1990 attached: Set(),1991 built: false,1992 expecting: false,1993 running: false,1994 session: false,1995 up: false1996 }1997 )1998}19992000[State 6]2001{2002 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2003 schedNoFence::scheduler::crashes: 1,2004 schedNoFence::scheduler::entry:2005 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2006 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2007 schedNoFence::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),2008 schedNoFence::scheduler::mBuild: Set(),2009 schedNoFence::scheduler::mDone: Set(),2010 schedNoFence::scheduler::mExpect: Set(),2011 schedNoFence::scheduler::mResult: Set(),2012 schedNoFence::scheduler::mRetry: Set(),2013 schedNoFence::scheduler::mRevoke: Set(),2014 schedNoFence::scheduler::mSchedule: Set(),2015 schedNoFence::scheduler::published: 0,2016 schedNoFence::scheduler::publishedBy: Set(),2017 schedNoFence::scheduler::ws:2018 Map(2019 "w1" ->2020 {2021 attached: Set(),2022 built: false,2023 expecting: true,2024 running: true,2025 session: true,2026 up: true2027 },2028 "w2" ->2029 {2030 attached: Set(),2031 built: false,2032 expecting: false,2033 running: false,2034 session: false,2035 up: false2036 }2037 )2038}20392040[State 7]2041{2042 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2043 schedNoFence::scheduler::crashes: 2,2044 schedNoFence::scheduler::entry: [],2045 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2046 schedNoFence::scheduler::mAssigned: Set(),2047 schedNoFence::scheduler::mBuild: Set(),2048 schedNoFence::scheduler::mDone: Set(),2049 schedNoFence::scheduler::mExpect: Set(),2050 schedNoFence::scheduler::mResult: Set(),2051 schedNoFence::scheduler::mRetry: Set("c1", "c2"),2052 schedNoFence::scheduler::mRevoke: Set(),2053 schedNoFence::scheduler::mSchedule: Set(),2054 schedNoFence::scheduler::published: 0,2055 schedNoFence::scheduler::publishedBy: Set(),2056 schedNoFence::scheduler::ws:2057 Map(2058 "w1" ->2059 {2060 attached: Set(),2061 built: false,2062 expecting: true,2063 running: true,2064 session: false,2065 up: true2066 },2067 "w2" ->2068 {2069 attached: Set(),2070 built: false,2071 expecting: false,2072 running: false,2073 session: false,2074 up: false2075 }2076 )2077}20782079[State 8]2080{2081 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2082 schedNoFence::scheduler::crashes: 2,2083 schedNoFence::scheduler::entry: [],2084 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2085 schedNoFence::scheduler::mAssigned: Set(),2086 schedNoFence::scheduler::mBuild: Set(),2087 schedNoFence::scheduler::mDone: Set(),2088 schedNoFence::scheduler::mExpect: Set(),2089 schedNoFence::scheduler::mResult: Set(),2090 schedNoFence::scheduler::mRetry: Set("c1"),2091 schedNoFence::scheduler::mRevoke: Set(),2092 schedNoFence::scheduler::mSchedule: Set("c2"),2093 schedNoFence::scheduler::published: 0,2094 schedNoFence::scheduler::publishedBy: Set(),2095 schedNoFence::scheduler::ws:2096 Map(2097 "w1" ->2098 {2099 attached: Set(),2100 built: false,2101 expecting: true,2102 running: true,2103 session: false,2104 up: true2105 },2106 "w2" ->2107 {2108 attached: Set(),2109 built: false,2110 expecting: false,2111 running: false,2112 session: false,2113 up: false2114 }2115 )2116}21172118[State 9]2119{2120 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2121 schedNoFence::scheduler::crashes: 2,2122 schedNoFence::scheduler::entry: [],2123 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2124 schedNoFence::scheduler::mAssigned: Set(),2125 schedNoFence::scheduler::mBuild: Set(),2126 schedNoFence::scheduler::mDone: Set(),2127 schedNoFence::scheduler::mExpect: Set(),2128 schedNoFence::scheduler::mResult: Set(),2129 schedNoFence::scheduler::mRetry: Set("c1"),2130 schedNoFence::scheduler::mRevoke: Set(),2131 schedNoFence::scheduler::mSchedule: Set("c2"),2132 schedNoFence::scheduler::published: 0,2133 schedNoFence::scheduler::publishedBy: Set(),2134 schedNoFence::scheduler::ws:2135 Map(2136 "w1" ->2137 {2138 attached: Set(),2139 built: false,2140 expecting: true,2141 running: true,2142 session: false,2143 up: true2144 },2145 "w2" ->2146 {2147 attached: Set(),2148 built: false,2149 expecting: false,2150 running: false,2151 session: true,2152 up: true2153 }2154 )2155}21562157[State 10]2158{2159 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2160 schedNoFence::scheduler::crashes: 2,2161 schedNoFence::scheduler::entry:2162 [{ followers: Set("c2"), leased: true, worker: "w2" }],2163 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2164 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2165 schedNoFence::scheduler::mBuild: Set(),2166 schedNoFence::scheduler::mDone: Set(),2167 schedNoFence::scheduler::mExpect: Set("w2"),2168 schedNoFence::scheduler::mResult: Set(),2169 schedNoFence::scheduler::mRetry: Set("c1"),2170 schedNoFence::scheduler::mRevoke: Set(),2171 schedNoFence::scheduler::mSchedule: Set(),2172 schedNoFence::scheduler::published: 0,2173 schedNoFence::scheduler::publishedBy: Set(),2174 schedNoFence::scheduler::ws:2175 Map(2176 "w1" ->2177 {2178 attached: Set(),2179 built: false,2180 expecting: true,2181 running: true,2182 session: false,2183 up: true2184 },2185 "w2" ->2186 {2187 attached: Set(),2188 built: false,2189 expecting: false,2190 running: false,2191 session: true,2192 up: true2193 }2194 )2195}21962197[State 11]2198{2199 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2200 schedNoFence::scheduler::crashes: 2,2201 schedNoFence::scheduler::entry:2202 [{ followers: Set("c2"), leased: true, worker: "w2" }],2203 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2204 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2205 schedNoFence::scheduler::mBuild: Set(),2206 schedNoFence::scheduler::mDone: Set(),2207 schedNoFence::scheduler::mExpect: Set(),2208 schedNoFence::scheduler::mResult: Set(),2209 schedNoFence::scheduler::mRetry: Set("c1"),2210 schedNoFence::scheduler::mRevoke: Set(),2211 schedNoFence::scheduler::mSchedule: Set(),2212 schedNoFence::scheduler::published: 0,2213 schedNoFence::scheduler::publishedBy: Set(),2214 schedNoFence::scheduler::ws:2215 Map(2216 "w1" ->2217 {2218 attached: Set(),2219 built: false,2220 expecting: true,2221 running: true,2222 session: false,2223 up: true2224 },2225 "w2" ->2226 {2227 attached: Set(),2228 built: false,2229 expecting: true,2230 running: true,2231 session: true,2232 up: true2233 }2234 )2235}22362237[State 12]2238{2239 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2240 schedNoFence::scheduler::crashes: 2,2241 schedNoFence::scheduler::entry:2242 [{ followers: Set("c2"), leased: true, worker: "w2" }],2243 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2244 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2245 schedNoFence::scheduler::mBuild: Set(),2246 schedNoFence::scheduler::mDone: Set(),2247 schedNoFence::scheduler::mExpect: Set(),2248 schedNoFence::scheduler::mResult: Set(),2249 schedNoFence::scheduler::mRetry: Set("c1"),2250 schedNoFence::scheduler::mRevoke: Set(),2251 schedNoFence::scheduler::mSchedule: Set(),2252 schedNoFence::scheduler::published: 1,2253 schedNoFence::scheduler::publishedBy: Set("w1"),2254 schedNoFence::scheduler::ws:2255 Map(2256 "w1" ->2257 {2258 attached: Set(),2259 built: true,2260 expecting: false,2261 running: false,2262 session: false,2263 up: true2264 },2265 "w2" ->2266 {2267 attached: Set(),2268 built: false,2269 expecting: true,2270 running: true,2271 session: true,2272 up: true2273 }2274 )2275}22762277[State 13]2278{2279 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2280 schedNoFence::scheduler::crashes: 2,2281 schedNoFence::scheduler::entry:2282 [{ followers: Set("c2"), leased: true, worker: "w2" }],2283 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2284 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2285 schedNoFence::scheduler::mBuild: Set(),2286 schedNoFence::scheduler::mDone: Set(),2287 schedNoFence::scheduler::mExpect: Set(),2288 schedNoFence::scheduler::mResult: Set(),2289 schedNoFence::scheduler::mRetry: Set("c1"),2290 schedNoFence::scheduler::mRevoke: Set(),2291 schedNoFence::scheduler::mSchedule: Set(),2292 schedNoFence::scheduler::published: 1,2293 schedNoFence::scheduler::publishedBy: Set("w1"),2294 schedNoFence::scheduler::ws:2295 Map(2296 "w1" ->2297 {2298 attached: Set(),2299 built: true,2300 expecting: false,2301 running: false,2302 session: true,2303 up: true2304 },2305 "w2" ->2306 {2307 attached: Set(),2308 built: false,2309 expecting: true,2310 running: true,2311 session: true,2312 up: true2313 }2314 )2315}23162317[State 14]2318{2319 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2320 schedNoFence::scheduler::crashes: 2,2321 schedNoFence::scheduler::entry:2322 [{ followers: Set("c2"), leased: true, worker: "w2" }],2323 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2324 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2325 schedNoFence::scheduler::mBuild: Set(),2326 schedNoFence::scheduler::mDone: Set("w2"),2327 schedNoFence::scheduler::mExpect: Set(),2328 schedNoFence::scheduler::mResult: Set(),2329 schedNoFence::scheduler::mRetry: Set("c1"),2330 schedNoFence::scheduler::mRevoke: Set(),2331 schedNoFence::scheduler::mSchedule: Set(),2332 schedNoFence::scheduler::published: 2,2333 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),2334 schedNoFence::scheduler::ws:2335 Map(2336 "w1" ->2337 {2338 attached: Set(),2339 built: true,2340 expecting: false,2341 running: false,2342 session: true,2343 up: true2344 },2345 "w2" ->2346 {2347 attached: Set(),2348 built: true,2349 expecting: false,2350 running: false,2351 session: true,2352 up: true2353 }2354 )2355}23562357[violation] Found an issue (1071ms at 3570 traces/second).2358Use --verbosity=3 to show executions.2359Use --seed=0xc19f7b50280f442 --backend=rust to reproduce.2360error: Invariant violated2361Running... [ ] 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... [■ ] 2% | ETA: 11s | 744/30000 samples | 2808 samples/sAn example execution:23622363[State 0]2364{2365 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2366 schedNoPush::scheduler::crashes: 0,2367 schedNoPush::scheduler::entry: [],2368 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2369 schedNoPush::scheduler::mAssigned: Set(),2370 schedNoPush::scheduler::mBuild: Set(),2371 schedNoPush::scheduler::mDone: Set(),2372 schedNoPush::scheduler::mExpect: Set(),2373 schedNoPush::scheduler::mResult: Set(),2374 schedNoPush::scheduler::mRetry: Set(),2375 schedNoPush::scheduler::mRevoke: Set(),2376 schedNoPush::scheduler::mSchedule: Set(),2377 schedNoPush::scheduler::published: 0,2378 schedNoPush::scheduler::publishedBy: Set(),2379 schedNoPush::scheduler::ws:2380 Map(2381 "w1" ->2382 {2383 attached: Set(),2384 built: false,2385 expecting: false,2386 running: false,2387 session: true,2388 up: true2389 },2390 "w2" ->2391 {2392 attached: Set(),2393 built: false,2394 expecting: false,2395 running: false,2396 session: true,2397 up: true2398 }2399 )2400}24012402[State 1]2403{2404 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2405 schedNoPush::scheduler::crashes: 0,2406 schedNoPush::scheduler::entry: [],2407 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2408 schedNoPush::scheduler::mAssigned: Set(),2409 schedNoPush::scheduler::mBuild: Set(),2410 schedNoPush::scheduler::mDone: Set(),2411 schedNoPush::scheduler::mExpect: Set(),2412 schedNoPush::scheduler::mResult: Set(),2413 schedNoPush::scheduler::mRetry: Set(),2414 schedNoPush::scheduler::mRevoke: Set(),2415 schedNoPush::scheduler::mSchedule: Set("c2"),2416 schedNoPush::scheduler::published: 0,2417 schedNoPush::scheduler::publishedBy: Set(),2418 schedNoPush::scheduler::ws:2419 Map(2420 "w1" ->2421 {2422 attached: Set(),2423 built: false,2424 expecting: false,2425 running: false,2426 session: true,2427 up: true2428 },2429 "w2" ->2430 {2431 attached: Set(),2432 built: false,2433 expecting: false,2434 running: false,2435 session: true,2436 up: true2437 }2438 )2439}24402441[State 2]2442{2443 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2444 schedNoPush::scheduler::crashes: 0,2445 schedNoPush::scheduler::entry:2446 [{ followers: Set("c2"), leased: true, worker: "w2" }],2447 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2448 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),2449 schedNoPush::scheduler::mBuild: Set(),2450 schedNoPush::scheduler::mDone: Set(),2451 schedNoPush::scheduler::mExpect: Set(),2452 schedNoPush::scheduler::mResult: Set(),2453 schedNoPush::scheduler::mRetry: Set(),2454 schedNoPush::scheduler::mRevoke: Set(),2455 schedNoPush::scheduler::mSchedule: Set(),2456 schedNoPush::scheduler::published: 0,2457 schedNoPush::scheduler::publishedBy: Set(),2458 schedNoPush::scheduler::ws:2459 Map(2460 "w1" ->2461 {2462 attached: Set(),2463 built: false,2464 expecting: false,2465 running: false,2466 session: true,2467 up: true2468 },2469 "w2" ->2470 {2471 attached: Set(),2472 built: false,2473 expecting: false,2474 running: false,2475 session: true,2476 up: true2477 }2478 )2479}24802481[State 3]2482{2483 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),2484 schedNoPush::scheduler::crashes: 0,2485 schedNoPush::scheduler::entry:2486 [{ followers: Set("c2"), leased: true, worker: "w2" }],2487 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2488 schedNoPush::scheduler::mAssigned: Set(),2489 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),2490 schedNoPush::scheduler::mDone: Set(),2491 schedNoPush::scheduler::mExpect: Set(),2492 schedNoPush::scheduler::mResult: Set(),2493 schedNoPush::scheduler::mRetry: Set(),2494 schedNoPush::scheduler::mRevoke: Set(),2495 schedNoPush::scheduler::mSchedule: Set(),2496 schedNoPush::scheduler::published: 0,2497 schedNoPush::scheduler::publishedBy: Set(),2498 schedNoPush::scheduler::ws:2499 Map(2500 "w1" ->2501 {2502 attached: Set(),2503 built: false,2504 expecting: false,2505 running: false,2506 session: true,2507 up: true2508 },2509 "w2" ->2510 {2511 attached: Set(),2512 built: false,2513 expecting: false,2514 running: false,2515 session: true,2516 up: true2517 }2518 )2519}25202521[State 4]2522{2523 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),2524 schedNoPush::scheduler::crashes: 1,2525 schedNoPush::scheduler::entry:2526 [{ followers: Set("c2"), leased: true, worker: "w2" }],2527 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2528 schedNoPush::scheduler::mAssigned: Set(),2529 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),2530 schedNoPush::scheduler::mDone: Set(),2531 schedNoPush::scheduler::mExpect: Set(),2532 schedNoPush::scheduler::mResult: Set(),2533 schedNoPush::scheduler::mRetry: Set(),2534 schedNoPush::scheduler::mRevoke: Set(),2535 schedNoPush::scheduler::mSchedule: Set(),2536 schedNoPush::scheduler::published: 0,2537 schedNoPush::scheduler::publishedBy: Set(),2538 schedNoPush::scheduler::ws:2539 Map(2540 "w1" ->2541 {2542 attached: Set(),2543 built: false,2544 expecting: false,2545 running: false,2546 session: false,2547 up: false2548 },2549 "w2" ->2550 {2551 attached: Set(),2552 built: false,2553 expecting: false,2554 running: false,2555 session: true,2556 up: true2557 }2558 )2559}25602561[State 5]2562{2563 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),2564 schedNoPush::scheduler::crashes: 2,2565 schedNoPush::scheduler::entry: [],2566 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2567 schedNoPush::scheduler::mAssigned: Set(),2568 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),2569 schedNoPush::scheduler::mDone: Set(),2570 schedNoPush::scheduler::mExpect: Set(),2571 schedNoPush::scheduler::mResult: Set(),2572 schedNoPush::scheduler::mRetry: Set(),2573 schedNoPush::scheduler::mRevoke: Set(),2574 schedNoPush::scheduler::mSchedule: Set(),2575 schedNoPush::scheduler::published: 0,2576 schedNoPush::scheduler::publishedBy: Set(),2577 schedNoPush::scheduler::ws:2578 Map(2579 "w1" ->2580 {2581 attached: Set(),2582 built: false,2583 expecting: false,2584 running: false,2585 session: false,2586 up: false2587 },2588 "w2" ->2589 {2590 attached: Set(),2591 built: false,2592 expecting: false,2593 running: false,2594 session: false,2595 up: true2596 }2597 )2598}25992600[State 6]2601{2602 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),2603 schedNoPush::scheduler::crashes: 2,2604 schedNoPush::scheduler::entry: [],2605 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2606 schedNoPush::scheduler::mAssigned: Set(),2607 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),2608 schedNoPush::scheduler::mDone: Set(),2609 schedNoPush::scheduler::mExpect: Set(),2610 schedNoPush::scheduler::mResult: Set(),2611 schedNoPush::scheduler::mRetry: Set(),2612 schedNoPush::scheduler::mRevoke: Set(),2613 schedNoPush::scheduler::mSchedule: Set(),2614 schedNoPush::scheduler::published: 0,2615 schedNoPush::scheduler::publishedBy: Set(),2616 schedNoPush::scheduler::ws:2617 Map(2618 "w1" ->2619 {2620 attached: Set(),2621 built: false,2622 expecting: false,2623 running: false,2624 session: false,2625 up: false2626 },2627 "w2" ->2628 {2629 attached: Set(),2630 built: false,2631 expecting: false,2632 running: false,2633 session: true,2634 up: true2635 }2636 )2637}26382639[State 7]2640{2641 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),2642 schedNoPush::scheduler::crashes: 2,2643 schedNoPush::scheduler::entry: [],2644 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2645 schedNoPush::scheduler::mAssigned: Set(),2646 schedNoPush::scheduler::mBuild: Set(),2647 schedNoPush::scheduler::mDone: Set(),2648 schedNoPush::scheduler::mExpect: Set(),2649 schedNoPush::scheduler::mResult: Set(),2650 schedNoPush::scheduler::mRetry: Set(),2651 schedNoPush::scheduler::mRevoke: Set(),2652 schedNoPush::scheduler::mSchedule: Set(),2653 schedNoPush::scheduler::published: 0,2654 schedNoPush::scheduler::publishedBy: Set(),2655 schedNoPush::scheduler::ws:2656 Map(2657 "w1" ->2658 {2659 attached: Set(),2660 built: false,2661 expecting: false,2662 running: false,2663 session: false,2664 up: false2665 },2666 "w2" ->2667 {2668 attached: Set("c2"),2669 built: false,2670 expecting: true,2671 running: true,2672 session: true,2673 up: true2674 }2675 )2676}26772678[violation] Found an issue (360ms at 2081 traces/second).2679Use --verbosity=3 to show executions.2680Use --seed=0x905d86a7ce0308fe --backend=rust to reproduce.2681error: Invariant violated2682Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 3% | ETA: 7s | 1153/30000 samples | 4745 samples/sRunning... [■■ ] 4% | ETA: 8s | 1378/30000 samples | 4006 samples/sRunning... [■■ ] 4% | ETA: 8s | 1378/30000 samples | 4006 samples/sRunning... [■■ ] 5% | ETA: 8s | 1606/30000 samples | 3593 samples/sRunning... [■■ ] 5% | ETA: 9s | 1767/30000 samples | 3219 samples/sRunning... [■■ ] 6% | ETA: 10s | 1865/30000 samples | 2869 samples/sRunning... [■■ ] 6% | ETA: 10s | 1865/30000 samples | 2869 samples/sRunning... [■■■ ] 6% | ETA: 13s | 1971/30000 samples | 2313 samples/sRunning... [■■■ ] 6% | ETA: 14s | 2031/30000 samples | 2133 samples/sRunning... [■■■ ] 7% | ETA: 15s | 2162/30000 samples | 1900 samples/sRunning... [■■■ ] 7% | ETA: 21s | 2235/30000 samples | 1798 samples/sRunning... [■■■ ] 7% | ETA: 28s | 2281/30000 samples | 1697 samples/sRunning... [■■■ ] 7% | ETA: 32s | 2333/30000 samples | 1615 samples/sRunning... [■■■ ] 7% | ETA: 32s | 2333/30000 samples | 1615 samples/sAn example execution:26832684[State 0]2685{2686 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2687 schedNoReport::scheduler::crashes: 0,2688 schedNoReport::scheduler::entry: [],2689 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2690 schedNoReport::scheduler::mAssigned: Set(),2691 schedNoReport::scheduler::mBuild: Set(),2692 schedNoReport::scheduler::mDone: Set(),2693 schedNoReport::scheduler::mExpect: Set(),2694 schedNoReport::scheduler::mResult: Set(),2695 schedNoReport::scheduler::mRetry: Set(),2696 schedNoReport::scheduler::mRevoke: Set(),2697 schedNoReport::scheduler::mSchedule: Set(),2698 schedNoReport::scheduler::published: 0,2699 schedNoReport::scheduler::publishedBy: Set(),2700 schedNoReport::scheduler::ws:2701 Map(2702 "w1" ->2703 {2704 attached: Set(),2705 built: false,2706 expecting: false,2707 running: false,2708 session: true,2709 up: true2710 },2711 "w2" ->2712 {2713 attached: Set(),2714 built: false,2715 expecting: false,2716 running: false,2717 session: true,2718 up: true2719 }2720 )2721}27222723[State 1]2724{2725 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2726 schedNoReport::scheduler::crashes: 0,2727 schedNoReport::scheduler::entry: [],2728 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2729 schedNoReport::scheduler::mAssigned: Set(),2730 schedNoReport::scheduler::mBuild: Set(),2731 schedNoReport::scheduler::mDone: Set(),2732 schedNoReport::scheduler::mExpect: Set(),2733 schedNoReport::scheduler::mResult: Set(),2734 schedNoReport::scheduler::mRetry: Set(),2735 schedNoReport::scheduler::mRevoke: Set(),2736 schedNoReport::scheduler::mSchedule: Set("c1"),2737 schedNoReport::scheduler::published: 0,2738 schedNoReport::scheduler::publishedBy: Set(),2739 schedNoReport::scheduler::ws:2740 Map(2741 "w1" ->2742 {2743 attached: Set(),2744 built: false,2745 expecting: false,2746 running: false,2747 session: true,2748 up: true2749 },2750 "w2" ->2751 {2752 attached: Set(),2753 built: false,2754 expecting: false,2755 running: false,2756 session: true,2757 up: true2758 }2759 )2760}27612762[State 2]2763{2764 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2765 schedNoReport::scheduler::crashes: 0,2766 schedNoReport::scheduler::entry:2767 [{ followers: Set("c1"), leased: true, worker: "w1" }],2768 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2769 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),2770 schedNoReport::scheduler::mBuild: Set(),2771 schedNoReport::scheduler::mDone: Set(),2772 schedNoReport::scheduler::mExpect: Set("w1"),2773 schedNoReport::scheduler::mResult: Set(),2774 schedNoReport::scheduler::mRetry: Set(),2775 schedNoReport::scheduler::mRevoke: Set(),2776 schedNoReport::scheduler::mSchedule: Set(),2777 schedNoReport::scheduler::published: 0,2778 schedNoReport::scheduler::publishedBy: Set(),2779 schedNoReport::scheduler::ws:2780 Map(2781 "w1" ->2782 {2783 attached: Set(),2784 built: false,2785 expecting: false,2786 running: false,2787 session: true,2788 up: true2789 },2790 "w2" ->2791 {2792 attached: Set(),2793 built: false,2794 expecting: false,2795 running: false,2796 session: true,2797 up: true2798 }2799 )2800}28012802[State 3]2803{2804 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2805 schedNoReport::scheduler::crashes: 0,2806 schedNoReport::scheduler::entry:2807 [{ followers: Set("c1"), leased: true, worker: "w1" }],2808 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2809 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),2810 schedNoReport::scheduler::mBuild: Set(),2811 schedNoReport::scheduler::mDone: Set(),2812 schedNoReport::scheduler::mExpect: Set(),2813 schedNoReport::scheduler::mResult: Set(),2814 schedNoReport::scheduler::mRetry: Set(),2815 schedNoReport::scheduler::mRevoke: Set(),2816 schedNoReport::scheduler::mSchedule: Set(),2817 schedNoReport::scheduler::published: 0,2818 schedNoReport::scheduler::publishedBy: Set(),2819 schedNoReport::scheduler::ws:2820 Map(2821 "w1" ->2822 {2823 attached: Set(),2824 built: false,2825 expecting: true,2826 running: true,2827 session: true,2828 up: true2829 },2830 "w2" ->2831 {2832 attached: Set(),2833 built: false,2834 expecting: false,2835 running: false,2836 session: true,2837 up: true2838 }2839 )2840}28412842[State 4]2843{2844 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2845 schedNoReport::scheduler::crashes: 1,2846 schedNoReport::scheduler::entry: [],2847 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2848 schedNoReport::scheduler::mAssigned: Set(),2849 schedNoReport::scheduler::mBuild: Set(),2850 schedNoReport::scheduler::mDone: Set(),2851 schedNoReport::scheduler::mExpect: Set(),2852 schedNoReport::scheduler::mResult: Set(),2853 schedNoReport::scheduler::mRetry: Set("c1"),2854 schedNoReport::scheduler::mRevoke: Set(),2855 schedNoReport::scheduler::mSchedule: Set(),2856 schedNoReport::scheduler::published: 0,2857 schedNoReport::scheduler::publishedBy: Set(),2858 schedNoReport::scheduler::ws:2859 Map(2860 "w1" ->2861 {2862 attached: Set(),2863 built: false,2864 expecting: true,2865 running: true,2866 session: false,2867 up: true2868 },2869 "w2" ->2870 {2871 attached: Set(),2872 built: false,2873 expecting: false,2874 running: false,2875 session: false,2876 up: true2877 }2878 )2879}28802881[State 5]2882{2883 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2884 schedNoReport::scheduler::crashes: 2,2885 schedNoReport::scheduler::entry: [],2886 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2887 schedNoReport::scheduler::mAssigned: Set(),2888 schedNoReport::scheduler::mBuild: Set(),2889 schedNoReport::scheduler::mDone: Set(),2890 schedNoReport::scheduler::mExpect: Set(),2891 schedNoReport::scheduler::mResult: Set(),2892 schedNoReport::scheduler::mRetry: Set("c1"),2893 schedNoReport::scheduler::mRevoke: Set(),2894 schedNoReport::scheduler::mSchedule: Set(),2895 schedNoReport::scheduler::published: 0,2896 schedNoReport::scheduler::publishedBy: Set(),2897 schedNoReport::scheduler::ws:2898 Map(2899 "w1" ->2900 {2901 attached: Set(),2902 built: false,2903 expecting: true,2904 running: true,2905 session: false,2906 up: true2907 },2908 "w2" ->2909 {2910 attached: Set(),2911 built: false,2912 expecting: false,2913 running: false,2914 session: false,2915 up: true2916 }2917 )2918}29192920[State 6]2921{2922 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2923 schedNoReport::scheduler::crashes: 2,2924 schedNoReport::scheduler::entry: [],2925 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2926 schedNoReport::scheduler::mAssigned: Set(),2927 schedNoReport::scheduler::mBuild: Set(),2928 schedNoReport::scheduler::mDone: Set(),2929 schedNoReport::scheduler::mExpect: Set(),2930 schedNoReport::scheduler::mResult: Set(),2931 schedNoReport::scheduler::mRetry: Set("c1"),2932 schedNoReport::scheduler::mRevoke: Set(),2933 schedNoReport::scheduler::mSchedule: Set(),2934 schedNoReport::scheduler::published: 0,2935 schedNoReport::scheduler::publishedBy: Set(),2936 schedNoReport::scheduler::ws:2937 Map(2938 "w1" ->2939 {2940 attached: Set(),2941 built: false,2942 expecting: true,2943 running: true,2944 session: false,2945 up: true2946 },2947 "w2" ->2948 {2949 attached: Set(),2950 built: false,2951 expecting: false,2952 running: false,2953 session: true,2954 up: true2955 }2956 )2957}29582959[State 7]2960{2961 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2962 schedNoReport::scheduler::crashes: 2,2963 schedNoReport::scheduler::entry: [],2964 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2965 schedNoReport::scheduler::mAssigned: Set(),2966 schedNoReport::scheduler::mBuild: Set(),2967 schedNoReport::scheduler::mDone: Set(),2968 schedNoReport::scheduler::mExpect: Set(),2969 schedNoReport::scheduler::mResult: Set(),2970 schedNoReport::scheduler::mRetry: Set("c1"),2971 schedNoReport::scheduler::mRevoke: Set(),2972 schedNoReport::scheduler::mSchedule: Set("c2"),2973 schedNoReport::scheduler::published: 0,2974 schedNoReport::scheduler::publishedBy: Set(),2975 schedNoReport::scheduler::ws:2976 Map(2977 "w1" ->2978 {2979 attached: Set(),2980 built: false,2981 expecting: true,2982 running: true,2983 session: false,2984 up: true2985 },2986 "w2" ->2987 {2988 attached: Set(),2989 built: false,2990 expecting: false,2991 running: false,2992 session: true,2993 up: true2994 }2995 )2996}29972998[State 8]2999{3000 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3001 schedNoReport::scheduler::crashes: 2,3002 schedNoReport::scheduler::entry:3003 [{ followers: Set("c2"), leased: true, worker: "w2" }],3004 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),3005 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),3006 schedNoReport::scheduler::mBuild: Set(),3007 schedNoReport::scheduler::mDone: Set(),3008 schedNoReport::scheduler::mExpect: Set("w2"),3009 schedNoReport::scheduler::mResult: Set(),3010 schedNoReport::scheduler::mRetry: Set("c1"),3011 schedNoReport::scheduler::mRevoke: Set(),3012 schedNoReport::scheduler::mSchedule: Set(),3013 schedNoReport::scheduler::published: 0,3014 schedNoReport::scheduler::publishedBy: Set(),3015 schedNoReport::scheduler::ws:3016 Map(3017 "w1" ->3018 {3019 attached: Set(),3020 built: false,3021 expecting: true,3022 running: true,3023 session: false,3024 up: true3025 },3026 "w2" ->3027 {3028 attached: Set(),3029 built: false,3030 expecting: false,3031 running: false,3032 session: true,3033 up: true3034 }3035 )3036}30373038[State 9]3039{3040 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3041 schedNoReport::scheduler::crashes: 2,3042 schedNoReport::scheduler::entry:3043 [{ followers: Set("c2"), leased: true, worker: "w2" }],3044 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),3045 schedNoReport::scheduler::mAssigned: Set(),3046 schedNoReport::scheduler::mBuild: Set(("c2", "w2")),3047 schedNoReport::scheduler::mDone: Set(),3048 schedNoReport::scheduler::mExpect: Set("w2"),3049 schedNoReport::scheduler::mResult: Set(),3050 schedNoReport::scheduler::mRetry: Set("c1"),3051 schedNoReport::scheduler::mRevoke: Set(),3052 schedNoReport::scheduler::mSchedule: Set(),3053 schedNoReport::scheduler::published: 0,3054 schedNoReport::scheduler::publishedBy: Set(),3055 schedNoReport::scheduler::ws:3056 Map(3057 "w1" ->3058 {3059 attached: Set(),3060 built: false,3061 expecting: true,3062 running: true,3063 session: false,3064 up: true3065 },3066 "w2" ->3067 {3068 attached: Set(),3069 built: false,3070 expecting: false,3071 running: false,3072 session: true,3073 up: true3074 }3075 )3076}30773078[State 10]3079{3080 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3081 schedNoReport::scheduler::crashes: 2,3082 schedNoReport::scheduler::entry:3083 [{ followers: Set("c2"), leased: true, worker: "w2" }],3084 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),3085 schedNoReport::scheduler::mAssigned: Set(),3086 schedNoReport::scheduler::mBuild: Set(("c2", "w2")),3087 schedNoReport::scheduler::mDone: Set(),3088 schedNoReport::scheduler::mExpect: Set(),3089 schedNoReport::scheduler::mResult: Set(),3090 schedNoReport::scheduler::mRetry: Set("c1"),3091 schedNoReport::scheduler::mRevoke: Set(),3092 schedNoReport::scheduler::mSchedule: Set(),3093 schedNoReport::scheduler::published: 0,3094 schedNoReport::scheduler::publishedBy: Set(),3095 schedNoReport::scheduler::ws:3096 Map(3097 "w1" ->3098 {3099 attached: Set(),3100 built: false,3101 expecting: true,3102 running: true,3103 session: false,3104 up: true3105 },3106 "w2" ->3107 {3108 attached: Set(),3109 built: false,3110 expecting: true,3111 running: true,3112 session: true,3113 up: true3114 }3115 )3116}31173118[State 11]3119{3120 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3121 schedNoReport::scheduler::crashes: 2,3122 schedNoReport::scheduler::entry:3123 [{ followers: Set("c2"), leased: true, worker: "w2" }],3124 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),3125 schedNoReport::scheduler::mAssigned: Set(),3126 schedNoReport::scheduler::mBuild: Set(("c2", "w2")),3127 schedNoReport::scheduler::mDone: Set(),3128 schedNoReport::scheduler::mExpect: Set(),3129 schedNoReport::scheduler::mResult: Set(),3130 schedNoReport::scheduler::mRetry: Set("c1"),3131 schedNoReport::scheduler::mRevoke: Set(),3132 schedNoReport::scheduler::mSchedule: Set(),3133 schedNoReport::scheduler::published: 0,3134 schedNoReport::scheduler::publishedBy: Set(),3135 schedNoReport::scheduler::ws:3136 Map(3137 "w1" ->3138 {3139 attached: Set(),3140 built: false,3141 expecting: true,3142 running: true,3143 session: true,3144 up: true3145 },3146 "w2" ->3147 {3148 attached: Set(),3149 built: false,3150 expecting: true,3151 running: true,3152 session: true,3153 up: true3154 }3155 )3156}31573158[violation] Found an issue (1526ms at 1546 traces/second).3159Use --verbosity=3 to show executions.3160Use --seed=0x54471b30b8c5798f --backend=rust to reproduce.3161error: Invariant violated3162Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn example execution:31633164[State 0]3165{3166 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3167 schedTerminal::scheduler::crashes: 0,3168 schedTerminal::scheduler::entry: [],3169 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3170 schedTerminal::scheduler::mAssigned: Set(),3171 schedTerminal::scheduler::mBuild: Set(),3172 schedTerminal::scheduler::mDone: Set(),3173 schedTerminal::scheduler::mExpect: Set(),3174 schedTerminal::scheduler::mResult: Set(),3175 schedTerminal::scheduler::mRetry: Set(),3176 schedTerminal::scheduler::mRevoke: Set(),3177 schedTerminal::scheduler::mSchedule: Set(),3178 schedTerminal::scheduler::published: 0,3179 schedTerminal::scheduler::publishedBy: Set(),3180 schedTerminal::scheduler::ws:3181 Map(3182 "w1" ->3183 {3184 attached: Set(),3185 built: false,3186 expecting: false,3187 running: false,3188 session: true,3189 up: true3190 },3191 "w2" ->3192 {3193 attached: Set(),3194 built: false,3195 expecting: false,3196 running: false,3197 session: true,3198 up: true3199 }3200 )3201}32023203[State 1]3204{3205 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3206 schedTerminal::scheduler::crashes: 1,3207 schedTerminal::scheduler::entry: [],3208 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3209 schedTerminal::scheduler::mAssigned: Set(),3210 schedTerminal::scheduler::mBuild: Set(),3211 schedTerminal::scheduler::mDone: Set(),3212 schedTerminal::scheduler::mExpect: Set(),3213 schedTerminal::scheduler::mResult: Set(),3214 schedTerminal::scheduler::mRetry: Set(),3215 schedTerminal::scheduler::mRevoke: Set(),3216 schedTerminal::scheduler::mSchedule: Set(),3217 schedTerminal::scheduler::published: 0,3218 schedTerminal::scheduler::publishedBy: Set(),3219 schedTerminal::scheduler::ws:3220 Map(3221 "w1" ->3222 {3223 attached: Set(),3224 built: false,3225 expecting: false,3226 running: false,3227 session: true,3228 up: true3229 },3230 "w2" ->3231 {3232 attached: Set(),3233 built: false,3234 expecting: false,3235 running: false,3236 session: false,3237 up: false3238 }3239 )3240}32413242[State 2]3243{3244 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3245 schedTerminal::scheduler::crashes: 2,3246 schedTerminal::scheduler::entry: [],3247 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3248 schedTerminal::scheduler::mAssigned: Set(),3249 schedTerminal::scheduler::mBuild: Set(),3250 schedTerminal::scheduler::mDone: Set(),3251 schedTerminal::scheduler::mExpect: Set(),3252 schedTerminal::scheduler::mResult: Set(),3253 schedTerminal::scheduler::mRetry: Set(),3254 schedTerminal::scheduler::mRevoke: Set(),3255 schedTerminal::scheduler::mSchedule: Set(),3256 schedTerminal::scheduler::published: 0,3257 schedTerminal::scheduler::publishedBy: Set(),3258 schedTerminal::scheduler::ws:3259 Map(3260 "w1" ->3261 {3262 attached: Set(),3263 built: false,3264 expecting: false,3265 running: false,3266 session: false,3267 up: true3268 },3269 "w2" ->3270 {3271 attached: Set(),3272 built: false,3273 expecting: false,3274 running: false,3275 session: false,3276 up: false3277 }3278 )3279}32803281[State 3]3282{3283 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3284 schedTerminal::scheduler::crashes: 2,3285 schedTerminal::scheduler::entry: [],3286 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3287 schedTerminal::scheduler::mAssigned: Set(),3288 schedTerminal::scheduler::mBuild: Set(),3289 schedTerminal::scheduler::mDone: Set(),3290 schedTerminal::scheduler::mExpect: Set(),3291 schedTerminal::scheduler::mResult: Set(),3292 schedTerminal::scheduler::mRetry: Set(),3293 schedTerminal::scheduler::mRevoke: Set(),3294 schedTerminal::scheduler::mSchedule: Set("c2"),3295 schedTerminal::scheduler::published: 0,3296 schedTerminal::scheduler::publishedBy: Set(),3297 schedTerminal::scheduler::ws:3298 Map(3299 "w1" ->3300 {3301 attached: Set(),3302 built: false,3303 expecting: false,3304 running: false,3305 session: false,3306 up: true3307 },3308 "w2" ->3309 {3310 attached: Set(),3311 built: false,3312 expecting: false,3313 running: false,3314 session: false,3315 up: false3316 }3317 )3318}33193320[State 4]3321{3322 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CFailed),3323 schedTerminal::scheduler::crashes: 2,3324 schedTerminal::scheduler::entry: [],3325 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3326 schedTerminal::scheduler::mAssigned: Set(),3327 schedTerminal::scheduler::mBuild: Set(),3328 schedTerminal::scheduler::mDone: Set(),3329 schedTerminal::scheduler::mExpect: Set(),3330 schedTerminal::scheduler::mResult: Set(),3331 schedTerminal::scheduler::mRetry: Set(),3332 schedTerminal::scheduler::mRevoke: Set(),3333 schedTerminal::scheduler::mSchedule: Set(),3334 schedTerminal::scheduler::published: 0,3335 schedTerminal::scheduler::publishedBy: Set(),3336 schedTerminal::scheduler::ws:3337 Map(3338 "w1" ->3339 {3340 attached: Set(),3341 built: false,3342 expecting: false,3343 running: false,3344 session: false,3345 up: true3346 },3347 "w2" ->3348 {3349 attached: Set(),3350 built: false,3351 expecting: false,3352 running: false,3353 session: false,3354 up: false3355 }3356 )3357}33583359[violation] Found an issue (112ms at 509 traces/second).3360Use --verbosity=3 to show executions.3361Use --seed=0x4e62a995d2d0ebaa --backend=rust to reproduce.3362error: Invariant violated3363Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 1s | 14226/20000 samples | 64371 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 1s | 14226/20000 samples | 64371 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 1s | 14226/20000 samples | 64371 samples/sAn example execution:33643365[State 0]3366{3367 pushFixed::push::byPath: Map(),3368 pushFixed::push::inflight: Set(),3369 pushFixed::push::left: Map(),3370 pushFixed::push::sent: Map()3371}33723373[State 1]3374{3375 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3376 pushFixed::push::inflight: Set((3, "a"), (3, "b")),3377 pushFixed::push::left: Map(3 -> 2),3378 pushFixed::push::sent: Map(3 -> Set("a", "b"))3379}33803381[State 2]3382{3383 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3384 pushFixed::push::inflight: Set((3, "a")),3385 pushFixed::push::left: Map(3 -> 1),3386 pushFixed::push::sent: Map(3 -> Set("a", "b"))3387}33883389[State 3]3390{3391 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3392 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "a")),3393 pushFixed::push::left: Map(1 -> 2, 3 -> 1),3394 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))3395}33963397[State 4]3398{3399 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3400 pushFixed::push::inflight:3401 Set((1, "a"), (1, "b"), (2, "a"), (2, "b"), (3, "a")),3402 pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 1),3403 pushFixed::push::sent:3404 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3405}34063407[State 5]3408{3409 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3410 pushFixed::push::inflight: Set((1, "a"), (2, "a"), (2, "b"), (3, "a")),3411 pushFixed::push::left: Map(1 -> 1, 2 -> 2, 3 -> 1),3412 pushFixed::push::sent:3413 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3414}34153416[State 6]3417{3418 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3419 pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "a")),3420 pushFixed::push::left: Map(1 -> 0, 2 -> 2, 3 -> 1),3421 pushFixed::push::sent:3422 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3423}34243425[State 7]3426{3427 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3428 pushFixed::push::inflight: Set((2, "a"), (3, "a")),3429 pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 1),3430 pushFixed::push::sent:3431 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3432}34333434[State 8]3435{3436 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3437 pushFixed::push::inflight: Set((3, "a")),3438 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 1),3439 pushFixed::push::sent:3440 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3441}34423443[State 9]3444{3445 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3446 pushFixed::push::inflight: Set(),3447 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),3448 pushFixed::push::sent:3449 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3450}34513452[ok] No violation found (388ms at 51546 traces/second).3453Trace length statistics: max=10, min=7, average=8.003454You may increase --max-samples and --max-steps.3455Use --verbosity to produce more (or less) output.3456Use --seed=0x4754cea0fbea8e1 --backend=rust to reproduce.

succeeded nix-grpc-store-spec checks.aarch64-darwin.spec · build #607 · raw

succeeded `nix-grpc-store-spec` `checks.aarch64-darwin.spec` · build #607 · raw