nix-grpc-store-spec
checks.aarch64-darwin.spec
· build #468
· 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... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 5% | ETA: 11s | 1574/30000 samples | 2791 samples/sRunning... [■■■■ ] 8% | ETA: 7s | 2656/30000 samples | 3988 samples/sRunning... [■■■■ ] 8% | ETA: 7s | 2656/30000 samples | 3988 samples/sRunning... [■■■■■■ ] 14% | ETA: 5s | 4458/30000 samples | 5443 samples/sRunning... [■■■■■■■ ] 18% | ETA: 5s | 5528/30000 samples | 5950 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 4s | 6575/30000 samples | 6383 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 4s | 6575/30000 samples | 6383 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 3s | 9754/30000 samples | 7378 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 3s | 9754/30000 samples | 7378 samples/sRunning... [■■■■■■■■■■■■■■ ] 36% | ETA: 3s | 10810/30000 samples | 7597 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 12652/30000 samples | 7868 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 12652/30000 samples | 7868 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 12652/30000 samples | 7868 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 2s | 14817/30000 samples | 8005 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 2s | 14817/30000 samples | 8005 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 2s | 17193/30000 samples | 8191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 2s | 17193/30000 samples | 8191 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 2s | 18712/30000 samples | 8247 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 2s | 19655/30000 samples | 8276 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 1s | 21103/30000 samples | 8404 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 1s | 22135/30000 samples | 8448 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 1s | 22135/30000 samples | 8448 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 1s | 23289/30000 samples | 8441 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 1s | 24403/30000 samples | 8485 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 1s | 25289/30000 samples | 8483 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 1s | 26195/30000 samples | 8502 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 27217/30000 samples | 8551 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28389/30000 samples | 8512 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28389/30000 samples | 8512 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29269/30000 samples | 8459 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29822/30000 samples | 8370 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29822/30000 samples | 8370 samples/sAn example execution: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: false,67 up: true68 },69 "w2" ->70 {71 attached: Set(),72 built: false,73 expecting: false,74 running: false,75 session: false,76 up: true77 }78 )79}8081[State 2]82{83 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),84 schedFixed::scheduler::crashes: 1,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: true,106 up: true107 },108 "w2" ->109 {110 attached: Set(),111 built: false,112 expecting: false,113 running: false,114 session: false,115 up: true116 }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: false,154 up: true155 }156 )157}158159[State 4]160{161 schedFixed::scheduler::cl: Map("c1" -> CIdle, "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(),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: true,184 up: true185 },186 "w2" ->187 {188 attached: Set(),189 built: false,190 expecting: false,191 running: false,192 session: false,193 up: true194 }195 )196}197198[State 5]199{200 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),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"),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: true,223 up: true224 },225 "w2" ->226 {227 attached: Set(),228 built: false,229 expecting: false,230 running: false,231 session: false,232 up: true233 }234 )235}236237[State 6]238{239 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),240 schedFixed::scheduler::crashes: 2,241 schedFixed::scheduler::entry: [],242 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),243 schedFixed::scheduler::mAssigned: Set(),244 schedFixed::scheduler::mBuild: Set(),245 schedFixed::scheduler::mDone: Set(),246 schedFixed::scheduler::mExpect: Set(),247 schedFixed::scheduler::mResult: Set(),248 schedFixed::scheduler::mRetry: Set(),249 schedFixed::scheduler::mRevoke: Set(),250 schedFixed::scheduler::mSchedule: Set("c1"),251 schedFixed::scheduler::published: 0,252 schedFixed::scheduler::publishedBy: Set(),253 schedFixed::scheduler::ws:254 Map(255 "w1" ->256 {257 attached: Set(),258 built: false,259 expecting: false,260 running: false,261 session: true,262 up: true263 },264 "w2" ->265 {266 attached: Set(),267 built: false,268 expecting: false,269 running: false,270 session: true,271 up: true272 }273 )274}275276[State 7]277{278 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),279 schedFixed::scheduler::crashes: 2,280 schedFixed::scheduler::entry:281 [{ followers: Set("c1"), leased: true, worker: "w1" }],282 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),283 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),284 schedFixed::scheduler::mBuild: Set(),285 schedFixed::scheduler::mDone: Set(),286 schedFixed::scheduler::mExpect: Set("w1"),287 schedFixed::scheduler::mResult: Set(),288 schedFixed::scheduler::mRetry: Set(),289 schedFixed::scheduler::mRevoke: Set(),290 schedFixed::scheduler::mSchedule: Set(),291 schedFixed::scheduler::published: 0,292 schedFixed::scheduler::publishedBy: Set(),293 schedFixed::scheduler::ws:294 Map(295 "w1" ->296 {297 attached: Set(),298 built: false,299 expecting: false,300 running: false,301 session: true,302 up: true303 },304 "w2" ->305 {306 attached: Set(),307 built: false,308 expecting: false,309 running: false,310 session: true,311 up: true312 }313 )314}315316[State 8]317{318 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),319 schedFixed::scheduler::crashes: 2,320 schedFixed::scheduler::entry:321 [{ followers: Set("c1"), leased: true, worker: "w1" }],322 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),323 schedFixed::scheduler::mAssigned: Set(),324 schedFixed::scheduler::mBuild: Set(("c1", "w1")),325 schedFixed::scheduler::mDone: Set(),326 schedFixed::scheduler::mExpect: Set("w1"),327 schedFixed::scheduler::mResult: Set(),328 schedFixed::scheduler::mRetry: Set(),329 schedFixed::scheduler::mRevoke: Set(),330 schedFixed::scheduler::mSchedule: Set(),331 schedFixed::scheduler::published: 0,332 schedFixed::scheduler::publishedBy: Set(),333 schedFixed::scheduler::ws:334 Map(335 "w1" ->336 {337 attached: Set(),338 built: false,339 expecting: false,340 running: false,341 session: true,342 up: true343 },344 "w2" ->345 {346 attached: Set(),347 built: false,348 expecting: false,349 running: false,350 session: true,351 up: true352 }353 )354}355356[State 9]357{358 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),359 schedFixed::scheduler::crashes: 2,360 schedFixed::scheduler::entry:361 [{ followers: Set("c1"), leased: true, worker: "w1" }],362 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),363 schedFixed::scheduler::mAssigned: Set(),364 schedFixed::scheduler::mBuild: Set(("c1", "w1")),365 schedFixed::scheduler::mDone: Set(),366 schedFixed::scheduler::mExpect: Set("w1"),367 schedFixed::scheduler::mResult: Set(),368 schedFixed::scheduler::mRetry: Set(),369 schedFixed::scheduler::mRevoke: Set(),370 schedFixed::scheduler::mSchedule: Set("c2"),371 schedFixed::scheduler::published: 0,372 schedFixed::scheduler::publishedBy: Set(),373 schedFixed::scheduler::ws:374 Map(375 "w1" ->376 {377 attached: Set(),378 built: false,379 expecting: false,380 running: false,381 session: true,382 up: true383 },384 "w2" ->385 {386 attached: Set(),387 built: false,388 expecting: false,389 running: false,390 session: true,391 up: true392 }393 )394}395396[State 10]397{398 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),399 schedFixed::scheduler::crashes: 2,400 schedFixed::scheduler::entry:401 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],402 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),403 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),404 schedFixed::scheduler::mBuild: Set(("c1", "w1")),405 schedFixed::scheduler::mDone: Set(),406 schedFixed::scheduler::mExpect: Set("w1"),407 schedFixed::scheduler::mResult: Set(),408 schedFixed::scheduler::mRetry: Set(),409 schedFixed::scheduler::mRevoke: Set(),410 schedFixed::scheduler::mSchedule: Set(),411 schedFixed::scheduler::published: 0,412 schedFixed::scheduler::publishedBy: Set(),413 schedFixed::scheduler::ws:414 Map(415 "w1" ->416 {417 attached: Set(),418 built: false,419 expecting: false,420 running: false,421 session: true,422 up: true423 },424 "w2" ->425 {426 attached: Set(),427 built: false,428 expecting: false,429 running: false,430 session: true,431 up: true432 }433 )434}435436[State 11]437{438 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),439 schedFixed::scheduler::crashes: 2,440 schedFixed::scheduler::entry:441 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],442 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),443 schedFixed::scheduler::mAssigned: Set(),444 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),445 schedFixed::scheduler::mDone: Set(),446 schedFixed::scheduler::mExpect: Set("w1"),447 schedFixed::scheduler::mResult: Set(),448 schedFixed::scheduler::mRetry: Set(),449 schedFixed::scheduler::mRevoke: Set(),450 schedFixed::scheduler::mSchedule: Set(),451 schedFixed::scheduler::published: 0,452 schedFixed::scheduler::publishedBy: Set(),453 schedFixed::scheduler::ws:454 Map(455 "w1" ->456 {457 attached: Set(),458 built: false,459 expecting: false,460 running: false,461 session: true,462 up: true463 },464 "w2" ->465 {466 attached: Set(),467 built: false,468 expecting: false,469 running: false,470 session: true,471 up: true472 }473 )474}475476[State 12]477{478 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),479 schedFixed::scheduler::crashes: 2,480 schedFixed::scheduler::entry:481 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],482 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),483 schedFixed::scheduler::mAssigned: Set(),484 schedFixed::scheduler::mBuild: Set(("c2", "w1")),485 schedFixed::scheduler::mDone: Set(),486 schedFixed::scheduler::mExpect: Set("w1"),487 schedFixed::scheduler::mResult: Set(),488 schedFixed::scheduler::mRetry: Set("c1"),489 schedFixed::scheduler::mRevoke: Set(),490 schedFixed::scheduler::mSchedule: Set(),491 schedFixed::scheduler::published: 0,492 schedFixed::scheduler::publishedBy: Set(),493 schedFixed::scheduler::ws:494 Map(495 "w1" ->496 {497 attached: Set(),498 built: false,499 expecting: false,500 running: false,501 session: true,502 up: true503 },504 "w2" ->505 {506 attached: Set(),507 built: false,508 expecting: false,509 running: false,510 session: true,511 up: true512 }513 )514}515516[State 13]517{518 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),519 schedFixed::scheduler::crashes: 2,520 schedFixed::scheduler::entry:521 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],522 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),523 schedFixed::scheduler::mAssigned: Set(),524 schedFixed::scheduler::mBuild: Set(("c2", "w1")),525 schedFixed::scheduler::mDone: Set(),526 schedFixed::scheduler::mExpect: Set("w1"),527 schedFixed::scheduler::mResult: Set(),528 schedFixed::scheduler::mRetry: Set(),529 schedFixed::scheduler::mRevoke: Set(),530 schedFixed::scheduler::mSchedule: Set("c1"),531 schedFixed::scheduler::published: 0,532 schedFixed::scheduler::publishedBy: Set(),533 schedFixed::scheduler::ws:534 Map(535 "w1" ->536 {537 attached: Set(),538 built: false,539 expecting: false,540 running: false,541 session: true,542 up: true543 },544 "w2" ->545 {546 attached: Set(),547 built: false,548 expecting: false,549 running: false,550 session: true,551 up: true552 }553 )554}555556[State 14]557{558 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),559 schedFixed::scheduler::crashes: 2,560 schedFixed::scheduler::entry:561 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],562 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),563 schedFixed::scheduler::mAssigned: Set(),564 schedFixed::scheduler::mBuild: Set(),565 schedFixed::scheduler::mDone: Set(),566 schedFixed::scheduler::mExpect: Set("w1"),567 schedFixed::scheduler::mResult: Set(),568 schedFixed::scheduler::mRetry: Set("c2"),569 schedFixed::scheduler::mRevoke: Set(),570 schedFixed::scheduler::mSchedule: Set("c1"),571 schedFixed::scheduler::published: 0,572 schedFixed::scheduler::publishedBy: Set(),573 schedFixed::scheduler::ws:574 Map(575 "w1" ->576 {577 attached: Set(),578 built: false,579 expecting: false,580 running: false,581 session: true,582 up: true583 },584 "w2" ->585 {586 attached: Set(),587 built: false,588 expecting: false,589 running: false,590 session: true,591 up: true592 }593 )594}595596[State 15]597{598 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),599 schedFixed::scheduler::crashes: 2,600 schedFixed::scheduler::entry:601 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],602 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),603 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),604 schedFixed::scheduler::mBuild: Set(),605 schedFixed::scheduler::mDone: Set(),606 schedFixed::scheduler::mExpect: Set("w1"),607 schedFixed::scheduler::mResult: Set(),608 schedFixed::scheduler::mRetry: Set("c2"),609 schedFixed::scheduler::mRevoke: Set(),610 schedFixed::scheduler::mSchedule: Set(),611 schedFixed::scheduler::published: 0,612 schedFixed::scheduler::publishedBy: Set(),613 schedFixed::scheduler::ws:614 Map(615 "w1" ->616 {617 attached: Set(),618 built: false,619 expecting: false,620 running: false,621 session: true,622 up: true623 },624 "w2" ->625 {626 attached: Set(),627 built: false,628 expecting: false,629 running: false,630 session: true,631 up: true632 }633 )634}635636[State 16]637{638 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),639 schedFixed::scheduler::crashes: 2,640 schedFixed::scheduler::entry:641 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],642 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),643 schedFixed::scheduler::mAssigned: Set(),644 schedFixed::scheduler::mBuild: Set(("c1", "w1")),645 schedFixed::scheduler::mDone: Set(),646 schedFixed::scheduler::mExpect: Set("w1"),647 schedFixed::scheduler::mResult: Set(),648 schedFixed::scheduler::mRetry: Set("c2"),649 schedFixed::scheduler::mRevoke: Set(),650 schedFixed::scheduler::mSchedule: Set(),651 schedFixed::scheduler::published: 0,652 schedFixed::scheduler::publishedBy: Set(),653 schedFixed::scheduler::ws:654 Map(655 "w1" ->656 {657 attached: Set(),658 built: false,659 expecting: false,660 running: false,661 session: true,662 up: true663 },664 "w2" ->665 {666 attached: Set(),667 built: false,668 expecting: false,669 running: false,670 session: true,671 up: true672 }673 )674}675676[State 17]677{678 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),679 schedFixed::scheduler::crashes: 2,680 schedFixed::scheduler::entry:681 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],682 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),683 schedFixed::scheduler::mAssigned: Set(),684 schedFixed::scheduler::mBuild: Set(),685 schedFixed::scheduler::mDone: Set(),686 schedFixed::scheduler::mExpect: Set("w1"),687 schedFixed::scheduler::mResult: Set(),688 schedFixed::scheduler::mRetry: Set("c1", "c2"),689 schedFixed::scheduler::mRevoke: Set(),690 schedFixed::scheduler::mSchedule: Set(),691 schedFixed::scheduler::published: 0,692 schedFixed::scheduler::publishedBy: Set(),693 schedFixed::scheduler::ws:694 Map(695 "w1" ->696 {697 attached: Set(),698 built: false,699 expecting: false,700 running: false,701 session: true,702 up: true703 },704 "w2" ->705 {706 attached: Set(),707 built: false,708 expecting: false,709 running: false,710 session: true,711 up: true712 }713 )714}715716[State 18]717{718 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),719 schedFixed::scheduler::crashes: 2,720 schedFixed::scheduler::entry:721 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],722 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),723 schedFixed::scheduler::mAssigned: Set(),724 schedFixed::scheduler::mBuild: Set(),725 schedFixed::scheduler::mDone: Set(),726 schedFixed::scheduler::mExpect: Set("w1"),727 schedFixed::scheduler::mResult: Set(),728 schedFixed::scheduler::mRetry: Set("c2"),729 schedFixed::scheduler::mRevoke: Set(),730 schedFixed::scheduler::mSchedule: Set("c1"),731 schedFixed::scheduler::published: 0,732 schedFixed::scheduler::publishedBy: Set(),733 schedFixed::scheduler::ws:734 Map(735 "w1" ->736 {737 attached: Set(),738 built: false,739 expecting: false,740 running: false,741 session: true,742 up: true743 },744 "w2" ->745 {746 attached: Set(),747 built: false,748 expecting: false,749 running: false,750 session: true,751 up: true752 }753 )754}755756[State 19]757{758 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),759 schedFixed::scheduler::crashes: 2,760 schedFixed::scheduler::entry:761 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],762 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),763 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),764 schedFixed::scheduler::mBuild: Set(),765 schedFixed::scheduler::mDone: Set(),766 schedFixed::scheduler::mExpect: Set("w1"),767 schedFixed::scheduler::mResult: Set(),768 schedFixed::scheduler::mRetry: Set("c2"),769 schedFixed::scheduler::mRevoke: Set(),770 schedFixed::scheduler::mSchedule: Set(),771 schedFixed::scheduler::published: 0,772 schedFixed::scheduler::publishedBy: Set(),773 schedFixed::scheduler::ws:774 Map(775 "w1" ->776 {777 attached: Set(),778 built: false,779 expecting: false,780 running: false,781 session: true,782 up: true783 },784 "w2" ->785 {786 attached: Set(),787 built: false,788 expecting: false,789 running: false,790 session: true,791 up: true792 }793 )794}795796[State 20]797{798 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),799 schedFixed::scheduler::crashes: 2,800 schedFixed::scheduler::entry:801 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],802 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),803 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),804 schedFixed::scheduler::mBuild: Set(),805 schedFixed::scheduler::mDone: Set(),806 schedFixed::scheduler::mExpect: Set("w1"),807 schedFixed::scheduler::mResult: Set(),808 schedFixed::scheduler::mRetry: Set(),809 schedFixed::scheduler::mRevoke: Set(),810 schedFixed::scheduler::mSchedule: Set("c2"),811 schedFixed::scheduler::published: 0,812 schedFixed::scheduler::publishedBy: Set(),813 schedFixed::scheduler::ws:814 Map(815 "w1" ->816 {817 attached: Set(),818 built: false,819 expecting: false,820 running: false,821 session: true,822 up: true823 },824 "w2" ->825 {826 attached: Set(),827 built: false,828 expecting: false,829 running: false,830 session: true,831 up: true832 }833 )834}835836[State 21]837{838 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),839 schedFixed::scheduler::crashes: 2,840 schedFixed::scheduler::entry:841 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],842 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),843 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),844 schedFixed::scheduler::mBuild: Set(),845 schedFixed::scheduler::mDone: Set(),846 schedFixed::scheduler::mExpect: Set("w1"),847 schedFixed::scheduler::mResult: Set(),848 schedFixed::scheduler::mRetry: Set(),849 schedFixed::scheduler::mRevoke: Set(),850 schedFixed::scheduler::mSchedule: Set(),851 schedFixed::scheduler::published: 0,852 schedFixed::scheduler::publishedBy: Set(),853 schedFixed::scheduler::ws:854 Map(855 "w1" ->856 {857 attached: Set(),858 built: false,859 expecting: false,860 running: false,861 session: true,862 up: true863 },864 "w2" ->865 {866 attached: Set(),867 built: false,868 expecting: false,869 running: false,870 session: true,871 up: true872 }873 )874}875876[State 22]877{878 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),879 schedFixed::scheduler::crashes: 2,880 schedFixed::scheduler::entry:881 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],882 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),883 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),884 schedFixed::scheduler::mBuild: Set(("c1", "w1")),885 schedFixed::scheduler::mDone: Set(),886 schedFixed::scheduler::mExpect: Set("w1"),887 schedFixed::scheduler::mResult: Set(),888 schedFixed::scheduler::mRetry: Set(),889 schedFixed::scheduler::mRevoke: Set(),890 schedFixed::scheduler::mSchedule: Set(),891 schedFixed::scheduler::published: 0,892 schedFixed::scheduler::publishedBy: Set(),893 schedFixed::scheduler::ws:894 Map(895 "w1" ->896 {897 attached: Set(),898 built: false,899 expecting: false,900 running: false,901 session: true,902 up: true903 },904 "w2" ->905 {906 attached: Set(),907 built: false,908 expecting: false,909 running: false,910 session: true,911 up: true912 }913 )914}915916[State 23]917{918 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),919 schedFixed::scheduler::crashes: 2,920 schedFixed::scheduler::entry:921 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],922 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),923 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),924 schedFixed::scheduler::mBuild: Set(),925 schedFixed::scheduler::mDone: Set(),926 schedFixed::scheduler::mExpect: Set("w1"),927 schedFixed::scheduler::mResult: Set(),928 schedFixed::scheduler::mRetry: Set("c1"),929 schedFixed::scheduler::mRevoke: Set(),930 schedFixed::scheduler::mSchedule: Set(),931 schedFixed::scheduler::published: 0,932 schedFixed::scheduler::publishedBy: Set(),933 schedFixed::scheduler::ws:934 Map(935 "w1" ->936 {937 attached: Set(),938 built: false,939 expecting: false,940 running: false,941 session: true,942 up: true943 },944 "w2" ->945 {946 attached: Set(),947 built: false,948 expecting: false,949 running: false,950 session: true,951 up: true952 }953 )954}955956[State 24]957{958 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),959 schedFixed::scheduler::crashes: 2,960 schedFixed::scheduler::entry:961 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],962 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),963 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),964 schedFixed::scheduler::mBuild: Set(),965 schedFixed::scheduler::mDone: Set(),966 schedFixed::scheduler::mExpect: Set("w1"),967 schedFixed::scheduler::mResult: Set(),968 schedFixed::scheduler::mRetry: Set(),969 schedFixed::scheduler::mRevoke: Set(),970 schedFixed::scheduler::mSchedule: Set("c1"),971 schedFixed::scheduler::published: 0,972 schedFixed::scheduler::publishedBy: Set(),973 schedFixed::scheduler::ws:974 Map(975 "w1" ->976 {977 attached: Set(),978 built: false,979 expecting: false,980 running: false,981 session: true,982 up: true983 },984 "w2" ->985 {986 attached: Set(),987 built: false,988 expecting: false,989 running: false,990 session: true,991 up: true992 }993 )994}995996[State 25]997{998 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),999 schedFixed::scheduler::crashes: 2,1000 schedFixed::scheduler::entry:1001 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1002 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1003 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1004 schedFixed::scheduler::mBuild: Set(),1005 schedFixed::scheduler::mDone: Set(),1006 schedFixed::scheduler::mExpect: Set("w1"),1007 schedFixed::scheduler::mResult: Set(),1008 schedFixed::scheduler::mRetry: Set(),1009 schedFixed::scheduler::mRevoke: Set(),1010 schedFixed::scheduler::mSchedule: Set(),1011 schedFixed::scheduler::published: 0,1012 schedFixed::scheduler::publishedBy: Set(),1013 schedFixed::scheduler::ws:1014 Map(1015 "w1" ->1016 {1017 attached: Set(),1018 built: false,1019 expecting: false,1020 running: false,1021 session: true,1022 up: true1023 },1024 "w2" ->1025 {1026 attached: Set(),1027 built: false,1028 expecting: false,1029 running: false,1030 session: true,1031 up: true1032 }1033 )1034}10351036[State 26]1037{1038 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1039 schedFixed::scheduler::crashes: 2,1040 schedFixed::scheduler::entry:1041 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1042 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1043 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1044 schedFixed::scheduler::mBuild: Set(),1045 schedFixed::scheduler::mDone: Set(),1046 schedFixed::scheduler::mExpect: Set(),1047 schedFixed::scheduler::mResult: Set(),1048 schedFixed::scheduler::mRetry: Set(),1049 schedFixed::scheduler::mRevoke: Set(),1050 schedFixed::scheduler::mSchedule: Set(),1051 schedFixed::scheduler::published: 0,1052 schedFixed::scheduler::publishedBy: Set(),1053 schedFixed::scheduler::ws:1054 Map(1055 "w1" ->1056 {1057 attached: Set(),1058 built: false,1059 expecting: true,1060 running: true,1061 session: true,1062 up: true1063 },1064 "w2" ->1065 {1066 attached: Set(),1067 built: false,1068 expecting: false,1069 running: false,1070 session: true,1071 up: true1072 }1073 )1074}10751076[State 27]1077{1078 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1079 schedFixed::scheduler::crashes: 2,1080 schedFixed::scheduler::entry:1081 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1082 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1083 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1084 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1085 schedFixed::scheduler::mDone: Set(),1086 schedFixed::scheduler::mExpect: Set(),1087 schedFixed::scheduler::mResult: Set(),1088 schedFixed::scheduler::mRetry: Set(),1089 schedFixed::scheduler::mRevoke: Set(),1090 schedFixed::scheduler::mSchedule: Set(),1091 schedFixed::scheduler::published: 0,1092 schedFixed::scheduler::publishedBy: Set(),1093 schedFixed::scheduler::ws:1094 Map(1095 "w1" ->1096 {1097 attached: Set(),1098 built: false,1099 expecting: true,1100 running: true,1101 session: true,1102 up: true1103 },1104 "w2" ->1105 {1106 attached: Set(),1107 built: false,1108 expecting: false,1109 running: false,1110 session: true,1111 up: true1112 }1113 )1114}11151116[State 28]1117{1118 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1119 schedFixed::scheduler::crashes: 2,1120 schedFixed::scheduler::entry:1121 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1122 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1123 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1124 schedFixed::scheduler::mBuild: Set(),1125 schedFixed::scheduler::mDone: Set(),1126 schedFixed::scheduler::mExpect: Set(),1127 schedFixed::scheduler::mResult: Set(),1128 schedFixed::scheduler::mRetry: Set(),1129 schedFixed::scheduler::mRevoke: Set(),1130 schedFixed::scheduler::mSchedule: Set(),1131 schedFixed::scheduler::published: 0,1132 schedFixed::scheduler::publishedBy: Set(),1133 schedFixed::scheduler::ws:1134 Map(1135 "w1" ->1136 {1137 attached: Set("c1"),1138 built: false,1139 expecting: true,1140 running: true,1141 session: true,1142 up: true1143 },1144 "w2" ->1145 {1146 attached: Set(),1147 built: false,1148 expecting: false,1149 running: false,1150 session: true,1151 up: true1152 }1153 )1154}11551156[State 29]1157{1158 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1159 schedFixed::scheduler::crashes: 2,1160 schedFixed::scheduler::entry:1161 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1162 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1163 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1164 schedFixed::scheduler::mBuild: Set(),1165 schedFixed::scheduler::mDone: Set("w1"),1166 schedFixed::scheduler::mExpect: Set(),1167 schedFixed::scheduler::mResult: Set("c1"),1168 schedFixed::scheduler::mRetry: Set(),1169 schedFixed::scheduler::mRevoke: Set(),1170 schedFixed::scheduler::mSchedule: Set(),1171 schedFixed::scheduler::published: 1,1172 schedFixed::scheduler::publishedBy: Set("w1"),1173 schedFixed::scheduler::ws:1174 Map(1175 "w1" ->1176 {1177 attached: Set(),1178 built: true,1179 expecting: false,1180 running: false,1181 session: true,1182 up: true1183 },1184 "w2" ->1185 {1186 attached: Set(),1187 built: false,1188 expecting: false,1189 running: false,1190 session: true,1191 up: true1192 }1193 )1194}11951196[State 30]1197{1198 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1199 schedFixed::scheduler::crashes: 2,1200 schedFixed::scheduler::entry: [],1201 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1202 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1203 schedFixed::scheduler::mBuild: Set(),1204 schedFixed::scheduler::mDone: Set(),1205 schedFixed::scheduler::mExpect: Set(),1206 schedFixed::scheduler::mResult: Set("c1"),1207 schedFixed::scheduler::mRetry: Set(),1208 schedFixed::scheduler::mRevoke: Set(),1209 schedFixed::scheduler::mSchedule: Set(),1210 schedFixed::scheduler::published: 1,1211 schedFixed::scheduler::publishedBy: Set("w1"),1212 schedFixed::scheduler::ws:1213 Map(1214 "w1" ->1215 {1216 attached: Set(),1217 built: true,1218 expecting: false,1219 running: false,1220 session: true,1221 up: true1222 },1223 "w2" ->1224 {1225 attached: Set(),1226 built: false,1227 expecting: false,1228 running: false,1229 session: true,1230 up: true1231 }1232 )1233}12341235[ok] No violation found (3678ms at 8157 traces/second).1236Trace length statistics: max=31, min=15, average=18.761237You may increase --max-samples and --max-steps.1238Use --verbosity to produce more (or less) output.1239Use --seed=0xdaff420a170cccf6 --backend=rust to reproduce.1240Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 2% | ETA: 5s | 800/30000 samples | 7207 samples/sRunning... [■■ ] 5% | ETA: 5s | 1539/30000 samples | 6840 samples/sRunning... [■■■ ] 7% | ETA: 5s | 2245/30000 samples | 6845 samples/sRunning... [■■■■ ] 10% | ETA: 5s | 3098/30000 samples | 6536 samples/sRunning... [■■■■ ] 10% | ETA: 5s | 3098/30000 samples | 6536 samples/sRunning... [■■■■■■ ] 14% | ETA: 4s | 4202/30000 samples | 6628 samples/sRunning... [■■■■■■■ ] 17% | ETA: 4s | 5377/30000 samples | 6606 samples/sRunning... [■■■■■■■ ] 17% | ETA: 4s | 5377/30000 samples | 6606 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 4s | 6539/30000 samples | 6578 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 4s | 6539/30000 samples | 6578 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 4s | 7378/30000 samples | 6506 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 4s | 8255/30000 samples | 6340 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 4s | 8850/30000 samples | 6219 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 4s | 8850/30000 samples | 6219 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 4s | 9415/30000 samples | 6146 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 4s | 10046/30000 samples | 6081 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 4s | 10046/30000 samples | 6081 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 4s | 11020/30000 samples | 5928 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 4s | 11696/30000 samples | 5922 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 4s | 11696/30000 samples | 5922 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 4s | 12541/30000 samples | 5822 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 4s | 12541/30000 samples | 5822 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 4s | 13295/30000 samples | 5617 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 4s | 13295/30000 samples | 5617 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 4s | 14124/30000 samples | 5340 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 4s | 14124/30000 samples | 5340 samples/sAn example execution:12411242[State 0]1243{1244 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1245 schedNoRevoke::scheduler::crashes: 0,1246 schedNoRevoke::scheduler::entry: [],1247 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1248 schedNoRevoke::scheduler::mAssigned: Set(),1249 schedNoRevoke::scheduler::mBuild: Set(),1250 schedNoRevoke::scheduler::mDone: Set(),1251 schedNoRevoke::scheduler::mExpect: Set(),1252 schedNoRevoke::scheduler::mResult: Set(),1253 schedNoRevoke::scheduler::mRetry: Set(),1254 schedNoRevoke::scheduler::mRevoke: Set(),1255 schedNoRevoke::scheduler::mSchedule: Set(),1256 schedNoRevoke::scheduler::published: 0,1257 schedNoRevoke::scheduler::publishedBy: Set(),1258 schedNoRevoke::scheduler::ws:1259 Map(1260 "w1" ->1261 {1262 attached: Set(),1263 built: false,1264 expecting: false,1265 running: false,1266 session: true,1267 up: true1268 },1269 "w2" ->1270 {1271 attached: Set(),1272 built: false,1273 expecting: false,1274 running: false,1275 session: true,1276 up: true1277 }1278 )1279}12801281[State 1]1282{1283 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1284 schedNoRevoke::scheduler::crashes: 1,1285 schedNoRevoke::scheduler::entry: [],1286 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1287 schedNoRevoke::scheduler::mAssigned: Set(),1288 schedNoRevoke::scheduler::mBuild: Set(),1289 schedNoRevoke::scheduler::mDone: Set(),1290 schedNoRevoke::scheduler::mExpect: Set(),1291 schedNoRevoke::scheduler::mResult: Set(),1292 schedNoRevoke::scheduler::mRetry: Set(),1293 schedNoRevoke::scheduler::mRevoke: Set(),1294 schedNoRevoke::scheduler::mSchedule: Set(),1295 schedNoRevoke::scheduler::published: 0,1296 schedNoRevoke::scheduler::publishedBy: Set(),1297 schedNoRevoke::scheduler::ws:1298 Map(1299 "w1" ->1300 {1301 attached: Set(),1302 built: false,1303 expecting: false,1304 running: false,1305 session: true,1306 up: true1307 },1308 "w2" ->1309 {1310 attached: Set(),1311 built: false,1312 expecting: false,1313 running: false,1314 session: false,1315 up: false1316 }1317 )1318}13191320[State 2]1321{1322 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1323 schedNoRevoke::scheduler::crashes: 1,1324 schedNoRevoke::scheduler::entry: [],1325 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1326 schedNoRevoke::scheduler::mAssigned: Set(),1327 schedNoRevoke::scheduler::mBuild: Set(),1328 schedNoRevoke::scheduler::mDone: Set(),1329 schedNoRevoke::scheduler::mExpect: Set(),1330 schedNoRevoke::scheduler::mResult: Set(),1331 schedNoRevoke::scheduler::mRetry: Set(),1332 schedNoRevoke::scheduler::mRevoke: Set(),1333 schedNoRevoke::scheduler::mSchedule: Set("c2"),1334 schedNoRevoke::scheduler::published: 0,1335 schedNoRevoke::scheduler::publishedBy: Set(),1336 schedNoRevoke::scheduler::ws:1337 Map(1338 "w1" ->1339 {1340 attached: Set(),1341 built: false,1342 expecting: false,1343 running: false,1344 session: true,1345 up: true1346 },1347 "w2" ->1348 {1349 attached: Set(),1350 built: false,1351 expecting: false,1352 running: false,1353 session: false,1354 up: false1355 }1356 )1357}13581359[State 3]1360{1361 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1362 schedNoRevoke::scheduler::crashes: 1,1363 schedNoRevoke::scheduler::entry:1364 [{ followers: Set("c2"), leased: true, worker: "w1" }],1365 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),1366 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w1")),1367 schedNoRevoke::scheduler::mBuild: Set(),1368 schedNoRevoke::scheduler::mDone: Set(),1369 schedNoRevoke::scheduler::mExpect: Set("w1"),1370 schedNoRevoke::scheduler::mResult: Set(),1371 schedNoRevoke::scheduler::mRetry: Set(),1372 schedNoRevoke::scheduler::mRevoke: Set(),1373 schedNoRevoke::scheduler::mSchedule: Set(),1374 schedNoRevoke::scheduler::published: 0,1375 schedNoRevoke::scheduler::publishedBy: Set(),1376 schedNoRevoke::scheduler::ws:1377 Map(1378 "w1" ->1379 {1380 attached: Set(),1381 built: false,1382 expecting: false,1383 running: false,1384 session: true,1385 up: true1386 },1387 "w2" ->1388 {1389 attached: Set(),1390 built: false,1391 expecting: false,1392 running: false,1393 session: false,1394 up: false1395 }1396 )1397}13981399[State 4]1400{1401 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1402 schedNoRevoke::scheduler::crashes: 1,1403 schedNoRevoke::scheduler::entry:1404 [{ followers: Set("c2"), leased: true, worker: "w1" }],1405 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),1406 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w1")),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(),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: true,1423 running: true,1424 session: true,1425 up: true1426 },1427 "w2" ->1428 {1429 attached: Set(),1430 built: false,1431 expecting: false,1432 running: false,1433 session: false,1434 up: false1435 }1436 )1437}14381439[State 5]1440{1441 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1442 schedNoRevoke::scheduler::crashes: 2,1443 schedNoRevoke::scheduler::entry: [],1444 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1445 schedNoRevoke::scheduler::mAssigned: Set(),1446 schedNoRevoke::scheduler::mBuild: Set(),1447 schedNoRevoke::scheduler::mDone: Set(),1448 schedNoRevoke::scheduler::mExpect: Set(),1449 schedNoRevoke::scheduler::mResult: Set(),1450 schedNoRevoke::scheduler::mRetry: Set("c2"),1451 schedNoRevoke::scheduler::mRevoke: Set(),1452 schedNoRevoke::scheduler::mSchedule: Set(),1453 schedNoRevoke::scheduler::published: 0,1454 schedNoRevoke::scheduler::publishedBy: Set(),1455 schedNoRevoke::scheduler::ws:1456 Map(1457 "w1" ->1458 {1459 attached: Set(),1460 built: false,1461 expecting: true,1462 running: true,1463 session: false,1464 up: true1465 },1466 "w2" ->1467 {1468 attached: Set(),1469 built: false,1470 expecting: false,1471 running: false,1472 session: false,1473 up: false1474 }1475 )1476}14771478[State 6]1479{1480 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1481 schedNoRevoke::scheduler::crashes: 2,1482 schedNoRevoke::scheduler::entry: [],1483 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1484 schedNoRevoke::scheduler::mAssigned: Set(),1485 schedNoRevoke::scheduler::mBuild: Set(),1486 schedNoRevoke::scheduler::mDone: Set(),1487 schedNoRevoke::scheduler::mExpect: Set(),1488 schedNoRevoke::scheduler::mResult: Set(),1489 schedNoRevoke::scheduler::mRetry: Set("c2"),1490 schedNoRevoke::scheduler::mRevoke: Set(),1491 schedNoRevoke::scheduler::mSchedule: Set(),1492 schedNoRevoke::scheduler::published: 0,1493 schedNoRevoke::scheduler::publishedBy: Set(),1494 schedNoRevoke::scheduler::ws:1495 Map(1496 "w1" ->1497 {1498 attached: Set(),1499 built: false,1500 expecting: true,1501 running: true,1502 session: false,1503 up: true1504 },1505 "w2" ->1506 {1507 attached: Set(),1508 built: false,1509 expecting: false,1510 running: false,1511 session: true,1512 up: true1513 }1514 )1515}15161517[State 7]1518{1519 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1520 schedNoRevoke::scheduler::crashes: 2,1521 schedNoRevoke::scheduler::entry: [],1522 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1523 schedNoRevoke::scheduler::mAssigned: Set(),1524 schedNoRevoke::scheduler::mBuild: Set(),1525 schedNoRevoke::scheduler::mDone: Set(),1526 schedNoRevoke::scheduler::mExpect: Set(),1527 schedNoRevoke::scheduler::mResult: Set(),1528 schedNoRevoke::scheduler::mRetry: Set("c2"),1529 schedNoRevoke::scheduler::mRevoke: Set(),1530 schedNoRevoke::scheduler::mSchedule: Set("c1"),1531 schedNoRevoke::scheduler::published: 0,1532 schedNoRevoke::scheduler::publishedBy: Set(),1533 schedNoRevoke::scheduler::ws:1534 Map(1535 "w1" ->1536 {1537 attached: Set(),1538 built: false,1539 expecting: true,1540 running: true,1541 session: false,1542 up: true1543 },1544 "w2" ->1545 {1546 attached: Set(),1547 built: false,1548 expecting: false,1549 running: false,1550 session: true,1551 up: true1552 }1553 )1554}15551556[State 8]1557{1558 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1559 schedNoRevoke::scheduler::crashes: 2,1560 schedNoRevoke::scheduler::entry:1561 [{ followers: Set("c1"), leased: true, worker: "w2" }],1562 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1563 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),1564 schedNoRevoke::scheduler::mBuild: Set(),1565 schedNoRevoke::scheduler::mDone: Set(),1566 schedNoRevoke::scheduler::mExpect: Set("w2"),1567 schedNoRevoke::scheduler::mResult: Set(),1568 schedNoRevoke::scheduler::mRetry: Set("c2"),1569 schedNoRevoke::scheduler::mRevoke: Set(),1570 schedNoRevoke::scheduler::mSchedule: Set(),1571 schedNoRevoke::scheduler::published: 0,1572 schedNoRevoke::scheduler::publishedBy: Set(),1573 schedNoRevoke::scheduler::ws:1574 Map(1575 "w1" ->1576 {1577 attached: Set(),1578 built: false,1579 expecting: true,1580 running: true,1581 session: false,1582 up: true1583 },1584 "w2" ->1585 {1586 attached: Set(),1587 built: false,1588 expecting: false,1589 running: false,1590 session: true,1591 up: true1592 }1593 )1594}15951596[State 9]1597{1598 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1599 schedNoRevoke::scheduler::crashes: 2,1600 schedNoRevoke::scheduler::entry:1601 [{ followers: Set("c1"), leased: true, worker: "w2" }],1602 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1603 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),1604 schedNoRevoke::scheduler::mBuild: Set(),1605 schedNoRevoke::scheduler::mDone: Set(),1606 schedNoRevoke::scheduler::mExpect: Set("w2"),1607 schedNoRevoke::scheduler::mResult: Set(),1608 schedNoRevoke::scheduler::mRetry: Set("c2"),1609 schedNoRevoke::scheduler::mRevoke: Set(),1610 schedNoRevoke::scheduler::mSchedule: Set(),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: true,1620 running: true,1621 session: true,1622 up: true1623 },1624 "w2" ->1625 {1626 attached: Set(),1627 built: false,1628 expecting: false,1629 running: false,1630 session: true,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("c1"), leased: true, worker: "w2" }],1642 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1643 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w2")),1644 schedNoRevoke::scheduler::mBuild: Set(),1645 schedNoRevoke::scheduler::mDone: Set(),1646 schedNoRevoke::scheduler::mExpect: Set(),1647 schedNoRevoke::scheduler::mResult: Set(),1648 schedNoRevoke::scheduler::mRetry: Set("c2"),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: true,1660 running: true,1661 session: true,1662 up: true1663 },1664 "w2" ->1665 {1666 attached: Set(),1667 built: false,1668 expecting: true,1669 running: true,1670 session: true,1671 up: true1672 }1673 )1674}16751676[violation] Found an issue (2720ms at 5243 traces/second).1677Use --verbosity=3 to show executions.1678Use --seed=0x98f0341616304b5d --backend=rust to reproduce.1679error: Invariant violated1680Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 4% | ETA: 6s | 1350/30000 samples | 5625 samples/sRunning... [■■ ] 5% | ETA: 7s | 1625/30000 samples | 4565 samples/sAn example execution:16811682[State 0]1683{1684 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1685 schedNoFence::scheduler::crashes: 0,1686 schedNoFence::scheduler::entry: [],1687 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1688 schedNoFence::scheduler::mAssigned: Set(),1689 schedNoFence::scheduler::mBuild: Set(),1690 schedNoFence::scheduler::mDone: Set(),1691 schedNoFence::scheduler::mExpect: Set(),1692 schedNoFence::scheduler::mResult: Set(),1693 schedNoFence::scheduler::mRetry: Set(),1694 schedNoFence::scheduler::mRevoke: Set(),1695 schedNoFence::scheduler::mSchedule: Set(),1696 schedNoFence::scheduler::published: 0,1697 schedNoFence::scheduler::publishedBy: Set(),1698 schedNoFence::scheduler::ws:1699 Map(1700 "w1" ->1701 {1702 attached: Set(),1703 built: false,1704 expecting: false,1705 running: false,1706 session: true,1707 up: true1708 },1709 "w2" ->1710 {1711 attached: Set(),1712 built: false,1713 expecting: false,1714 running: false,1715 session: true,1716 up: true1717 }1718 )1719}17201721[State 1]1722{1723 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1724 schedNoFence::scheduler::crashes: 1,1725 schedNoFence::scheduler::entry: [],1726 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1727 schedNoFence::scheduler::mAssigned: Set(),1728 schedNoFence::scheduler::mBuild: Set(),1729 schedNoFence::scheduler::mDone: Set(),1730 schedNoFence::scheduler::mExpect: Set(),1731 schedNoFence::scheduler::mResult: Set(),1732 schedNoFence::scheduler::mRetry: Set(),1733 schedNoFence::scheduler::mRevoke: Set(),1734 schedNoFence::scheduler::mSchedule: Set(),1735 schedNoFence::scheduler::published: 0,1736 schedNoFence::scheduler::publishedBy: Set(),1737 schedNoFence::scheduler::ws:1738 Map(1739 "w1" ->1740 {1741 attached: Set(),1742 built: false,1743 expecting: false,1744 running: false,1745 session: false,1746 up: true1747 },1748 "w2" ->1749 {1750 attached: Set(),1751 built: false,1752 expecting: false,1753 running: false,1754 session: false,1755 up: true1756 }1757 )1758}17591760[State 2]1761{1762 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1763 schedNoFence::scheduler::crashes: 1,1764 schedNoFence::scheduler::entry: [],1765 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1766 schedNoFence::scheduler::mAssigned: Set(),1767 schedNoFence::scheduler::mBuild: Set(),1768 schedNoFence::scheduler::mDone: Set(),1769 schedNoFence::scheduler::mExpect: Set(),1770 schedNoFence::scheduler::mResult: Set(),1771 schedNoFence::scheduler::mRetry: Set(),1772 schedNoFence::scheduler::mRevoke: Set(),1773 schedNoFence::scheduler::mSchedule: Set("c1"),1774 schedNoFence::scheduler::published: 0,1775 schedNoFence::scheduler::publishedBy: Set(),1776 schedNoFence::scheduler::ws:1777 Map(1778 "w1" ->1779 {1780 attached: Set(),1781 built: false,1782 expecting: false,1783 running: false,1784 session: false,1785 up: true1786 },1787 "w2" ->1788 {1789 attached: Set(),1790 built: false,1791 expecting: false,1792 running: false,1793 session: false,1794 up: true1795 }1796 )1797}17981799[State 3]1800{1801 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1802 schedNoFence::scheduler::crashes: 1,1803 schedNoFence::scheduler::entry: [],1804 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1805 schedNoFence::scheduler::mAssigned: Set(),1806 schedNoFence::scheduler::mBuild: Set(),1807 schedNoFence::scheduler::mDone: Set(),1808 schedNoFence::scheduler::mExpect: Set(),1809 schedNoFence::scheduler::mResult: Set(),1810 schedNoFence::scheduler::mRetry: Set(),1811 schedNoFence::scheduler::mRevoke: Set(),1812 schedNoFence::scheduler::mSchedule: Set("c1"),1813 schedNoFence::scheduler::published: 0,1814 schedNoFence::scheduler::publishedBy: Set(),1815 schedNoFence::scheduler::ws:1816 Map(1817 "w1" ->1818 {1819 attached: Set(),1820 built: false,1821 expecting: false,1822 running: false,1823 session: true,1824 up: true1825 },1826 "w2" ->1827 {1828 attached: Set(),1829 built: false,1830 expecting: false,1831 running: false,1832 session: false,1833 up: true1834 }1835 )1836}18371838[State 4]1839{1840 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1841 schedNoFence::scheduler::crashes: 1,1842 schedNoFence::scheduler::entry:1843 [{ followers: Set("c1"), leased: true, worker: "w1" }],1844 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1845 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1846 schedNoFence::scheduler::mBuild: Set(),1847 schedNoFence::scheduler::mDone: Set(),1848 schedNoFence::scheduler::mExpect: Set("w1"),1849 schedNoFence::scheduler::mResult: Set(),1850 schedNoFence::scheduler::mRetry: Set(),1851 schedNoFence::scheduler::mRevoke: Set(),1852 schedNoFence::scheduler::mSchedule: Set(),1853 schedNoFence::scheduler::published: 0,1854 schedNoFence::scheduler::publishedBy: Set(),1855 schedNoFence::scheduler::ws:1856 Map(1857 "w1" ->1858 {1859 attached: Set(),1860 built: false,1861 expecting: false,1862 running: false,1863 session: true,1864 up: true1865 },1866 "w2" ->1867 {1868 attached: Set(),1869 built: false,1870 expecting: false,1871 running: false,1872 session: false,1873 up: true1874 }1875 )1876}18771878[State 5]1879{1880 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1881 schedNoFence::scheduler::crashes: 1,1882 schedNoFence::scheduler::entry:1883 [{ followers: Set("c1"), leased: true, worker: "w1" }],1884 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1885 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1886 schedNoFence::scheduler::mBuild: Set(),1887 schedNoFence::scheduler::mDone: Set(),1888 schedNoFence::scheduler::mExpect: Set(),1889 schedNoFence::scheduler::mResult: Set(),1890 schedNoFence::scheduler::mRetry: Set(),1891 schedNoFence::scheduler::mRevoke: Set(),1892 schedNoFence::scheduler::mSchedule: Set(),1893 schedNoFence::scheduler::published: 0,1894 schedNoFence::scheduler::publishedBy: Set(),1895 schedNoFence::scheduler::ws:1896 Map(1897 "w1" ->1898 {1899 attached: Set(),1900 built: false,1901 expecting: true,1902 running: true,1903 session: true,1904 up: true1905 },1906 "w2" ->1907 {1908 attached: Set(),1909 built: false,1910 expecting: false,1911 running: false,1912 session: false,1913 up: true1914 }1915 )1916}19171918[State 6]1919{1920 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1921 schedNoFence::scheduler::crashes: 2,1922 schedNoFence::scheduler::entry: [],1923 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1924 schedNoFence::scheduler::mAssigned: Set(),1925 schedNoFence::scheduler::mBuild: Set(),1926 schedNoFence::scheduler::mDone: Set(),1927 schedNoFence::scheduler::mExpect: Set(),1928 schedNoFence::scheduler::mResult: Set(),1929 schedNoFence::scheduler::mRetry: Set("c1"),1930 schedNoFence::scheduler::mRevoke: Set(),1931 schedNoFence::scheduler::mSchedule: Set(),1932 schedNoFence::scheduler::published: 0,1933 schedNoFence::scheduler::publishedBy: Set(),1934 schedNoFence::scheduler::ws:1935 Map(1936 "w1" ->1937 {1938 attached: Set(),1939 built: false,1940 expecting: true,1941 running: true,1942 session: false,1943 up: true1944 },1945 "w2" ->1946 {1947 attached: Set(),1948 built: false,1949 expecting: false,1950 running: false,1951 session: false,1952 up: true1953 }1954 )1955}19561957[State 7]1958{1959 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1960 schedNoFence::scheduler::crashes: 2,1961 schedNoFence::scheduler::entry: [],1962 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1963 schedNoFence::scheduler::mAssigned: Set(),1964 schedNoFence::scheduler::mBuild: Set(),1965 schedNoFence::scheduler::mDone: Set(),1966 schedNoFence::scheduler::mExpect: Set(),1967 schedNoFence::scheduler::mResult: Set(),1968 schedNoFence::scheduler::mRetry: Set("c1"),1969 schedNoFence::scheduler::mRevoke: Set(),1970 schedNoFence::scheduler::mSchedule: Set(),1971 schedNoFence::scheduler::published: 0,1972 schedNoFence::scheduler::publishedBy: Set(),1973 schedNoFence::scheduler::ws:1974 Map(1975 "w1" ->1976 {1977 attached: Set(),1978 built: false,1979 expecting: true,1980 running: true,1981 session: false,1982 up: true1983 },1984 "w2" ->1985 {1986 attached: Set(),1987 built: false,1988 expecting: false,1989 running: false,1990 session: true,1991 up: true1992 }1993 )1994}19951996[State 8]1997{1998 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1999 schedNoFence::scheduler::crashes: 2,2000 schedNoFence::scheduler::entry: [],2001 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2002 schedNoFence::scheduler::mAssigned: Set(),2003 schedNoFence::scheduler::mBuild: Set(),2004 schedNoFence::scheduler::mDone: Set(),2005 schedNoFence::scheduler::mExpect: Set(),2006 schedNoFence::scheduler::mResult: Set(),2007 schedNoFence::scheduler::mRetry: Set("c1"),2008 schedNoFence::scheduler::mRevoke: Set(),2009 schedNoFence::scheduler::mSchedule: Set("c2"),2010 schedNoFence::scheduler::published: 0,2011 schedNoFence::scheduler::publishedBy: Set(),2012 schedNoFence::scheduler::ws:2013 Map(2014 "w1" ->2015 {2016 attached: Set(),2017 built: false,2018 expecting: true,2019 running: true,2020 session: false,2021 up: true2022 },2023 "w2" ->2024 {2025 attached: Set(),2026 built: false,2027 expecting: false,2028 running: false,2029 session: true,2030 up: true2031 }2032 )2033}20342035[State 9]2036{2037 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2038 schedNoFence::scheduler::crashes: 2,2039 schedNoFence::scheduler::entry:2040 [{ followers: Set("c2"), leased: true, worker: "w2" }],2041 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2042 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2043 schedNoFence::scheduler::mBuild: Set(),2044 schedNoFence::scheduler::mDone: Set(),2045 schedNoFence::scheduler::mExpect: Set("w2"),2046 schedNoFence::scheduler::mResult: Set(),2047 schedNoFence::scheduler::mRetry: Set("c1"),2048 schedNoFence::scheduler::mRevoke: Set(),2049 schedNoFence::scheduler::mSchedule: Set(),2050 schedNoFence::scheduler::published: 0,2051 schedNoFence::scheduler::publishedBy: Set(),2052 schedNoFence::scheduler::ws:2053 Map(2054 "w1" ->2055 {2056 attached: Set(),2057 built: false,2058 expecting: true,2059 running: true,2060 session: false,2061 up: true2062 },2063 "w2" ->2064 {2065 attached: Set(),2066 built: false,2067 expecting: false,2068 running: false,2069 session: true,2070 up: true2071 }2072 )2073}20742075[State 10]2076{2077 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2078 schedNoFence::scheduler::crashes: 2,2079 schedNoFence::scheduler::entry:2080 [{ followers: Set("c2"), leased: true, worker: "w1" }],2081 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2082 schedNoFence::scheduler::mAssigned: Set(("c2", "w1"), ("c2", "w2")),2083 schedNoFence::scheduler::mBuild: Set(),2084 schedNoFence::scheduler::mDone: Set(),2085 schedNoFence::scheduler::mExpect: Set("w2"),2086 schedNoFence::scheduler::mResult: Set(),2087 schedNoFence::scheduler::mRetry: Set("c1"),2088 schedNoFence::scheduler::mRevoke: Set("w2"),2089 schedNoFence::scheduler::mSchedule: Set(),2090 schedNoFence::scheduler::published: 0,2091 schedNoFence::scheduler::publishedBy: Set(),2092 schedNoFence::scheduler::ws:2093 Map(2094 "w1" ->2095 {2096 attached: Set(),2097 built: false,2098 expecting: true,2099 running: true,2100 session: true,2101 up: true2102 },2103 "w2" ->2104 {2105 attached: Set(),2106 built: false,2107 expecting: false,2108 running: false,2109 session: true,2110 up: true2111 }2112 )2113}21142115[State 11]2116{2117 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2118 schedNoFence::scheduler::crashes: 2,2119 schedNoFence::scheduler::entry:2120 [{ followers: Set("c2"), leased: true, worker: "w1" }],2121 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2122 schedNoFence::scheduler::mAssigned: Set(("c2", "w1"), ("c2", "w2")),2123 schedNoFence::scheduler::mBuild: Set(),2124 schedNoFence::scheduler::mDone: Set(),2125 schedNoFence::scheduler::mExpect: Set(),2126 schedNoFence::scheduler::mResult: Set(),2127 schedNoFence::scheduler::mRetry: Set("c1"),2128 schedNoFence::scheduler::mRevoke: Set("w2"),2129 schedNoFence::scheduler::mSchedule: Set(),2130 schedNoFence::scheduler::published: 0,2131 schedNoFence::scheduler::publishedBy: Set(),2132 schedNoFence::scheduler::ws:2133 Map(2134 "w1" ->2135 {2136 attached: Set(),2137 built: false,2138 expecting: true,2139 running: true,2140 session: true,2141 up: true2142 },2143 "w2" ->2144 {2145 attached: Set(),2146 built: false,2147 expecting: true,2148 running: true,2149 session: true,2150 up: true2151 }2152 )2153}21542155[State 12]2156{2157 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2158 schedNoFence::scheduler::crashes: 2,2159 schedNoFence::scheduler::entry:2160 [{ followers: Set("c2"), leased: true, worker: "w1" }],2161 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2162 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2163 schedNoFence::scheduler::mBuild: Set(("c2", "w1")),2164 schedNoFence::scheduler::mDone: Set(),2165 schedNoFence::scheduler::mExpect: Set(),2166 schedNoFence::scheduler::mResult: Set(),2167 schedNoFence::scheduler::mRetry: Set("c1"),2168 schedNoFence::scheduler::mRevoke: Set("w2"),2169 schedNoFence::scheduler::mSchedule: Set(),2170 schedNoFence::scheduler::published: 0,2171 schedNoFence::scheduler::publishedBy: Set(),2172 schedNoFence::scheduler::ws:2173 Map(2174 "w1" ->2175 {2176 attached: Set(),2177 built: false,2178 expecting: true,2179 running: true,2180 session: true,2181 up: true2182 },2183 "w2" ->2184 {2185 attached: Set(),2186 built: false,2187 expecting: true,2188 running: true,2189 session: true,2190 up: true2191 }2192 )2193}21942195[State 13]2196{2197 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2198 schedNoFence::scheduler::crashes: 2,2199 schedNoFence::scheduler::entry:2200 [{ followers: Set("c2"), leased: true, worker: "w1" }],2201 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2202 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2203 schedNoFence::scheduler::mBuild: Set(("c2", "w1")),2204 schedNoFence::scheduler::mDone: Set("w2"),2205 schedNoFence::scheduler::mExpect: Set(),2206 schedNoFence::scheduler::mResult: Set(),2207 schedNoFence::scheduler::mRetry: Set("c1"),2208 schedNoFence::scheduler::mRevoke: Set("w2"),2209 schedNoFence::scheduler::mSchedule: Set(),2210 schedNoFence::scheduler::published: 1,2211 schedNoFence::scheduler::publishedBy: Set("w2"),2212 schedNoFence::scheduler::ws:2213 Map(2214 "w1" ->2215 {2216 attached: Set(),2217 built: false,2218 expecting: true,2219 running: true,2220 session: true,2221 up: true2222 },2223 "w2" ->2224 {2225 attached: Set(),2226 built: true,2227 expecting: false,2228 running: false,2229 session: true,2230 up: true2231 }2232 )2233}22342235[State 14]2236{2237 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2238 schedNoFence::scheduler::crashes: 2,2239 schedNoFence::scheduler::entry:2240 [{ followers: Set("c2"), leased: true, worker: "w1" }],2241 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2242 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2243 schedNoFence::scheduler::mBuild: Set(("c2", "w1")),2244 schedNoFence::scheduler::mDone: Set("w1", "w2"),2245 schedNoFence::scheduler::mExpect: Set(),2246 schedNoFence::scheduler::mResult: Set(),2247 schedNoFence::scheduler::mRetry: Set("c1"),2248 schedNoFence::scheduler::mRevoke: Set("w2"),2249 schedNoFence::scheduler::mSchedule: Set(),2250 schedNoFence::scheduler::published: 2,2251 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),2252 schedNoFence::scheduler::ws:2253 Map(2254 "w1" ->2255 {2256 attached: Set(),2257 built: true,2258 expecting: false,2259 running: false,2260 session: true,2261 up: true2262 },2263 "w2" ->2264 {2265 attached: Set(),2266 built: true,2267 expecting: false,2268 running: false,2269 session: true,2270 up: true2271 }2272 )2273}22742275[violation] Found an issue (398ms at 4168 traces/second).2276Use --verbosity=3 to show executions.2277Use --seed=0xe61e5e7842805658 --backend=rust to reproduce.2278error: Invariant violated2279Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 1% | ETA: 7s | 502/30000 samples | 4291 samples/sAn example execution:22802281[State 0]2282{2283 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2284 schedNoPush::scheduler::crashes: 0,2285 schedNoPush::scheduler::entry: [],2286 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2287 schedNoPush::scheduler::mAssigned: Set(),2288 schedNoPush::scheduler::mBuild: Set(),2289 schedNoPush::scheduler::mDone: Set(),2290 schedNoPush::scheduler::mExpect: Set(),2291 schedNoPush::scheduler::mResult: Set(),2292 schedNoPush::scheduler::mRetry: Set(),2293 schedNoPush::scheduler::mRevoke: Set(),2294 schedNoPush::scheduler::mSchedule: Set(),2295 schedNoPush::scheduler::published: 0,2296 schedNoPush::scheduler::publishedBy: Set(),2297 schedNoPush::scheduler::ws:2298 Map(2299 "w1" ->2300 {2301 attached: Set(),2302 built: false,2303 expecting: false,2304 running: false,2305 session: true,2306 up: true2307 },2308 "w2" ->2309 {2310 attached: Set(),2311 built: false,2312 expecting: false,2313 running: false,2314 session: true,2315 up: true2316 }2317 )2318}23192320[State 1]2321{2322 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2323 schedNoPush::scheduler::crashes: 0,2324 schedNoPush::scheduler::entry: [],2325 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2326 schedNoPush::scheduler::mAssigned: Set(),2327 schedNoPush::scheduler::mBuild: Set(),2328 schedNoPush::scheduler::mDone: Set(),2329 schedNoPush::scheduler::mExpect: Set(),2330 schedNoPush::scheduler::mResult: Set(),2331 schedNoPush::scheduler::mRetry: Set(),2332 schedNoPush::scheduler::mRevoke: Set(),2333 schedNoPush::scheduler::mSchedule: Set("c2"),2334 schedNoPush::scheduler::published: 0,2335 schedNoPush::scheduler::publishedBy: Set(),2336 schedNoPush::scheduler::ws:2337 Map(2338 "w1" ->2339 {2340 attached: Set(),2341 built: false,2342 expecting: false,2343 running: false,2344 session: true,2345 up: true2346 },2347 "w2" ->2348 {2349 attached: Set(),2350 built: false,2351 expecting: false,2352 running: false,2353 session: true,2354 up: true2355 }2356 )2357}23582359[State 2]2360{2361 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2362 schedNoPush::scheduler::crashes: 0,2363 schedNoPush::scheduler::entry:2364 [{ followers: Set("c2"), leased: true, worker: "w1" }],2365 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2366 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),2367 schedNoPush::scheduler::mBuild: Set(),2368 schedNoPush::scheduler::mDone: Set(),2369 schedNoPush::scheduler::mExpect: Set(),2370 schedNoPush::scheduler::mResult: Set(),2371 schedNoPush::scheduler::mRetry: Set(),2372 schedNoPush::scheduler::mRevoke: Set(),2373 schedNoPush::scheduler::mSchedule: Set(),2374 schedNoPush::scheduler::published: 0,2375 schedNoPush::scheduler::publishedBy: Set(),2376 schedNoPush::scheduler::ws:2377 Map(2378 "w1" ->2379 {2380 attached: Set(),2381 built: false,2382 expecting: false,2383 running: false,2384 session: true,2385 up: true2386 },2387 "w2" ->2388 {2389 attached: Set(),2390 built: false,2391 expecting: false,2392 running: false,2393 session: true,2394 up: true2395 }2396 )2397}23982399[State 3]2400{2401 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),2402 schedNoPush::scheduler::crashes: 0,2403 schedNoPush::scheduler::entry:2404 [{ followers: Set("c2"), leased: true, worker: "w1" }],2405 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2406 schedNoPush::scheduler::mAssigned: Set(),2407 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2408 schedNoPush::scheduler::mDone: Set(),2409 schedNoPush::scheduler::mExpect: Set(),2410 schedNoPush::scheduler::mResult: Set(),2411 schedNoPush::scheduler::mRetry: Set(),2412 schedNoPush::scheduler::mRevoke: Set(),2413 schedNoPush::scheduler::mSchedule: Set(),2414 schedNoPush::scheduler::published: 0,2415 schedNoPush::scheduler::publishedBy: Set(),2416 schedNoPush::scheduler::ws:2417 Map(2418 "w1" ->2419 {2420 attached: Set(),2421 built: false,2422 expecting: false,2423 running: false,2424 session: true,2425 up: true2426 },2427 "w2" ->2428 {2429 attached: Set(),2430 built: false,2431 expecting: false,2432 running: false,2433 session: true,2434 up: true2435 }2436 )2437}24382439[State 4]2440{2441 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2442 schedNoPush::scheduler::crashes: 0,2443 schedNoPush::scheduler::entry:2444 [{ followers: Set("c2"), leased: true, worker: "w1" }],2445 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2446 schedNoPush::scheduler::mAssigned: Set(),2447 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2448 schedNoPush::scheduler::mDone: Set(),2449 schedNoPush::scheduler::mExpect: Set(),2450 schedNoPush::scheduler::mResult: Set(),2451 schedNoPush::scheduler::mRetry: Set(),2452 schedNoPush::scheduler::mRevoke: Set(),2453 schedNoPush::scheduler::mSchedule: Set("c1"),2454 schedNoPush::scheduler::published: 0,2455 schedNoPush::scheduler::publishedBy: Set(),2456 schedNoPush::scheduler::ws:2457 Map(2458 "w1" ->2459 {2460 attached: Set(),2461 built: false,2462 expecting: false,2463 running: false,2464 session: true,2465 up: true2466 },2467 "w2" ->2468 {2469 attached: Set(),2470 built: false,2471 expecting: false,2472 running: false,2473 session: true,2474 up: true2475 }2476 )2477}24782479[State 5]2480{2481 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2482 schedNoPush::scheduler::crashes: 0,2483 schedNoPush::scheduler::entry:2484 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2485 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2486 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),2487 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2488 schedNoPush::scheduler::mDone: Set(),2489 schedNoPush::scheduler::mExpect: Set(),2490 schedNoPush::scheduler::mResult: Set(),2491 schedNoPush::scheduler::mRetry: Set(),2492 schedNoPush::scheduler::mRevoke: Set(),2493 schedNoPush::scheduler::mSchedule: Set(),2494 schedNoPush::scheduler::published: 0,2495 schedNoPush::scheduler::publishedBy: Set(),2496 schedNoPush::scheduler::ws:2497 Map(2498 "w1" ->2499 {2500 attached: Set(),2501 built: false,2502 expecting: false,2503 running: false,2504 session: true,2505 up: true2506 },2507 "w2" ->2508 {2509 attached: Set(),2510 built: false,2511 expecting: false,2512 running: false,2513 session: true,2514 up: true2515 }2516 )2517}25182519[State 6]2520{2521 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2522 schedNoPush::scheduler::crashes: 1,2523 schedNoPush::scheduler::entry:2524 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2525 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2526 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),2527 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2528 schedNoPush::scheduler::mDone: Set(),2529 schedNoPush::scheduler::mExpect: Set(),2530 schedNoPush::scheduler::mResult: Set(),2531 schedNoPush::scheduler::mRetry: Set(),2532 schedNoPush::scheduler::mRevoke: Set(),2533 schedNoPush::scheduler::mSchedule: Set(),2534 schedNoPush::scheduler::published: 0,2535 schedNoPush::scheduler::publishedBy: Set(),2536 schedNoPush::scheduler::ws:2537 Map(2538 "w1" ->2539 {2540 attached: Set(),2541 built: false,2542 expecting: false,2543 running: false,2544 session: false,2545 up: false2546 },2547 "w2" ->2548 {2549 attached: Set(),2550 built: false,2551 expecting: false,2552 running: false,2553 session: true,2554 up: true2555 }2556 )2557}25582559[State 7]2560{2561 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2562 schedNoPush::scheduler::crashes: 1,2563 schedNoPush::scheduler::entry: [],2564 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2565 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),2566 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2567 schedNoPush::scheduler::mDone: Set(),2568 schedNoPush::scheduler::mExpect: Set(),2569 schedNoPush::scheduler::mResult: Set(),2570 schedNoPush::scheduler::mRetry: Set("c1", "c2"),2571 schedNoPush::scheduler::mRevoke: Set(),2572 schedNoPush::scheduler::mSchedule: Set(),2573 schedNoPush::scheduler::published: 0,2574 schedNoPush::scheduler::publishedBy: Set(),2575 schedNoPush::scheduler::ws:2576 Map(2577 "w1" ->2578 {2579 attached: Set(),2580 built: false,2581 expecting: false,2582 running: false,2583 session: true,2584 up: true2585 },2586 "w2" ->2587 {2588 attached: Set(),2589 built: false,2590 expecting: false,2591 running: false,2592 session: true,2593 up: true2594 }2595 )2596}25972598[State 8]2599{2600 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2601 schedNoPush::scheduler::crashes: 1,2602 schedNoPush::scheduler::entry: [],2603 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2604 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),2605 schedNoPush::scheduler::mBuild: Set(),2606 schedNoPush::scheduler::mDone: Set(),2607 schedNoPush::scheduler::mExpect: Set(),2608 schedNoPush::scheduler::mResult: Set(),2609 schedNoPush::scheduler::mRetry: Set("c1", "c2"),2610 schedNoPush::scheduler::mRevoke: Set(),2611 schedNoPush::scheduler::mSchedule: Set(),2612 schedNoPush::scheduler::published: 0,2613 schedNoPush::scheduler::publishedBy: Set(),2614 schedNoPush::scheduler::ws:2615 Map(2616 "w1" ->2617 {2618 attached: Set("c2"),2619 built: false,2620 expecting: true,2621 running: true,2622 session: true,2623 up: true2624 },2625 "w2" ->2626 {2627 attached: Set(),2628 built: false,2629 expecting: false,2630 running: false,2631 session: true,2632 up: true2633 }2634 )2635}26362637[violation] Found an issue (184ms at 3516 traces/second).2638Use --verbosity=3 to show executions.2639Use --seed=0x35550a22cae54fb0 --backend=rust to reproduce.2640error: Invariant violated2641Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 4% | ETA: 5s | 1293/30000 samples | 6878 samples/sRunning... [■■■ ] 6% | ETA: 5s | 1893/30000 samples | 5702 samples/sRunning... [■■■ ] 6% | ETA: 6s | 2053/30000 samples | 4741 samples/sRunning... [■■■ ] 7% | ETA: 7s | 2308/30000 samples | 4028 samples/sRunning... [■■■ ] 7% | ETA: 7s | 2308/30000 samples | 4028 samples/sRunning... [■■■ ] 7% | ETA: 7s | 2308/30000 samples | 4028 samples/sRunning... [■■■ ] 8% | ETA: 9s | 2473/30000 samples | 3134 samples/sRunning... [■■■ ] 8% | ETA: 10s | 2578/30000 samples | 2811 samples/sAn example execution:26422643[State 0]2644{2645 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2646 schedNoReport::scheduler::crashes: 0,2647 schedNoReport::scheduler::entry: [],2648 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2649 schedNoReport::scheduler::mAssigned: Set(),2650 schedNoReport::scheduler::mBuild: Set(),2651 schedNoReport::scheduler::mDone: Set(),2652 schedNoReport::scheduler::mExpect: Set(),2653 schedNoReport::scheduler::mResult: Set(),2654 schedNoReport::scheduler::mRetry: Set(),2655 schedNoReport::scheduler::mRevoke: Set(),2656 schedNoReport::scheduler::mSchedule: Set(),2657 schedNoReport::scheduler::published: 0,2658 schedNoReport::scheduler::publishedBy: Set(),2659 schedNoReport::scheduler::ws:2660 Map(2661 "w1" ->2662 {2663 attached: Set(),2664 built: false,2665 expecting: false,2666 running: false,2667 session: true,2668 up: true2669 },2670 "w2" ->2671 {2672 attached: Set(),2673 built: false,2674 expecting: false,2675 running: false,2676 session: true,2677 up: true2678 }2679 )2680}26812682[State 1]2683{2684 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2685 schedNoReport::scheduler::crashes: 0,2686 schedNoReport::scheduler::entry: [],2687 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2688 schedNoReport::scheduler::mAssigned: Set(),2689 schedNoReport::scheduler::mBuild: Set(),2690 schedNoReport::scheduler::mDone: Set(),2691 schedNoReport::scheduler::mExpect: Set(),2692 schedNoReport::scheduler::mResult: Set(),2693 schedNoReport::scheduler::mRetry: Set(),2694 schedNoReport::scheduler::mRevoke: Set(),2695 schedNoReport::scheduler::mSchedule: Set("c1"),2696 schedNoReport::scheduler::published: 0,2697 schedNoReport::scheduler::publishedBy: Set(),2698 schedNoReport::scheduler::ws:2699 Map(2700 "w1" ->2701 {2702 attached: Set(),2703 built: false,2704 expecting: false,2705 running: false,2706 session: true,2707 up: true2708 },2709 "w2" ->2710 {2711 attached: Set(),2712 built: false,2713 expecting: false,2714 running: false,2715 session: true,2716 up: true2717 }2718 )2719}27202721[State 2]2722{2723 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2724 schedNoReport::scheduler::crashes: 0,2725 schedNoReport::scheduler::entry:2726 [{ followers: Set("c1"), leased: true, worker: "w2" }],2727 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2728 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2729 schedNoReport::scheduler::mBuild: Set(),2730 schedNoReport::scheduler::mDone: Set(),2731 schedNoReport::scheduler::mExpect: Set("w2"),2732 schedNoReport::scheduler::mResult: Set(),2733 schedNoReport::scheduler::mRetry: Set(),2734 schedNoReport::scheduler::mRevoke: Set(),2735 schedNoReport::scheduler::mSchedule: Set(),2736 schedNoReport::scheduler::published: 0,2737 schedNoReport::scheduler::publishedBy: Set(),2738 schedNoReport::scheduler::ws:2739 Map(2740 "w1" ->2741 {2742 attached: Set(),2743 built: false,2744 expecting: false,2745 running: false,2746 session: true,2747 up: true2748 },2749 "w2" ->2750 {2751 attached: Set(),2752 built: false,2753 expecting: false,2754 running: false,2755 session: true,2756 up: true2757 }2758 )2759}27602761[State 3]2762{2763 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2764 schedNoReport::scheduler::crashes: 0,2765 schedNoReport::scheduler::entry:2766 [{ followers: Set("c1"), leased: true, worker: "w2" }],2767 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2768 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2769 schedNoReport::scheduler::mBuild: Set(),2770 schedNoReport::scheduler::mDone: Set(),2771 schedNoReport::scheduler::mExpect: Set(),2772 schedNoReport::scheduler::mResult: Set(),2773 schedNoReport::scheduler::mRetry: Set(),2774 schedNoReport::scheduler::mRevoke: Set(),2775 schedNoReport::scheduler::mSchedule: Set(),2776 schedNoReport::scheduler::published: 0,2777 schedNoReport::scheduler::publishedBy: Set(),2778 schedNoReport::scheduler::ws:2779 Map(2780 "w1" ->2781 {2782 attached: Set(),2783 built: false,2784 expecting: false,2785 running: false,2786 session: true,2787 up: true2788 },2789 "w2" ->2790 {2791 attached: Set(),2792 built: false,2793 expecting: true,2794 running: true,2795 session: true,2796 up: true2797 }2798 )2799}28002801[State 4]2802{2803 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2804 schedNoReport::scheduler::crashes: 1,2805 schedNoReport::scheduler::entry:2806 [{ followers: Set("c1"), leased: true, worker: "w2" }],2807 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2808 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2809 schedNoReport::scheduler::mBuild: Set(),2810 schedNoReport::scheduler::mDone: Set(),2811 schedNoReport::scheduler::mExpect: Set(),2812 schedNoReport::scheduler::mResult: Set(),2813 schedNoReport::scheduler::mRetry: Set(),2814 schedNoReport::scheduler::mRevoke: Set(),2815 schedNoReport::scheduler::mSchedule: Set(),2816 schedNoReport::scheduler::published: 0,2817 schedNoReport::scheduler::publishedBy: Set(),2818 schedNoReport::scheduler::ws:2819 Map(2820 "w1" ->2821 {2822 attached: Set(),2823 built: false,2824 expecting: false,2825 running: false,2826 session: false,2827 up: false2828 },2829 "w2" ->2830 {2831 attached: Set(),2832 built: false,2833 expecting: true,2834 running: true,2835 session: true,2836 up: true2837 }2838 )2839}28402841[State 5]2842{2843 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2844 schedNoReport::scheduler::crashes: 2,2845 schedNoReport::scheduler::entry: [],2846 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2847 schedNoReport::scheduler::mAssigned: Set(),2848 schedNoReport::scheduler::mBuild: Set(),2849 schedNoReport::scheduler::mDone: Set(),2850 schedNoReport::scheduler::mExpect: Set(),2851 schedNoReport::scheduler::mResult: Set(),2852 schedNoReport::scheduler::mRetry: Set("c1"),2853 schedNoReport::scheduler::mRevoke: Set(),2854 schedNoReport::scheduler::mSchedule: Set(),2855 schedNoReport::scheduler::published: 0,2856 schedNoReport::scheduler::publishedBy: Set(),2857 schedNoReport::scheduler::ws:2858 Map(2859 "w1" ->2860 {2861 attached: Set(),2862 built: false,2863 expecting: false,2864 running: false,2865 session: false,2866 up: false2867 },2868 "w2" ->2869 {2870 attached: Set(),2871 built: false,2872 expecting: true,2873 running: true,2874 session: false,2875 up: true2876 }2877 )2878}28792880[State 6]2881{2882 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2883 schedNoReport::scheduler::crashes: 2,2884 schedNoReport::scheduler::entry: [],2885 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2886 schedNoReport::scheduler::mAssigned: Set(),2887 schedNoReport::scheduler::mBuild: Set(),2888 schedNoReport::scheduler::mDone: Set(),2889 schedNoReport::scheduler::mExpect: Set(),2890 schedNoReport::scheduler::mResult: Set(),2891 schedNoReport::scheduler::mRetry: Set("c1"),2892 schedNoReport::scheduler::mRevoke: Set(),2893 schedNoReport::scheduler::mSchedule: Set("c2"),2894 schedNoReport::scheduler::published: 0,2895 schedNoReport::scheduler::publishedBy: Set(),2896 schedNoReport::scheduler::ws:2897 Map(2898 "w1" ->2899 {2900 attached: Set(),2901 built: false,2902 expecting: false,2903 running: false,2904 session: false,2905 up: false2906 },2907 "w2" ->2908 {2909 attached: Set(),2910 built: false,2911 expecting: true,2912 running: true,2913 session: false,2914 up: true2915 }2916 )2917}29182919[State 7]2920{2921 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2922 schedNoReport::scheduler::crashes: 2,2923 schedNoReport::scheduler::entry: [],2924 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2925 schedNoReport::scheduler::mAssigned: Set(),2926 schedNoReport::scheduler::mBuild: Set(),2927 schedNoReport::scheduler::mDone: Set(),2928 schedNoReport::scheduler::mExpect: Set(),2929 schedNoReport::scheduler::mResult: Set(),2930 schedNoReport::scheduler::mRetry: Set("c1"),2931 schedNoReport::scheduler::mRevoke: Set(),2932 schedNoReport::scheduler::mSchedule: Set("c2"),2933 schedNoReport::scheduler::published: 0,2934 schedNoReport::scheduler::publishedBy: Set(),2935 schedNoReport::scheduler::ws:2936 Map(2937 "w1" ->2938 {2939 attached: Set(),2940 built: false,2941 expecting: false,2942 running: false,2943 session: true,2944 up: true2945 },2946 "w2" ->2947 {2948 attached: Set(),2949 built: false,2950 expecting: true,2951 running: true,2952 session: false,2953 up: true2954 }2955 )2956}29572958[State 8]2959{2960 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2961 schedNoReport::scheduler::crashes: 2,2962 schedNoReport::scheduler::entry:2963 [{ followers: Set("c2"), leased: true, worker: "w1" }],2964 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2965 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),2966 schedNoReport::scheduler::mBuild: Set(),2967 schedNoReport::scheduler::mDone: Set(),2968 schedNoReport::scheduler::mExpect: Set("w1"),2969 schedNoReport::scheduler::mResult: Set(),2970 schedNoReport::scheduler::mRetry: Set("c1"),2971 schedNoReport::scheduler::mRevoke: Set(),2972 schedNoReport::scheduler::mSchedule: Set(),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: false,2982 running: false,2983 session: true,2984 up: true2985 },2986 "w2" ->2987 {2988 attached: Set(),2989 built: false,2990 expecting: true,2991 running: true,2992 session: false,2993 up: true2994 }2995 )2996}29972998[State 9]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: "w1" }],3004 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3005 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3006 schedNoReport::scheduler::mBuild: Set(),3007 schedNoReport::scheduler::mDone: Set(),3008 schedNoReport::scheduler::mExpect: Set("w1"),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: false,3022 running: false,3023 session: true,3024 up: true3025 },3026 "w2" ->3027 {3028 attached: Set(),3029 built: false,3030 expecting: true,3031 running: true,3032 session: true,3033 up: true3034 }3035 )3036}30373038[State 10]3039{3040 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3041 schedNoReport::scheduler::crashes: 2,3042 schedNoReport::scheduler::entry:3043 [{ followers: Set("c2"), leased: true, worker: "w1" }],3044 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3045 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3046 schedNoReport::scheduler::mBuild: Set(),3047 schedNoReport::scheduler::mDone: Set(),3048 schedNoReport::scheduler::mExpect: Set(),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: true,3064 up: true3065 },3066 "w2" ->3067 {3068 attached: Set(),3069 built: false,3070 expecting: true,3071 running: true,3072 session: true,3073 up: true3074 }3075 )3076}30773078[violation] Found an issue (970ms at 2681 traces/second).3079Use --verbosity=3 to show executions.3080Use --seed=0x62feff62eaccb741 --backend=rust to reproduce.3081error: Invariant violated3082Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn example execution:30833084[State 0]3085{3086 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3087 schedTerminal::scheduler::crashes: 0,3088 schedTerminal::scheduler::entry: [],3089 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3090 schedTerminal::scheduler::mAssigned: Set(),3091 schedTerminal::scheduler::mBuild: Set(),3092 schedTerminal::scheduler::mDone: Set(),3093 schedTerminal::scheduler::mExpect: Set(),3094 schedTerminal::scheduler::mResult: Set(),3095 schedTerminal::scheduler::mRetry: Set(),3096 schedTerminal::scheduler::mRevoke: Set(),3097 schedTerminal::scheduler::mSchedule: Set(),3098 schedTerminal::scheduler::published: 0,3099 schedTerminal::scheduler::publishedBy: Set(),3100 schedTerminal::scheduler::ws:3101 Map(3102 "w1" ->3103 {3104 attached: Set(),3105 built: false,3106 expecting: false,3107 running: false,3108 session: true,3109 up: true3110 },3111 "w2" ->3112 {3113 attached: Set(),3114 built: false,3115 expecting: false,3116 running: false,3117 session: true,3118 up: true3119 }3120 )3121}31223123[State 1]3124{3125 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3126 schedTerminal::scheduler::crashes: 1,3127 schedTerminal::scheduler::entry: [],3128 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3129 schedTerminal::scheduler::mAssigned: Set(),3130 schedTerminal::scheduler::mBuild: Set(),3131 schedTerminal::scheduler::mDone: Set(),3132 schedTerminal::scheduler::mExpect: Set(),3133 schedTerminal::scheduler::mResult: Set(),3134 schedTerminal::scheduler::mRetry: Set(),3135 schedTerminal::scheduler::mRevoke: Set(),3136 schedTerminal::scheduler::mSchedule: Set(),3137 schedTerminal::scheduler::published: 0,3138 schedTerminal::scheduler::publishedBy: Set(),3139 schedTerminal::scheduler::ws:3140 Map(3141 "w1" ->3142 {3143 attached: Set(),3144 built: false,3145 expecting: false,3146 running: false,3147 session: false,3148 up: true3149 },3150 "w2" ->3151 {3152 attached: Set(),3153 built: false,3154 expecting: false,3155 running: false,3156 session: false,3157 up: true3158 }3159 )3160}31613162[State 2]3163{3164 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3165 schedTerminal::scheduler::crashes: 1,3166 schedTerminal::scheduler::entry: [],3167 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3168 schedTerminal::scheduler::mAssigned: Set(),3169 schedTerminal::scheduler::mBuild: Set(),3170 schedTerminal::scheduler::mDone: Set(),3171 schedTerminal::scheduler::mExpect: Set(),3172 schedTerminal::scheduler::mResult: Set(),3173 schedTerminal::scheduler::mRetry: Set(),3174 schedTerminal::scheduler::mRevoke: Set(),3175 schedTerminal::scheduler::mSchedule: Set("c1"),3176 schedTerminal::scheduler::published: 0,3177 schedTerminal::scheduler::publishedBy: Set(),3178 schedTerminal::scheduler::ws:3179 Map(3180 "w1" ->3181 {3182 attached: Set(),3183 built: false,3184 expecting: false,3185 running: false,3186 session: false,3187 up: true3188 },3189 "w2" ->3190 {3191 attached: Set(),3192 built: false,3193 expecting: false,3194 running: false,3195 session: false,3196 up: true3197 }3198 )3199}32003201[State 3]3202{3203 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),3204 schedTerminal::scheduler::crashes: 1,3205 schedTerminal::scheduler::entry: [],3206 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3207 schedTerminal::scheduler::mAssigned: Set(),3208 schedTerminal::scheduler::mBuild: Set(),3209 schedTerminal::scheduler::mDone: Set(),3210 schedTerminal::scheduler::mExpect: Set(),3211 schedTerminal::scheduler::mResult: Set(),3212 schedTerminal::scheduler::mRetry: Set(),3213 schedTerminal::scheduler::mRevoke: Set(),3214 schedTerminal::scheduler::mSchedule: Set(),3215 schedTerminal::scheduler::published: 0,3216 schedTerminal::scheduler::publishedBy: Set(),3217 schedTerminal::scheduler::ws:3218 Map(3219 "w1" ->3220 {3221 attached: Set(),3222 built: false,3223 expecting: false,3224 running: false,3225 session: false,3226 up: true3227 },3228 "w2" ->3229 {3230 attached: Set(),3231 built: false,3232 expecting: false,3233 running: false,3234 session: false,3235 up: true3236 }3237 )3238}32393240[violation] Found an issue (60ms at 733 traces/second).3241Use --verbosity=3 to show executions.3242Use --seed=0x6a13ee2ff778bae7 --backend=rust to reproduce.3243error: Invariant violated3244Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sAn example execution:32453246[State 0]3247{3248 pushFixed::push::byPath: Map(),3249 pushFixed::push::inflight: Set(),3250 pushFixed::push::left: Map(),3251 pushFixed::push::sent: Map()3252}32533254[State 1]3255{3256 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3257 pushFixed::push::inflight: Set((3, "a"), (3, "b")),3258 pushFixed::push::left: Map(3 -> 2),3259 pushFixed::push::sent: Map(3 -> Set("a", "b"))3260}32613262[State 2]3263{3264 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3265 pushFixed::push::inflight: Set((3, "b")),3266 pushFixed::push::left: Map(3 -> 1),3267 pushFixed::push::sent: Map(3 -> Set("a", "b"))3268}32693270[State 3]3271{3272 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3273 pushFixed::push::inflight: Set(),3274 pushFixed::push::left: Map(3 -> 0),3275 pushFixed::push::sent: Map(3 -> Set("a", "b"))3276}32773278[State 4]3279{3280 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3281 pushFixed::push::inflight: Set((1, "a"), (1, "b")),3282 pushFixed::push::left: Map(1 -> 2, 3 -> 0),3283 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))3284}32853286[State 5]3287{3288 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3289 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a"), (2, "b")),3290 pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 0),3291 pushFixed::push::sent:3292 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3293}32943295[State 6]3296{3297 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3298 pushFixed::push::inflight: Set((1, "a"), (2, "a"), (2, "b")),3299 pushFixed::push::left: Map(1 -> 1, 2 -> 2, 3 -> 0),3300 pushFixed::push::sent:3301 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3302}33033304[State 7]3305{3306 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3307 pushFixed::push::inflight: Set((1, "a"), (2, "b")),3308 pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 0),3309 pushFixed::push::sent:3310 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3311}33123313[State 8]3314{3315 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3316 pushFixed::push::inflight: Set((1, "a")),3317 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 0),3318 pushFixed::push::sent:3319 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3320}33213322[State 9]3323{3324 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3325 pushFixed::push::inflight: Set(),3326 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),3327 pushFixed::push::sent:3328 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3329}33303331[ok] No violation found (239ms at 83682 traces/second).3332Trace length statistics: max=10, min=7, average=8.023333You may increase --max-samples and --max-steps.3334Use --verbosity to produce more (or less) output.3335Use --seed=0xa4382753a89ec77 --backend=rust to reproduce.