nix-grpc-store-spec
checks.aarch64-linux.spec
· build #387
· raw
1tribuchet: building on eliza2An example execution:34[State 0]5{6 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),7 schedFixed::scheduler::crashes: 0,8 schedFixed::scheduler::entry: [],9 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),10 schedFixed::scheduler::mAssigned: Set(),11 schedFixed::scheduler::mBuild: Set(),12 schedFixed::scheduler::mDone: Set(),13 schedFixed::scheduler::mExpect: Set(),14 schedFixed::scheduler::mResult: Set(),15 schedFixed::scheduler::mRetry: 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" -> CQueued),45 schedFixed::scheduler::crashes: 0,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::mSchedule: Set("c2"),55 schedFixed::scheduler::published: 0,56 schedFixed::scheduler::publishedBy: Set(),57 schedFixed::scheduler::ws:58 Map(59 "w1" ->60 {61 attached: Set(),62 built: false,63 expecting: false,64 running: false,65 session: true,66 up: true67 },68 "w2" ->69 {70 attached: Set(),71 built: false,72 expecting: false,73 running: false,74 session: true,75 up: true76 }77 )78}7980[State 2]81{82 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),83 schedFixed::scheduler::crashes: 0,84 schedFixed::scheduler::entry: [],85 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),86 schedFixed::scheduler::mAssigned: Set(),87 schedFixed::scheduler::mBuild: Set(),88 schedFixed::scheduler::mDone: Set(),89 schedFixed::scheduler::mExpect: Set(),90 schedFixed::scheduler::mResult: Set(),91 schedFixed::scheduler::mRetry: Set(),92 schedFixed::scheduler::mSchedule: Set("c1", "c2"),93 schedFixed::scheduler::published: 0,94 schedFixed::scheduler::publishedBy: Set(),95 schedFixed::scheduler::ws:96 Map(97 "w1" ->98 {99 attached: Set(),100 built: false,101 expecting: false,102 running: false,103 session: true,104 up: true105 },106 "w2" ->107 {108 attached: Set(),109 built: false,110 expecting: false,111 running: false,112 session: true,113 up: true114 }115 )116}117118[State 3]119{120 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),121 schedFixed::scheduler::crashes: 1,122 schedFixed::scheduler::entry: [],123 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),124 schedFixed::scheduler::mAssigned: Set(),125 schedFixed::scheduler::mBuild: Set(),126 schedFixed::scheduler::mDone: Set(),127 schedFixed::scheduler::mExpect: Set(),128 schedFixed::scheduler::mResult: Set(),129 schedFixed::scheduler::mRetry: Set(),130 schedFixed::scheduler::mSchedule: Set("c1", "c2"),131 schedFixed::scheduler::published: 0,132 schedFixed::scheduler::publishedBy: Set(),133 schedFixed::scheduler::ws:134 Map(135 "w1" ->136 {137 attached: Set(),138 built: false,139 expecting: false,140 running: false,141 session: false,142 up: false143 },144 "w2" ->145 {146 attached: Set(),147 built: false,148 expecting: false,149 running: false,150 session: true,151 up: true152 }153 )154}155156[State 4]157{158 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),159 schedFixed::scheduler::crashes: 1,160 schedFixed::scheduler::entry:161 [{ followers: Set("c2"), leased: true, worker: "w2" }],162 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),163 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),164 schedFixed::scheduler::mBuild: Set(),165 schedFixed::scheduler::mDone: Set(),166 schedFixed::scheduler::mExpect: Set("w2"),167 schedFixed::scheduler::mResult: Set(),168 schedFixed::scheduler::mRetry: Set(),169 schedFixed::scheduler::mSchedule: Set("c1"),170 schedFixed::scheduler::published: 0,171 schedFixed::scheduler::publishedBy: Set(),172 schedFixed::scheduler::ws:173 Map(174 "w1" ->175 {176 attached: Set(),177 built: false,178 expecting: false,179 running: false,180 session: false,181 up: false182 },183 "w2" ->184 {185 attached: Set(),186 built: false,187 expecting: false,188 running: false,189 session: true,190 up: true191 }192 )193}194195[State 5]196{197 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),198 schedFixed::scheduler::crashes: 2,199 schedFixed::scheduler::entry:200 [{ followers: Set("c2"), leased: true, worker: "w2" }],201 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),202 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),203 schedFixed::scheduler::mBuild: Set(),204 schedFixed::scheduler::mDone: Set(),205 schedFixed::scheduler::mExpect: Set(),206 schedFixed::scheduler::mResult: Set(),207 schedFixed::scheduler::mRetry: Set(),208 schedFixed::scheduler::mSchedule: Set("c1"),209 schedFixed::scheduler::published: 0,210 schedFixed::scheduler::publishedBy: Set(),211 schedFixed::scheduler::ws:212 Map(213 "w1" ->214 {215 attached: Set(),216 built: false,217 expecting: false,218 running: false,219 session: false,220 up: false221 },222 "w2" ->223 {224 attached: Set(),225 built: false,226 expecting: false,227 running: false,228 session: false,229 up: false230 }231 )232}233234[State 6]235{236 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),237 schedFixed::scheduler::crashes: 2,238 schedFixed::scheduler::entry:239 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],240 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),241 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),242 schedFixed::scheduler::mBuild: Set(),243 schedFixed::scheduler::mDone: Set(),244 schedFixed::scheduler::mExpect: Set(),245 schedFixed::scheduler::mResult: Set(),246 schedFixed::scheduler::mRetry: Set(),247 schedFixed::scheduler::mSchedule: Set(),248 schedFixed::scheduler::published: 0,249 schedFixed::scheduler::publishedBy: Set(),250 schedFixed::scheduler::ws:251 Map(252 "w1" ->253 {254 attached: Set(),255 built: false,256 expecting: false,257 running: false,258 session: false,259 up: false260 },261 "w2" ->262 {263 attached: Set(),264 built: false,265 expecting: false,266 running: false,267 session: false,268 up: false269 }270 )271}272273[State 7]274{275 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),276 schedFixed::scheduler::crashes: 2,277 schedFixed::scheduler::entry:278 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],279 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),280 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),281 schedFixed::scheduler::mBuild: Set(("c2", "w2")),282 schedFixed::scheduler::mDone: Set(),283 schedFixed::scheduler::mExpect: Set(),284 schedFixed::scheduler::mResult: Set(),285 schedFixed::scheduler::mRetry: Set(),286 schedFixed::scheduler::mSchedule: Set(),287 schedFixed::scheduler::published: 0,288 schedFixed::scheduler::publishedBy: Set(),289 schedFixed::scheduler::ws:290 Map(291 "w1" ->292 {293 attached: Set(),294 built: false,295 expecting: false,296 running: false,297 session: false,298 up: false299 },300 "w2" ->301 {302 attached: Set(),303 built: false,304 expecting: false,305 running: false,306 session: false,307 up: false308 }309 )310}311312[State 8]313{314 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),315 schedFixed::scheduler::crashes: 2,316 schedFixed::scheduler::entry: [],317 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),318 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),319 schedFixed::scheduler::mBuild: Set(("c2", "w2")),320 schedFixed::scheduler::mDone: Set(),321 schedFixed::scheduler::mExpect: Set(),322 schedFixed::scheduler::mResult: Set(),323 schedFixed::scheduler::mRetry: Set("c1", "c2"),324 schedFixed::scheduler::mSchedule: Set(),325 schedFixed::scheduler::published: 0,326 schedFixed::scheduler::publishedBy: Set(),327 schedFixed::scheduler::ws:328 Map(329 "w1" ->330 {331 attached: Set(),332 built: false,333 expecting: false,334 running: false,335 session: false,336 up: false337 },338 "w2" ->339 {340 attached: Set(),341 built: false,342 expecting: false,343 running: false,344 session: false,345 up: false346 }347 )348}349350[State 9]351{352 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),353 schedFixed::scheduler::crashes: 2,354 schedFixed::scheduler::entry: [],355 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),356 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),357 schedFixed::scheduler::mBuild: Set(("c2", "w2")),358 schedFixed::scheduler::mDone: Set(),359 schedFixed::scheduler::mExpect: Set(),360 schedFixed::scheduler::mResult: Set(),361 schedFixed::scheduler::mRetry: Set("c1", "c2"),362 schedFixed::scheduler::mSchedule: Set(),363 schedFixed::scheduler::published: 0,364 schedFixed::scheduler::publishedBy: Set(),365 schedFixed::scheduler::ws:366 Map(367 "w1" ->368 {369 attached: Set(),370 built: false,371 expecting: false,372 running: false,373 session: false,374 up: false375 },376 "w2" ->377 {378 attached: Set(),379 built: false,380 expecting: false,381 running: false,382 session: true,383 up: true384 }385 )386}387388[State 10]389{390 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),391 schedFixed::scheduler::crashes: 2,392 schedFixed::scheduler::entry: [],393 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),394 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),395 schedFixed::scheduler::mBuild: Set(("c2", "w2")),396 schedFixed::scheduler::mDone: Set(),397 schedFixed::scheduler::mExpect: Set(),398 schedFixed::scheduler::mResult: Set(),399 schedFixed::scheduler::mRetry: Set("c1", "c2"),400 schedFixed::scheduler::mSchedule: Set(),401 schedFixed::scheduler::published: 0,402 schedFixed::scheduler::publishedBy: Set(),403 schedFixed::scheduler::ws:404 Map(405 "w1" ->406 {407 attached: Set(),408 built: false,409 expecting: false,410 running: false,411 session: true,412 up: true413 },414 "w2" ->415 {416 attached: Set(),417 built: false,418 expecting: false,419 running: false,420 session: true,421 up: true422 }423 )424}425426[State 11]427{428 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),429 schedFixed::scheduler::crashes: 2,430 schedFixed::scheduler::entry: [],431 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),432 schedFixed::scheduler::mAssigned: Set(),433 schedFixed::scheduler::mBuild: Set(("c2", "w2")),434 schedFixed::scheduler::mDone: Set(),435 schedFixed::scheduler::mExpect: Set(),436 schedFixed::scheduler::mResult: Set(),437 schedFixed::scheduler::mRetry: Set("c2"),438 schedFixed::scheduler::mSchedule: Set("c1"),439 schedFixed::scheduler::published: 0,440 schedFixed::scheduler::publishedBy: Set(),441 schedFixed::scheduler::ws:442 Map(443 "w1" ->444 {445 attached: Set(),446 built: false,447 expecting: false,448 running: false,449 session: true,450 up: true451 },452 "w2" ->453 {454 attached: Set(),455 built: false,456 expecting: false,457 running: false,458 session: true,459 up: true460 }461 )462}463464[State 12]465{466 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),467 schedFixed::scheduler::crashes: 2,468 schedFixed::scheduler::entry: [],469 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),470 schedFixed::scheduler::mAssigned: Set(),471 schedFixed::scheduler::mBuild: Set(("c2", "w2")),472 schedFixed::scheduler::mDone: Set(),473 schedFixed::scheduler::mExpect: Set(),474 schedFixed::scheduler::mResult: Set(),475 schedFixed::scheduler::mRetry: Set(),476 schedFixed::scheduler::mSchedule: Set("c1", "c2"),477 schedFixed::scheduler::published: 0,478 schedFixed::scheduler::publishedBy: Set(),479 schedFixed::scheduler::ws:480 Map(481 "w1" ->482 {483 attached: Set(),484 built: false,485 expecting: false,486 running: false,487 session: true,488 up: true489 },490 "w2" ->491 {492 attached: Set(),493 built: false,494 expecting: false,495 running: false,496 session: true,497 up: true498 }499 )500}501502[State 13]503{504 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),505 schedFixed::scheduler::crashes: 2,506 schedFixed::scheduler::entry:507 [{ followers: Set("c2"), leased: true, worker: "w2" }],508 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),509 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),510 schedFixed::scheduler::mBuild: Set(("c2", "w2")),511 schedFixed::scheduler::mDone: Set(),512 schedFixed::scheduler::mExpect: Set("w2"),513 schedFixed::scheduler::mResult: Set(),514 schedFixed::scheduler::mRetry: Set(),515 schedFixed::scheduler::mSchedule: Set("c1"),516 schedFixed::scheduler::published: 0,517 schedFixed::scheduler::publishedBy: Set(),518 schedFixed::scheduler::ws:519 Map(520 "w1" ->521 {522 attached: Set(),523 built: false,524 expecting: false,525 running: false,526 session: true,527 up: true528 },529 "w2" ->530 {531 attached: Set(),532 built: false,533 expecting: false,534 running: false,535 session: true,536 up: true537 }538 )539}540541[State 14]542{543 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),544 schedFixed::scheduler::crashes: 2,545 schedFixed::scheduler::entry:546 [{ followers: Set("c2"), leased: true, worker: "w2" }],547 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),548 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),549 schedFixed::scheduler::mBuild: Set(),550 schedFixed::scheduler::mDone: Set(),551 schedFixed::scheduler::mExpect: Set("w2"),552 schedFixed::scheduler::mResult: Set(),553 schedFixed::scheduler::mRetry: Set("c2"),554 schedFixed::scheduler::mSchedule: Set("c1"),555 schedFixed::scheduler::published: 0,556 schedFixed::scheduler::publishedBy: Set(),557 schedFixed::scheduler::ws:558 Map(559 "w1" ->560 {561 attached: Set(),562 built: false,563 expecting: false,564 running: false,565 session: true,566 up: true567 },568 "w2" ->569 {570 attached: Set(),571 built: false,572 expecting: false,573 running: false,574 session: true,575 up: true576 }577 )578}579580[State 15]581{582 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),583 schedFixed::scheduler::crashes: 2,584 schedFixed::scheduler::entry:585 [{ followers: Set("c2"), leased: true, worker: "w2" }],586 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),587 schedFixed::scheduler::mAssigned: Set(),588 schedFixed::scheduler::mBuild: Set(),589 schedFixed::scheduler::mDone: Set(),590 schedFixed::scheduler::mExpect: Set("w2"),591 schedFixed::scheduler::mResult: Set(),592 schedFixed::scheduler::mRetry: Set(),593 schedFixed::scheduler::mSchedule: Set("c1", "c2"),594 schedFixed::scheduler::published: 0,595 schedFixed::scheduler::publishedBy: Set(),596 schedFixed::scheduler::ws:597 Map(598 "w1" ->599 {600 attached: Set(),601 built: false,602 expecting: false,603 running: false,604 session: true,605 up: true606 },607 "w2" ->608 {609 attached: Set(),610 built: false,611 expecting: false,612 running: false,613 session: true,614 up: true615 }616 )617}618619[State 16]620{621 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),622 schedFixed::scheduler::crashes: 2,623 schedFixed::scheduler::entry:624 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],625 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),626 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),627 schedFixed::scheduler::mBuild: Set(),628 schedFixed::scheduler::mDone: Set(),629 schedFixed::scheduler::mExpect: Set("w2"),630 schedFixed::scheduler::mResult: Set(),631 schedFixed::scheduler::mRetry: Set(),632 schedFixed::scheduler::mSchedule: Set("c2"),633 schedFixed::scheduler::published: 0,634 schedFixed::scheduler::publishedBy: Set(),635 schedFixed::scheduler::ws:636 Map(637 "w1" ->638 {639 attached: Set(),640 built: false,641 expecting: false,642 running: false,643 session: true,644 up: true645 },646 "w2" ->647 {648 attached: Set(),649 built: false,650 expecting: false,651 running: false,652 session: true,653 up: true654 }655 )656}657658[State 17]659{660 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),661 schedFixed::scheduler::crashes: 2,662 schedFixed::scheduler::entry:663 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],664 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),665 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),666 schedFixed::scheduler::mBuild: Set(),667 schedFixed::scheduler::mDone: Set(),668 schedFixed::scheduler::mExpect: Set("w2"),669 schedFixed::scheduler::mResult: Set(),670 schedFixed::scheduler::mRetry: Set(),671 schedFixed::scheduler::mSchedule: Set(),672 schedFixed::scheduler::published: 0,673 schedFixed::scheduler::publishedBy: Set(),674 schedFixed::scheduler::ws:675 Map(676 "w1" ->677 {678 attached: Set(),679 built: false,680 expecting: false,681 running: false,682 session: true,683 up: true684 },685 "w2" ->686 {687 attached: Set(),688 built: false,689 expecting: false,690 running: false,691 session: true,692 up: true693 }694 )695}696697[State 18]698{699 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),700 schedFixed::scheduler::crashes: 2,701 schedFixed::scheduler::entry:702 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],703 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),704 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),705 schedFixed::scheduler::mBuild: Set(("c2", "w2")),706 schedFixed::scheduler::mDone: Set(),707 schedFixed::scheduler::mExpect: Set("w2"),708 schedFixed::scheduler::mResult: Set(),709 schedFixed::scheduler::mRetry: Set(),710 schedFixed::scheduler::mSchedule: Set(),711 schedFixed::scheduler::published: 0,712 schedFixed::scheduler::publishedBy: Set(),713 schedFixed::scheduler::ws:714 Map(715 "w1" ->716 {717 attached: Set(),718 built: false,719 expecting: false,720 running: false,721 session: true,722 up: true723 },724 "w2" ->725 {726 attached: Set(),727 built: false,728 expecting: false,729 running: false,730 session: true,731 up: true732 }733 )734}735736[State 19]737{738 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),739 schedFixed::scheduler::crashes: 2,740 schedFixed::scheduler::entry:741 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],742 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),743 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),744 schedFixed::scheduler::mBuild: Set(),745 schedFixed::scheduler::mDone: Set(),746 schedFixed::scheduler::mExpect: Set("w2"),747 schedFixed::scheduler::mResult: Set(),748 schedFixed::scheduler::mRetry: Set("c2"),749 schedFixed::scheduler::mSchedule: Set(),750 schedFixed::scheduler::published: 0,751 schedFixed::scheduler::publishedBy: Set(),752 schedFixed::scheduler::ws:753 Map(754 "w1" ->755 {756 attached: Set(),757 built: false,758 expecting: false,759 running: false,760 session: true,761 up: true762 },763 "w2" ->764 {765 attached: Set(),766 built: false,767 expecting: false,768 running: false,769 session: true,770 up: true771 }772 )773}774775[State 20]776{777 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),778 schedFixed::scheduler::crashes: 2,779 schedFixed::scheduler::entry:780 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],781 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),782 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),783 schedFixed::scheduler::mBuild: Set(),784 schedFixed::scheduler::mDone: Set(),785 schedFixed::scheduler::mExpect: Set("w2"),786 schedFixed::scheduler::mResult: Set(),787 schedFixed::scheduler::mRetry: Set(),788 schedFixed::scheduler::mSchedule: Set("c2"),789 schedFixed::scheduler::published: 0,790 schedFixed::scheduler::publishedBy: Set(),791 schedFixed::scheduler::ws:792 Map(793 "w1" ->794 {795 attached: Set(),796 built: false,797 expecting: false,798 running: false,799 session: true,800 up: true801 },802 "w2" ->803 {804 attached: Set(),805 built: false,806 expecting: false,807 running: false,808 session: true,809 up: true810 }811 )812}813814[State 21]815{816 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),817 schedFixed::scheduler::crashes: 2,818 schedFixed::scheduler::entry:819 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],820 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),821 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),822 schedFixed::scheduler::mBuild: Set(),823 schedFixed::scheduler::mDone: Set(),824 schedFixed::scheduler::mExpect: Set("w2"),825 schedFixed::scheduler::mResult: Set(),826 schedFixed::scheduler::mRetry: Set(),827 schedFixed::scheduler::mSchedule: Set(),828 schedFixed::scheduler::published: 0,829 schedFixed::scheduler::publishedBy: Set(),830 schedFixed::scheduler::ws:831 Map(832 "w1" ->833 {834 attached: Set(),835 built: false,836 expecting: false,837 running: false,838 session: true,839 up: true840 },841 "w2" ->842 {843 attached: Set(),844 built: false,845 expecting: false,846 running: false,847 session: true,848 up: true849 }850 )851}852853[State 22]854{855 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),856 schedFixed::scheduler::crashes: 2,857 schedFixed::scheduler::entry:858 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],859 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),860 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),861 schedFixed::scheduler::mBuild: Set(("c1", "w2")),862 schedFixed::scheduler::mDone: Set(),863 schedFixed::scheduler::mExpect: Set("w2"),864 schedFixed::scheduler::mResult: Set(),865 schedFixed::scheduler::mRetry: Set(),866 schedFixed::scheduler::mSchedule: Set(),867 schedFixed::scheduler::published: 0,868 schedFixed::scheduler::publishedBy: Set(),869 schedFixed::scheduler::ws:870 Map(871 "w1" ->872 {873 attached: Set(),874 built: false,875 expecting: false,876 running: false,877 session: true,878 up: true879 },880 "w2" ->881 {882 attached: Set(),883 built: false,884 expecting: false,885 running: false,886 session: true,887 up: true888 }889 )890}891892[State 23]893{894 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),895 schedFixed::scheduler::crashes: 2,896 schedFixed::scheduler::entry:897 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],898 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),899 schedFixed::scheduler::mAssigned: Set(),900 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),901 schedFixed::scheduler::mDone: Set(),902 schedFixed::scheduler::mExpect: Set("w2"),903 schedFixed::scheduler::mResult: Set(),904 schedFixed::scheduler::mRetry: Set(),905 schedFixed::scheduler::mSchedule: Set(),906 schedFixed::scheduler::published: 0,907 schedFixed::scheduler::publishedBy: Set(),908 schedFixed::scheduler::ws:909 Map(910 "w1" ->911 {912 attached: Set(),913 built: false,914 expecting: false,915 running: false,916 session: true,917 up: true918 },919 "w2" ->920 {921 attached: Set(),922 built: false,923 expecting: false,924 running: false,925 session: true,926 up: true927 }928 )929}930931[State 24]932{933 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),934 schedFixed::scheduler::crashes: 2,935 schedFixed::scheduler::entry:936 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],937 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),938 schedFixed::scheduler::mAssigned: Set(),939 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),940 schedFixed::scheduler::mDone: Set(),941 schedFixed::scheduler::mExpect: Set(),942 schedFixed::scheduler::mResult: Set(),943 schedFixed::scheduler::mRetry: Set(),944 schedFixed::scheduler::mSchedule: Set(),945 schedFixed::scheduler::published: 0,946 schedFixed::scheduler::publishedBy: Set(),947 schedFixed::scheduler::ws:948 Map(949 "w1" ->950 {951 attached: Set(),952 built: false,953 expecting: false,954 running: false,955 session: true,956 up: true957 },958 "w2" ->959 {960 attached: Set(),961 built: false,962 expecting: true,963 running: true,964 session: true,965 up: true966 }967 )968}969970[State 25]971{972 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),973 schedFixed::scheduler::crashes: 2,974 schedFixed::scheduler::entry:975 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],976 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),977 schedFixed::scheduler::mAssigned: Set(),978 schedFixed::scheduler::mBuild: Set(("c2", "w2")),979 schedFixed::scheduler::mDone: Set(),980 schedFixed::scheduler::mExpect: Set(),981 schedFixed::scheduler::mResult: Set(),982 schedFixed::scheduler::mRetry: Set(),983 schedFixed::scheduler::mSchedule: Set(),984 schedFixed::scheduler::published: 0,985 schedFixed::scheduler::publishedBy: Set(),986 schedFixed::scheduler::ws:987 Map(988 "w1" ->989 {990 attached: Set(),991 built: false,992 expecting: false,993 running: false,994 session: true,995 up: true996 },997 "w2" ->998 {999 attached: Set("c1"),1000 built: false,1001 expecting: true,1002 running: true,1003 session: true,1004 up: true1005 }1006 )1007}10081009[State 26]1010{1011 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),1012 schedFixed::scheduler::crashes: 2,1013 schedFixed::scheduler::entry:1014 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1015 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1016 schedFixed::scheduler::mAssigned: Set(),1017 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1018 schedFixed::scheduler::mDone: Set("w2"),1019 schedFixed::scheduler::mExpect: Set(),1020 schedFixed::scheduler::mResult: Set("c1"),1021 schedFixed::scheduler::mRetry: Set(),1022 schedFixed::scheduler::mSchedule: Set(),1023 schedFixed::scheduler::published: 1,1024 schedFixed::scheduler::publishedBy: Set("w2"),1025 schedFixed::scheduler::ws:1026 Map(1027 "w1" ->1028 {1029 attached: Set(),1030 built: false,1031 expecting: false,1032 running: false,1033 session: true,1034 up: true1035 },1036 "w2" ->1037 {1038 attached: Set(),1039 built: true,1040 expecting: false,1041 running: false,1042 session: true,1043 up: true1044 }1045 )1046}10471048[State 27]1049{1050 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),1051 schedFixed::scheduler::crashes: 2,1052 schedFixed::scheduler::entry:1053 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1054 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1055 schedFixed::scheduler::mAssigned: Set(),1056 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1057 schedFixed::scheduler::mDone: Set("w2"),1058 schedFixed::scheduler::mExpect: Set(),1059 schedFixed::scheduler::mResult: Set(),1060 schedFixed::scheduler::mRetry: Set(),1061 schedFixed::scheduler::mSchedule: Set(),1062 schedFixed::scheduler::published: 1,1063 schedFixed::scheduler::publishedBy: Set("w2"),1064 schedFixed::scheduler::ws:1065 Map(1066 "w1" ->1067 {1068 attached: Set(),1069 built: false,1070 expecting: false,1071 running: false,1072 session: true,1073 up: true1074 },1075 "w2" ->1076 {1077 attached: Set(),1078 built: true,1079 expecting: false,1080 running: false,1081 session: true,1082 up: true1083 }1084 )1085}10861087[State 28]1088{1089 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),1090 schedFixed::scheduler::crashes: 2,1091 schedFixed::scheduler::entry: [],1092 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1093 schedFixed::scheduler::mAssigned: Set(),1094 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1095 schedFixed::scheduler::mDone: Set(),1096 schedFixed::scheduler::mExpect: Set(),1097 schedFixed::scheduler::mResult: Set(),1098 schedFixed::scheduler::mRetry: Set(),1099 schedFixed::scheduler::mSchedule: Set(),1100 schedFixed::scheduler::published: 1,1101 schedFixed::scheduler::publishedBy: Set("w2"),1102 schedFixed::scheduler::ws:1103 Map(1104 "w1" ->1105 {1106 attached: Set(),1107 built: false,1108 expecting: false,1109 running: false,1110 session: true,1111 up: true1112 },1113 "w2" ->1114 {1115 attached: Set(),1116 built: true,1117 expecting: false,1118 running: false,1119 session: true,1120 up: true1121 }1122 )1123}11241125[State 29]1126{1127 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),1128 schedFixed::scheduler::crashes: 2,1129 schedFixed::scheduler::entry: [],1130 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1131 schedFixed::scheduler::mAssigned: Set(),1132 schedFixed::scheduler::mBuild: Set(),1133 schedFixed::scheduler::mDone: Set(),1134 schedFixed::scheduler::mExpect: Set(),1135 schedFixed::scheduler::mResult: Set("c2"),1136 schedFixed::scheduler::mRetry: Set(),1137 schedFixed::scheduler::mSchedule: Set(),1138 schedFixed::scheduler::published: 1,1139 schedFixed::scheduler::publishedBy: Set("w2"),1140 schedFixed::scheduler::ws:1141 Map(1142 "w1" ->1143 {1144 attached: Set(),1145 built: false,1146 expecting: false,1147 running: false,1148 session: true,1149 up: true1150 },1151 "w2" ->1152 {1153 attached: Set(),1154 built: true,1155 expecting: false,1156 running: false,1157 session: true,1158 up: true1159 }1160 )1161}11621163[State 30]1164{1165 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),1166 schedFixed::scheduler::crashes: 2,1167 schedFixed::scheduler::entry: [],1168 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1169 schedFixed::scheduler::mAssigned: Set(),1170 schedFixed::scheduler::mBuild: Set(),1171 schedFixed::scheduler::mDone: Set(),1172 schedFixed::scheduler::mExpect: Set(),1173 schedFixed::scheduler::mResult: Set(),1174 schedFixed::scheduler::mRetry: Set(),1175 schedFixed::scheduler::mSchedule: Set(),1176 schedFixed::scheduler::published: 1,1177 schedFixed::scheduler::publishedBy: Set("w2"),1178 schedFixed::scheduler::ws:1179 Map(1180 "w1" ->1181 {1182 attached: Set(),1183 built: false,1184 expecting: false,1185 running: false,1186 session: true,1187 up: true1188 },1189 "w2" ->1190 {1191 attached: Set(),1192 built: true,1193 expecting: false,1194 running: false,1195 session: true,1196 up: true1197 }1198 )1199}12001201[ok] No violation found (1175ms at 25532 traces/second).1202Trace length statistics: max=29, min=15, average=18.381203You may increase --max-samples and --max-steps.1204Use --verbosity to produce more (or less) output.1205Use --seed=0xbb7147cd29d06860 --backend=rust to reproduce.1206An example execution:12071208[State 0]1209{1210 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1211 schedFixed::scheduler::crashes: 0,1212 schedFixed::scheduler::entry: [],1213 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1214 schedFixed::scheduler::mAssigned: Set(),1215 schedFixed::scheduler::mBuild: Set(),1216 schedFixed::scheduler::mDone: Set(),1217 schedFixed::scheduler::mExpect: Set(),1218 schedFixed::scheduler::mResult: Set(),1219 schedFixed::scheduler::mRetry: Set(),1220 schedFixed::scheduler::mSchedule: Set(),1221 schedFixed::scheduler::published: 0,1222 schedFixed::scheduler::publishedBy: Set(),1223 schedFixed::scheduler::ws:1224 Map(1225 "w1" ->1226 {1227 attached: Set(),1228 built: false,1229 expecting: false,1230 running: false,1231 session: true,1232 up: true1233 },1234 "w2" ->1235 {1236 attached: Set(),1237 built: false,1238 expecting: false,1239 running: false,1240 session: true,1241 up: true1242 }1243 )1244}12451246[State 1]1247{1248 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1249 schedFixed::scheduler::crashes: 0,1250 schedFixed::scheduler::entry: [],1251 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1252 schedFixed::scheduler::mAssigned: Set(),1253 schedFixed::scheduler::mBuild: Set(),1254 schedFixed::scheduler::mDone: Set(),1255 schedFixed::scheduler::mExpect: Set(),1256 schedFixed::scheduler::mResult: Set(),1257 schedFixed::scheduler::mRetry: Set(),1258 schedFixed::scheduler::mSchedule: Set("c1"),1259 schedFixed::scheduler::published: 0,1260 schedFixed::scheduler::publishedBy: Set(),1261 schedFixed::scheduler::ws:1262 Map(1263 "w1" ->1264 {1265 attached: Set(),1266 built: false,1267 expecting: false,1268 running: false,1269 session: true,1270 up: true1271 },1272 "w2" ->1273 {1274 attached: Set(),1275 built: false,1276 expecting: false,1277 running: false,1278 session: true,1279 up: true1280 }1281 )1282}12831284[State 2]1285{1286 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1287 schedFixed::scheduler::crashes: 0,1288 schedFixed::scheduler::entry:1289 [{ followers: Set("c1"), leased: true, worker: "w1" }],1290 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1291 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1292 schedFixed::scheduler::mBuild: Set(),1293 schedFixed::scheduler::mDone: Set(),1294 schedFixed::scheduler::mExpect: Set("w1"),1295 schedFixed::scheduler::mResult: Set(),1296 schedFixed::scheduler::mRetry: Set(),1297 schedFixed::scheduler::mSchedule: Set(),1298 schedFixed::scheduler::published: 0,1299 schedFixed::scheduler::publishedBy: Set(),1300 schedFixed::scheduler::ws:1301 Map(1302 "w1" ->1303 {1304 attached: Set(),1305 built: false,1306 expecting: false,1307 running: false,1308 session: true,1309 up: true1310 },1311 "w2" ->1312 {1313 attached: Set(),1314 built: false,1315 expecting: false,1316 running: false,1317 session: true,1318 up: true1319 }1320 )1321}13221323[State 3]1324{1325 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),1326 schedFixed::scheduler::crashes: 0,1327 schedFixed::scheduler::entry:1328 [{ followers: Set("c1"), leased: true, worker: "w1" }],1329 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1330 schedFixed::scheduler::mAssigned: Set(),1331 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1332 schedFixed::scheduler::mDone: Set(),1333 schedFixed::scheduler::mExpect: Set("w1"),1334 schedFixed::scheduler::mResult: Set(),1335 schedFixed::scheduler::mRetry: Set(),1336 schedFixed::scheduler::mSchedule: Set(),1337 schedFixed::scheduler::published: 0,1338 schedFixed::scheduler::publishedBy: Set(),1339 schedFixed::scheduler::ws:1340 Map(1341 "w1" ->1342 {1343 attached: Set(),1344 built: false,1345 expecting: false,1346 running: false,1347 session: true,1348 up: true1349 },1350 "w2" ->1351 {1352 attached: Set(),1353 built: false,1354 expecting: false,1355 running: false,1356 session: true,1357 up: true1358 }1359 )1360}13611362[State 4]1363{1364 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),1365 schedFixed::scheduler::crashes: 0,1366 schedFixed::scheduler::entry:1367 [{ followers: Set("c1"), leased: true, worker: "w1" }],1368 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1369 schedFixed::scheduler::mAssigned: Set(),1370 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1371 schedFixed::scheduler::mDone: Set(),1372 schedFixed::scheduler::mExpect: Set(),1373 schedFixed::scheduler::mResult: Set(),1374 schedFixed::scheduler::mRetry: Set(),1375 schedFixed::scheduler::mSchedule: Set(),1376 schedFixed::scheduler::published: 0,1377 schedFixed::scheduler::publishedBy: Set(),1378 schedFixed::scheduler::ws:1379 Map(1380 "w1" ->1381 {1382 attached: Set(),1383 built: false,1384 expecting: true,1385 running: true,1386 session: true,1387 up: true1388 },1389 "w2" ->1390 {1391 attached: Set(),1392 built: false,1393 expecting: false,1394 running: false,1395 session: true,1396 up: true1397 }1398 )1399}14001401[State 5]1402{1403 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),1404 schedFixed::scheduler::crashes: 0,1405 schedFixed::scheduler::entry:1406 [{ followers: Set("c1"), leased: true, worker: "w1" }],1407 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1408 schedFixed::scheduler::mAssigned: Set(),1409 schedFixed::scheduler::mBuild: Set(),1410 schedFixed::scheduler::mDone: Set(),1411 schedFixed::scheduler::mExpect: Set(),1412 schedFixed::scheduler::mResult: Set(),1413 schedFixed::scheduler::mRetry: Set(),1414 schedFixed::scheduler::mSchedule: Set(),1415 schedFixed::scheduler::published: 0,1416 schedFixed::scheduler::publishedBy: Set(),1417 schedFixed::scheduler::ws:1418 Map(1419 "w1" ->1420 {1421 attached: Set("c1"),1422 built: false,1423 expecting: true,1424 running: true,1425 session: true,1426 up: true1427 },1428 "w2" ->1429 {1430 attached: Set(),1431 built: false,1432 expecting: false,1433 running: false,1434 session: true,1435 up: true1436 }1437 )1438}14391440[State 6]1441{1442 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1443 schedFixed::scheduler::crashes: 0,1444 schedFixed::scheduler::entry:1445 [{ followers: Set("c1"), leased: true, worker: "w1" }],1446 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1447 schedFixed::scheduler::mAssigned: Set(),1448 schedFixed::scheduler::mBuild: Set(),1449 schedFixed::scheduler::mDone: Set(),1450 schedFixed::scheduler::mExpect: Set(),1451 schedFixed::scheduler::mResult: Set(),1452 schedFixed::scheduler::mRetry: Set(),1453 schedFixed::scheduler::mSchedule: Set("c2"),1454 schedFixed::scheduler::published: 0,1455 schedFixed::scheduler::publishedBy: Set(),1456 schedFixed::scheduler::ws:1457 Map(1458 "w1" ->1459 {1460 attached: Set("c1"),1461 built: false,1462 expecting: true,1463 running: true,1464 session: true,1465 up: true1466 },1467 "w2" ->1468 {1469 attached: Set(),1470 built: false,1471 expecting: false,1472 running: false,1473 session: true,1474 up: true1475 }1476 )1477}14781479[State 7]1480{1481 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1482 schedFixed::scheduler::crashes: 1,1483 schedFixed::scheduler::entry:1484 [{ followers: Set("c1"), leased: true, worker: "w1" }],1485 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1486 schedFixed::scheduler::mAssigned: Set(),1487 schedFixed::scheduler::mBuild: Set(),1488 schedFixed::scheduler::mDone: Set(),1489 schedFixed::scheduler::mExpect: Set(),1490 schedFixed::scheduler::mResult: Set(),1491 schedFixed::scheduler::mRetry: Set("c1"),1492 schedFixed::scheduler::mSchedule: Set("c2"),1493 schedFixed::scheduler::published: 0,1494 schedFixed::scheduler::publishedBy: Set(),1495 schedFixed::scheduler::ws:1496 Map(1497 "w1" ->1498 {1499 attached: Set(),1500 built: false,1501 expecting: false,1502 running: false,1503 session: false,1504 up: false1505 },1506 "w2" ->1507 {1508 attached: Set(),1509 built: false,1510 expecting: false,1511 running: false,1512 session: true,1513 up: true1514 }1515 )1516}15171518[State 8]1519{1520 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1521 schedFixed::scheduler::crashes: 1,1522 schedFixed::scheduler::entry:1523 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1524 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1525 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1526 schedFixed::scheduler::mBuild: Set(),1527 schedFixed::scheduler::mDone: Set(),1528 schedFixed::scheduler::mExpect: Set(),1529 schedFixed::scheduler::mResult: Set(),1530 schedFixed::scheduler::mRetry: Set("c1"),1531 schedFixed::scheduler::mSchedule: Set(),1532 schedFixed::scheduler::published: 0,1533 schedFixed::scheduler::publishedBy: Set(),1534 schedFixed::scheduler::ws:1535 Map(1536 "w1" ->1537 {1538 attached: Set(),1539 built: false,1540 expecting: false,1541 running: false,1542 session: false,1543 up: false1544 },1545 "w2" ->1546 {1547 attached: Set(),1548 built: false,1549 expecting: false,1550 running: false,1551 session: true,1552 up: true1553 }1554 )1555}15561557[State 9]1558{1559 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1560 schedFixed::scheduler::crashes: 2,1561 schedFixed::scheduler::entry:1562 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1563 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1564 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1565 schedFixed::scheduler::mBuild: Set(),1566 schedFixed::scheduler::mDone: Set(),1567 schedFixed::scheduler::mExpect: Set(),1568 schedFixed::scheduler::mResult: Set(),1569 schedFixed::scheduler::mRetry: Set("c1"),1570 schedFixed::scheduler::mSchedule: Set(),1571 schedFixed::scheduler::published: 0,1572 schedFixed::scheduler::publishedBy: Set(),1573 schedFixed::scheduler::ws:1574 Map(1575 "w1" ->1576 {1577 attached: Set(),1578 built: false,1579 expecting: false,1580 running: false,1581 session: false,1582 up: false1583 },1584 "w2" ->1585 {1586 attached: Set(),1587 built: false,1588 expecting: false,1589 running: false,1590 session: false,1591 up: false1592 }1593 )1594}15951596[State 10]1597{1598 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1599 schedFixed::scheduler::crashes: 2,1600 schedFixed::scheduler::entry:1601 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1602 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1603 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1604 schedFixed::scheduler::mBuild: Set(),1605 schedFixed::scheduler::mDone: Set(),1606 schedFixed::scheduler::mExpect: Set(),1607 schedFixed::scheduler::mResult: Set(),1608 schedFixed::scheduler::mRetry: Set(),1609 schedFixed::scheduler::mSchedule: Set("c1"),1610 schedFixed::scheduler::published: 0,1611 schedFixed::scheduler::publishedBy: Set(),1612 schedFixed::scheduler::ws:1613 Map(1614 "w1" ->1615 {1616 attached: Set(),1617 built: false,1618 expecting: false,1619 running: false,1620 session: false,1621 up: false1622 },1623 "w2" ->1624 {1625 attached: Set(),1626 built: false,1627 expecting: false,1628 running: false,1629 session: false,1630 up: false1631 }1632 )1633}16341635[State 11]1636{1637 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1638 schedFixed::scheduler::crashes: 2,1639 schedFixed::scheduler::entry:1640 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1641 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1642 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1643 schedFixed::scheduler::mBuild: Set(),1644 schedFixed::scheduler::mDone: Set(),1645 schedFixed::scheduler::mExpect: Set(),1646 schedFixed::scheduler::mResult: Set(),1647 schedFixed::scheduler::mRetry: Set(),1648 schedFixed::scheduler::mSchedule: Set(),1649 schedFixed::scheduler::published: 0,1650 schedFixed::scheduler::publishedBy: Set(),1651 schedFixed::scheduler::ws:1652 Map(1653 "w1" ->1654 {1655 attached: Set(),1656 built: false,1657 expecting: false,1658 running: false,1659 session: false,1660 up: false1661 },1662 "w2" ->1663 {1664 attached: Set(),1665 built: false,1666 expecting: false,1667 running: false,1668 session: false,1669 up: false1670 }1671 )1672}16731674[State 12]1675{1676 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1677 schedFixed::scheduler::crashes: 2,1678 schedFixed::scheduler::entry:1679 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1680 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1681 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1682 schedFixed::scheduler::mBuild: Set(),1683 schedFixed::scheduler::mDone: Set(),1684 schedFixed::scheduler::mExpect: Set(),1685 schedFixed::scheduler::mResult: Set(),1686 schedFixed::scheduler::mRetry: Set(),1687 schedFixed::scheduler::mSchedule: Set(),1688 schedFixed::scheduler::published: 0,1689 schedFixed::scheduler::publishedBy: Set(),1690 schedFixed::scheduler::ws:1691 Map(1692 "w1" ->1693 {1694 attached: Set(),1695 built: false,1696 expecting: false,1697 running: false,1698 session: false,1699 up: false1700 },1701 "w2" ->1702 {1703 attached: Set(),1704 built: false,1705 expecting: false,1706 running: false,1707 session: true,1708 up: true1709 }1710 )1711}17121713[State 13]1714{1715 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1716 schedFixed::scheduler::crashes: 2,1717 schedFixed::scheduler::entry: [],1718 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1719 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1720 schedFixed::scheduler::mBuild: Set(),1721 schedFixed::scheduler::mDone: Set(),1722 schedFixed::scheduler::mExpect: Set(),1723 schedFixed::scheduler::mResult: Set(),1724 schedFixed::scheduler::mRetry: Set("c1", "c2"),1725 schedFixed::scheduler::mSchedule: Set(),1726 schedFixed::scheduler::published: 0,1727 schedFixed::scheduler::publishedBy: Set(),1728 schedFixed::scheduler::ws:1729 Map(1730 "w1" ->1731 {1732 attached: Set(),1733 built: false,1734 expecting: false,1735 running: false,1736 session: true,1737 up: true1738 },1739 "w2" ->1740 {1741 attached: Set(),1742 built: false,1743 expecting: false,1744 running: false,1745 session: true,1746 up: true1747 }1748 )1749}17501751[State 14]1752{1753 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1754 schedFixed::scheduler::crashes: 2,1755 schedFixed::scheduler::entry: [],1756 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1757 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1758 schedFixed::scheduler::mBuild: Set(),1759 schedFixed::scheduler::mDone: Set(),1760 schedFixed::scheduler::mExpect: Set(),1761 schedFixed::scheduler::mResult: Set(),1762 schedFixed::scheduler::mRetry: Set("c1"),1763 schedFixed::scheduler::mSchedule: Set("c2"),1764 schedFixed::scheduler::published: 0,1765 schedFixed::scheduler::publishedBy: Set(),1766 schedFixed::scheduler::ws:1767 Map(1768 "w1" ->1769 {1770 attached: Set(),1771 built: false,1772 expecting: false,1773 running: false,1774 session: true,1775 up: true1776 },1777 "w2" ->1778 {1779 attached: Set(),1780 built: false,1781 expecting: false,1782 running: false,1783 session: true,1784 up: true1785 }1786 )1787}17881789[State 15]1790{1791 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1792 schedFixed::scheduler::crashes: 2,1793 schedFixed::scheduler::entry: [],1794 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1795 schedFixed::scheduler::mAssigned: Set(),1796 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1797 schedFixed::scheduler::mDone: Set(),1798 schedFixed::scheduler::mExpect: Set(),1799 schedFixed::scheduler::mResult: Set(),1800 schedFixed::scheduler::mRetry: Set("c1"),1801 schedFixed::scheduler::mSchedule: Set("c2"),1802 schedFixed::scheduler::published: 0,1803 schedFixed::scheduler::publishedBy: Set(),1804 schedFixed::scheduler::ws:1805 Map(1806 "w1" ->1807 {1808 attached: Set(),1809 built: false,1810 expecting: false,1811 running: false,1812 session: true,1813 up: true1814 },1815 "w2" ->1816 {1817 attached: Set(),1818 built: false,1819 expecting: false,1820 running: false,1821 session: true,1822 up: true1823 }1824 )1825}18261827[State 16]1828{1829 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1830 schedFixed::scheduler::crashes: 2,1831 schedFixed::scheduler::entry:1832 [{ followers: Set("c2"), leased: true, worker: "w1" }],1833 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1834 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1835 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1836 schedFixed::scheduler::mDone: Set(),1837 schedFixed::scheduler::mExpect: Set("w1"),1838 schedFixed::scheduler::mResult: Set(),1839 schedFixed::scheduler::mRetry: Set("c1"),1840 schedFixed::scheduler::mSchedule: Set(),1841 schedFixed::scheduler::published: 0,1842 schedFixed::scheduler::publishedBy: Set(),1843 schedFixed::scheduler::ws:1844 Map(1845 "w1" ->1846 {1847 attached: Set(),1848 built: false,1849 expecting: false,1850 running: false,1851 session: true,1852 up: true1853 },1854 "w2" ->1855 {1856 attached: Set(),1857 built: false,1858 expecting: false,1859 running: false,1860 session: true,1861 up: true1862 }1863 )1864}18651866[State 17]1867{1868 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1869 schedFixed::scheduler::crashes: 2,1870 schedFixed::scheduler::entry:1871 [{ followers: Set("c2"), leased: true, worker: "w1" }],1872 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1873 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1874 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1875 schedFixed::scheduler::mDone: Set(),1876 schedFixed::scheduler::mExpect: Set("w1"),1877 schedFixed::scheduler::mResult: Set(),1878 schedFixed::scheduler::mRetry: Set(),1879 schedFixed::scheduler::mSchedule: Set("c1"),1880 schedFixed::scheduler::published: 0,1881 schedFixed::scheduler::publishedBy: Set(),1882 schedFixed::scheduler::ws:1883 Map(1884 "w1" ->1885 {1886 attached: Set(),1887 built: false,1888 expecting: false,1889 running: false,1890 session: true,1891 up: true1892 },1893 "w2" ->1894 {1895 attached: Set(),1896 built: false,1897 expecting: false,1898 running: false,1899 session: true,1900 up: true1901 }1902 )1903}19041905[State 18]1906{1907 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1908 schedFixed::scheduler::crashes: 2,1909 schedFixed::scheduler::entry:1910 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1911 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1912 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1913 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1914 schedFixed::scheduler::mDone: Set(),1915 schedFixed::scheduler::mExpect: Set("w1"),1916 schedFixed::scheduler::mResult: Set(),1917 schedFixed::scheduler::mRetry: Set(),1918 schedFixed::scheduler::mSchedule: Set(),1919 schedFixed::scheduler::published: 0,1920 schedFixed::scheduler::publishedBy: Set(),1921 schedFixed::scheduler::ws:1922 Map(1923 "w1" ->1924 {1925 attached: Set(),1926 built: false,1927 expecting: false,1928 running: false,1929 session: true,1930 up: true1931 },1932 "w2" ->1933 {1934 attached: Set(),1935 built: false,1936 expecting: false,1937 running: false,1938 session: true,1939 up: true1940 }1941 )1942}19431944[State 19]1945{1946 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1947 schedFixed::scheduler::crashes: 2,1948 schedFixed::scheduler::entry:1949 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1950 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1951 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1952 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1953 schedFixed::scheduler::mDone: Set(),1954 schedFixed::scheduler::mExpect: Set("w1"),1955 schedFixed::scheduler::mResult: Set(),1956 schedFixed::scheduler::mRetry: Set(),1957 schedFixed::scheduler::mSchedule: Set(),1958 schedFixed::scheduler::published: 0,1959 schedFixed::scheduler::publishedBy: Set(),1960 schedFixed::scheduler::ws:1961 Map(1962 "w1" ->1963 {1964 attached: Set(),1965 built: false,1966 expecting: false,1967 running: false,1968 session: true,1969 up: true1970 },1971 "w2" ->1972 {1973 attached: Set(),1974 built: false,1975 expecting: false,1976 running: false,1977 session: true,1978 up: true1979 }1980 )1981}19821983[State 20]1984{1985 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1986 schedFixed::scheduler::crashes: 2,1987 schedFixed::scheduler::entry:1988 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1989 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1990 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1991 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1992 schedFixed::scheduler::mDone: Set(),1993 schedFixed::scheduler::mExpect: Set("w1"),1994 schedFixed::scheduler::mResult: Set(),1995 schedFixed::scheduler::mRetry: Set("c1"),1996 schedFixed::scheduler::mSchedule: Set(),1997 schedFixed::scheduler::published: 0,1998 schedFixed::scheduler::publishedBy: Set(),1999 schedFixed::scheduler::ws:2000 Map(2001 "w1" ->2002 {2003 attached: Set(),2004 built: false,2005 expecting: false,2006 running: false,2007 session: true,2008 up: true2009 },2010 "w2" ->2011 {2012 attached: Set(),2013 built: false,2014 expecting: false,2015 running: false,2016 session: true,2017 up: true2018 }2019 )2020}20212022[State 21]2023{2024 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2025 schedFixed::scheduler::crashes: 2,2026 schedFixed::scheduler::entry:2027 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2028 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2029 schedFixed::scheduler::mAssigned: Set(),2030 schedFixed::scheduler::mBuild: Set(("c2", "w1")),2031 schedFixed::scheduler::mDone: Set(),2032 schedFixed::scheduler::mExpect: Set("w1"),2033 schedFixed::scheduler::mResult: Set(),2034 schedFixed::scheduler::mRetry: Set(),2035 schedFixed::scheduler::mSchedule: Set("c1"),2036 schedFixed::scheduler::published: 0,2037 schedFixed::scheduler::publishedBy: Set(),2038 schedFixed::scheduler::ws:2039 Map(2040 "w1" ->2041 {2042 attached: Set(),2043 built: false,2044 expecting: false,2045 running: false,2046 session: true,2047 up: true2048 },2049 "w2" ->2050 {2051 attached: Set(),2052 built: false,2053 expecting: false,2054 running: false,2055 session: true,2056 up: true2057 }2058 )2059}20602061[State 22]2062{2063 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2064 schedFixed::scheduler::crashes: 2,2065 schedFixed::scheduler::entry:2066 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2067 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2068 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),2069 schedFixed::scheduler::mBuild: Set(("c2", "w1")),2070 schedFixed::scheduler::mDone: Set(),2071 schedFixed::scheduler::mExpect: Set("w1"),2072 schedFixed::scheduler::mResult: Set(),2073 schedFixed::scheduler::mRetry: Set(),2074 schedFixed::scheduler::mSchedule: Set(),2075 schedFixed::scheduler::published: 0,2076 schedFixed::scheduler::publishedBy: Set(),2077 schedFixed::scheduler::ws:2078 Map(2079 "w1" ->2080 {2081 attached: Set(),2082 built: false,2083 expecting: false,2084 running: false,2085 session: true,2086 up: true2087 },2088 "w2" ->2089 {2090 attached: Set(),2091 built: false,2092 expecting: false,2093 running: false,2094 session: true,2095 up: true2096 }2097 )2098}20992100[State 23]2101{2102 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2103 schedFixed::scheduler::crashes: 2,2104 schedFixed::scheduler::entry:2105 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2106 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2107 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),2108 schedFixed::scheduler::mBuild: Set(),2109 schedFixed::scheduler::mDone: Set(),2110 schedFixed::scheduler::mExpect: Set("w1"),2111 schedFixed::scheduler::mResult: Set(),2112 schedFixed::scheduler::mRetry: Set("c2"),2113 schedFixed::scheduler::mSchedule: Set(),2114 schedFixed::scheduler::published: 0,2115 schedFixed::scheduler::publishedBy: Set(),2116 schedFixed::scheduler::ws:2117 Map(2118 "w1" ->2119 {2120 attached: Set(),2121 built: false,2122 expecting: false,2123 running: false,2124 session: true,2125 up: true2126 },2127 "w2" ->2128 {2129 attached: Set(),2130 built: false,2131 expecting: false,2132 running: false,2133 session: true,2134 up: true2135 }2136 )2137}21382139[State 24]2140{2141 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2142 schedFixed::scheduler::crashes: 2,2143 schedFixed::scheduler::entry:2144 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2145 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2146 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),2147 schedFixed::scheduler::mBuild: Set(),2148 schedFixed::scheduler::mDone: Set(),2149 schedFixed::scheduler::mExpect: Set(),2150 schedFixed::scheduler::mResult: Set(),2151 schedFixed::scheduler::mRetry: Set("c2"),2152 schedFixed::scheduler::mSchedule: Set(),2153 schedFixed::scheduler::published: 0,2154 schedFixed::scheduler::publishedBy: Set(),2155 schedFixed::scheduler::ws:2156 Map(2157 "w1" ->2158 {2159 attached: Set(),2160 built: false,2161 expecting: true,2162 running: true,2163 session: true,2164 up: true2165 },2166 "w2" ->2167 {2168 attached: Set(),2169 built: false,2170 expecting: false,2171 running: false,2172 session: true,2173 up: true2174 }2175 )2176}21772178[State 25]2179{2180 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2181 schedFixed::scheduler::crashes: 2,2182 schedFixed::scheduler::entry:2183 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2184 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2185 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),2186 schedFixed::scheduler::mBuild: Set(),2187 schedFixed::scheduler::mDone: Set("w1"),2188 schedFixed::scheduler::mExpect: Set(),2189 schedFixed::scheduler::mResult: Set(),2190 schedFixed::scheduler::mRetry: Set("c2"),2191 schedFixed::scheduler::mSchedule: Set(),2192 schedFixed::scheduler::published: 1,2193 schedFixed::scheduler::publishedBy: Set("w1"),2194 schedFixed::scheduler::ws:2195 Map(2196 "w1" ->2197 {2198 attached: Set(),2199 built: true,2200 expecting: false,2201 running: false,2202 session: true,2203 up: true2204 },2205 "w2" ->2206 {2207 attached: Set(),2208 built: false,2209 expecting: false,2210 running: false,2211 session: true,2212 up: true2213 }2214 )2215}22162217[State 26]2218{2219 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2220 schedFixed::scheduler::crashes: 2,2221 schedFixed::scheduler::entry: [],2222 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2223 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),2224 schedFixed::scheduler::mBuild: Set(),2225 schedFixed::scheduler::mDone: Set(),2226 schedFixed::scheduler::mExpect: Set(),2227 schedFixed::scheduler::mResult: Set(),2228 schedFixed::scheduler::mRetry: Set("c2"),2229 schedFixed::scheduler::mSchedule: Set(),2230 schedFixed::scheduler::published: 1,2231 schedFixed::scheduler::publishedBy: Set("w1"),2232 schedFixed::scheduler::ws:2233 Map(2234 "w1" ->2235 {2236 attached: Set(),2237 built: true,2238 expecting: false,2239 running: false,2240 session: true,2241 up: true2242 },2243 "w2" ->2244 {2245 attached: Set(),2246 built: false,2247 expecting: false,2248 running: false,2249 session: true,2250 up: true2251 }2252 )2253}22542255[State 27]2256{2257 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),2258 schedFixed::scheduler::crashes: 2,2259 schedFixed::scheduler::entry: [],2260 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2261 schedFixed::scheduler::mAssigned: Set(),2262 schedFixed::scheduler::mBuild: Set(("c1", "w1")),2263 schedFixed::scheduler::mDone: Set(),2264 schedFixed::scheduler::mExpect: Set(),2265 schedFixed::scheduler::mResult: Set(),2266 schedFixed::scheduler::mRetry: Set("c2"),2267 schedFixed::scheduler::mSchedule: Set(),2268 schedFixed::scheduler::published: 1,2269 schedFixed::scheduler::publishedBy: Set("w1"),2270 schedFixed::scheduler::ws:2271 Map(2272 "w1" ->2273 {2274 attached: Set(),2275 built: true,2276 expecting: false,2277 running: false,2278 session: true,2279 up: true2280 },2281 "w2" ->2282 {2283 attached: Set(),2284 built: false,2285 expecting: false,2286 running: false,2287 session: true,2288 up: true2289 }2290 )2291}22922293[State 28]2294{2295 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),2296 schedFixed::scheduler::crashes: 2,2297 schedFixed::scheduler::entry: [],2298 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2299 schedFixed::scheduler::mAssigned: Set(),2300 schedFixed::scheduler::mBuild: Set(),2301 schedFixed::scheduler::mDone: Set(),2302 schedFixed::scheduler::mExpect: Set(),2303 schedFixed::scheduler::mResult: Set("c1"),2304 schedFixed::scheduler::mRetry: Set("c2"),2305 schedFixed::scheduler::mSchedule: Set(),2306 schedFixed::scheduler::published: 1,2307 schedFixed::scheduler::publishedBy: Set("w1"),2308 schedFixed::scheduler::ws:2309 Map(2310 "w1" ->2311 {2312 attached: Set(),2313 built: true,2314 expecting: false,2315 running: false,2316 session: true,2317 up: true2318 },2319 "w2" ->2320 {2321 attached: Set(),2322 built: false,2323 expecting: false,2324 running: false,2325 session: true,2326 up: true2327 }2328 )2329}23302331[State 29]2332{2333 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),2334 schedFixed::scheduler::crashes: 2,2335 schedFixed::scheduler::entry: [],2336 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2337 schedFixed::scheduler::mAssigned: Set(),2338 schedFixed::scheduler::mBuild: Set(),2339 schedFixed::scheduler::mDone: Set(),2340 schedFixed::scheduler::mExpect: Set(),2341 schedFixed::scheduler::mResult: Set("c1"),2342 schedFixed::scheduler::mRetry: Set(),2343 schedFixed::scheduler::mSchedule: Set("c2"),2344 schedFixed::scheduler::published: 1,2345 schedFixed::scheduler::publishedBy: Set("w1"),2346 schedFixed::scheduler::ws:2347 Map(2348 "w1" ->2349 {2350 attached: Set(),2351 built: true,2352 expecting: false,2353 running: false,2354 session: true,2355 up: true2356 },2357 "w2" ->2358 {2359 attached: Set(),2360 built: false,2361 expecting: false,2362 running: false,2363 session: true,2364 up: true2365 }2366 )2367}23682369[State 30]2370{2371 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),2372 schedFixed::scheduler::crashes: 2,2373 schedFixed::scheduler::entry: [],2374 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2375 schedFixed::scheduler::mAssigned: Set(),2376 schedFixed::scheduler::mBuild: Set(),2377 schedFixed::scheduler::mDone: Set(),2378 schedFixed::scheduler::mExpect: Set(),2379 schedFixed::scheduler::mResult: Set("c1", "c2"),2380 schedFixed::scheduler::mRetry: Set(),2381 schedFixed::scheduler::mSchedule: Set(),2382 schedFixed::scheduler::published: 1,2383 schedFixed::scheduler::publishedBy: Set("w1"),2384 schedFixed::scheduler::ws:2385 Map(2386 "w1" ->2387 {2388 attached: Set(),2389 built: true,2390 expecting: false,2391 running: false,2392 session: true,2393 up: true2394 },2395 "w2" ->2396 {2397 attached: Set(),2398 built: false,2399 expecting: false,2400 running: false,2401 session: true,2402 up: true2403 }2404 )2405}24062407[ok] No violation found (820ms at 36585 traces/second).2408Trace length statistics: max=31, min=16, average=18.842409You may increase --max-samples and --max-steps.2410Use --verbosity to produce more (or less) output.2411Use --seed=0xbca2547c4c73e14f --backend=rust to reproduce.2412An example execution:24132414[State 0]2415{2416 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2417 schedNoFence::scheduler::crashes: 0,2418 schedNoFence::scheduler::entry: [],2419 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2420 schedNoFence::scheduler::mAssigned: Set(),2421 schedNoFence::scheduler::mBuild: Set(),2422 schedNoFence::scheduler::mDone: Set(),2423 schedNoFence::scheduler::mExpect: Set(),2424 schedNoFence::scheduler::mResult: Set(),2425 schedNoFence::scheduler::mRetry: Set(),2426 schedNoFence::scheduler::mSchedule: Set(),2427 schedNoFence::scheduler::published: 0,2428 schedNoFence::scheduler::publishedBy: Set(),2429 schedNoFence::scheduler::ws:2430 Map(2431 "w1" ->2432 {2433 attached: Set(),2434 built: false,2435 expecting: false,2436 running: false,2437 session: true,2438 up: true2439 },2440 "w2" ->2441 {2442 attached: Set(),2443 built: false,2444 expecting: false,2445 running: false,2446 session: true,2447 up: true2448 }2449 )2450}24512452[State 1]2453{2454 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2455 schedNoFence::scheduler::crashes: 1,2456 schedNoFence::scheduler::entry: [],2457 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2458 schedNoFence::scheduler::mAssigned: Set(),2459 schedNoFence::scheduler::mBuild: Set(),2460 schedNoFence::scheduler::mDone: Set(),2461 schedNoFence::scheduler::mExpect: Set(),2462 schedNoFence::scheduler::mResult: Set(),2463 schedNoFence::scheduler::mRetry: Set(),2464 schedNoFence::scheduler::mSchedule: Set(),2465 schedNoFence::scheduler::published: 0,2466 schedNoFence::scheduler::publishedBy: Set(),2467 schedNoFence::scheduler::ws:2468 Map(2469 "w1" ->2470 {2471 attached: Set(),2472 built: false,2473 expecting: false,2474 running: false,2475 session: true,2476 up: true2477 },2478 "w2" ->2479 {2480 attached: Set(),2481 built: false,2482 expecting: false,2483 running: false,2484 session: false,2485 up: false2486 }2487 )2488}24892490[State 2]2491{2492 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2493 schedNoFence::scheduler::crashes: 1,2494 schedNoFence::scheduler::entry: [],2495 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2496 schedNoFence::scheduler::mAssigned: Set(),2497 schedNoFence::scheduler::mBuild: Set(),2498 schedNoFence::scheduler::mDone: Set(),2499 schedNoFence::scheduler::mExpect: Set(),2500 schedNoFence::scheduler::mResult: Set(),2501 schedNoFence::scheduler::mRetry: Set(),2502 schedNoFence::scheduler::mSchedule: Set("c1"),2503 schedNoFence::scheduler::published: 0,2504 schedNoFence::scheduler::publishedBy: Set(),2505 schedNoFence::scheduler::ws:2506 Map(2507 "w1" ->2508 {2509 attached: Set(),2510 built: false,2511 expecting: false,2512 running: false,2513 session: true,2514 up: true2515 },2516 "w2" ->2517 {2518 attached: Set(),2519 built: false,2520 expecting: false,2521 running: false,2522 session: false,2523 up: false2524 }2525 )2526}25272528[State 3]2529{2530 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2531 schedNoFence::scheduler::crashes: 1,2532 schedNoFence::scheduler::entry:2533 [{ followers: Set("c1"), leased: true, worker: "w1" }],2534 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2535 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2536 schedNoFence::scheduler::mBuild: Set(),2537 schedNoFence::scheduler::mDone: Set(),2538 schedNoFence::scheduler::mExpect: Set("w1"),2539 schedNoFence::scheduler::mResult: Set(),2540 schedNoFence::scheduler::mRetry: Set(),2541 schedNoFence::scheduler::mSchedule: Set(),2542 schedNoFence::scheduler::published: 0,2543 schedNoFence::scheduler::publishedBy: Set(),2544 schedNoFence::scheduler::ws:2545 Map(2546 "w1" ->2547 {2548 attached: Set(),2549 built: false,2550 expecting: false,2551 running: false,2552 session: true,2553 up: true2554 },2555 "w2" ->2556 {2557 attached: Set(),2558 built: false,2559 expecting: false,2560 running: false,2561 session: false,2562 up: false2563 }2564 )2565}25662567[State 4]2568{2569 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2570 schedNoFence::scheduler::crashes: 1,2571 schedNoFence::scheduler::entry:2572 [{ followers: Set("c1"), leased: true, worker: "w1" }],2573 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2574 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2575 schedNoFence::scheduler::mBuild: Set(),2576 schedNoFence::scheduler::mDone: Set(),2577 schedNoFence::scheduler::mExpect: Set(),2578 schedNoFence::scheduler::mResult: Set(),2579 schedNoFence::scheduler::mRetry: Set(),2580 schedNoFence::scheduler::mSchedule: Set(),2581 schedNoFence::scheduler::published: 0,2582 schedNoFence::scheduler::publishedBy: Set(),2583 schedNoFence::scheduler::ws:2584 Map(2585 "w1" ->2586 {2587 attached: Set(),2588 built: false,2589 expecting: true,2590 running: true,2591 session: true,2592 up: true2593 },2594 "w2" ->2595 {2596 attached: Set(),2597 built: false,2598 expecting: false,2599 running: false,2600 session: false,2601 up: false2602 }2603 )2604}26052606[State 5]2607{2608 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2609 schedNoFence::scheduler::crashes: 2,2610 schedNoFence::scheduler::entry: [],2611 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2612 schedNoFence::scheduler::mAssigned: Set(),2613 schedNoFence::scheduler::mBuild: Set(),2614 schedNoFence::scheduler::mDone: Set(),2615 schedNoFence::scheduler::mExpect: Set(),2616 schedNoFence::scheduler::mResult: Set(),2617 schedNoFence::scheduler::mRetry: Set("c1"),2618 schedNoFence::scheduler::mSchedule: Set(),2619 schedNoFence::scheduler::published: 0,2620 schedNoFence::scheduler::publishedBy: Set(),2621 schedNoFence::scheduler::ws:2622 Map(2623 "w1" ->2624 {2625 attached: Set(),2626 built: false,2627 expecting: true,2628 running: true,2629 session: false,2630 up: true2631 },2632 "w2" ->2633 {2634 attached: Set(),2635 built: false,2636 expecting: false,2637 running: false,2638 session: false,2639 up: false2640 }2641 )2642}26432644[State 6]2645{2646 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2647 schedNoFence::scheduler::crashes: 2,2648 schedNoFence::scheduler::entry: [],2649 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2650 schedNoFence::scheduler::mAssigned: Set(),2651 schedNoFence::scheduler::mBuild: Set(),2652 schedNoFence::scheduler::mDone: Set(),2653 schedNoFence::scheduler::mExpect: Set(),2654 schedNoFence::scheduler::mResult: Set(),2655 schedNoFence::scheduler::mRetry: Set("c1"),2656 schedNoFence::scheduler::mSchedule: Set("c2"),2657 schedNoFence::scheduler::published: 0,2658 schedNoFence::scheduler::publishedBy: Set(),2659 schedNoFence::scheduler::ws:2660 Map(2661 "w1" ->2662 {2663 attached: Set(),2664 built: false,2665 expecting: true,2666 running: true,2667 session: false,2668 up: true2669 },2670 "w2" ->2671 {2672 attached: Set(),2673 built: false,2674 expecting: false,2675 running: false,2676 session: false,2677 up: false2678 }2679 )2680}26812682[State 7]2683{2684 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2685 schedNoFence::scheduler::crashes: 2,2686 schedNoFence::scheduler::entry: [],2687 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2688 schedNoFence::scheduler::mAssigned: Set(),2689 schedNoFence::scheduler::mBuild: Set(),2690 schedNoFence::scheduler::mDone: Set(),2691 schedNoFence::scheduler::mExpect: Set(),2692 schedNoFence::scheduler::mResult: Set(),2693 schedNoFence::scheduler::mRetry: Set(),2694 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),2695 schedNoFence::scheduler::published: 0,2696 schedNoFence::scheduler::publishedBy: Set(),2697 schedNoFence::scheduler::ws:2698 Map(2699 "w1" ->2700 {2701 attached: Set(),2702 built: false,2703 expecting: true,2704 running: true,2705 session: false,2706 up: true2707 },2708 "w2" ->2709 {2710 attached: Set(),2711 built: false,2712 expecting: false,2713 running: false,2714 session: false,2715 up: false2716 }2717 )2718}27192720[State 8]2721{2722 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2723 schedNoFence::scheduler::crashes: 2,2724 schedNoFence::scheduler::entry: [],2725 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2726 schedNoFence::scheduler::mAssigned: Set(),2727 schedNoFence::scheduler::mBuild: Set(),2728 schedNoFence::scheduler::mDone: Set(),2729 schedNoFence::scheduler::mExpect: Set(),2730 schedNoFence::scheduler::mResult: Set(),2731 schedNoFence::scheduler::mRetry: Set(),2732 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),2733 schedNoFence::scheduler::published: 0,2734 schedNoFence::scheduler::publishedBy: Set(),2735 schedNoFence::scheduler::ws:2736 Map(2737 "w1" ->2738 {2739 attached: Set(),2740 built: false,2741 expecting: true,2742 running: true,2743 session: false,2744 up: true2745 },2746 "w2" ->2747 {2748 attached: Set(),2749 built: false,2750 expecting: false,2751 running: false,2752 session: true,2753 up: true2754 }2755 )2756}27572758[State 9]2759{2760 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2761 schedNoFence::scheduler::crashes: 2,2762 schedNoFence::scheduler::entry:2763 [{ followers: Set("c2"), leased: true, worker: "w2" }],2764 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2765 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2766 schedNoFence::scheduler::mBuild: Set(),2767 schedNoFence::scheduler::mDone: Set(),2768 schedNoFence::scheduler::mExpect: Set("w2"),2769 schedNoFence::scheduler::mResult: Set(),2770 schedNoFence::scheduler::mRetry: Set(),2771 schedNoFence::scheduler::mSchedule: Set("c1"),2772 schedNoFence::scheduler::published: 0,2773 schedNoFence::scheduler::publishedBy: Set(),2774 schedNoFence::scheduler::ws:2775 Map(2776 "w1" ->2777 {2778 attached: Set(),2779 built: false,2780 expecting: true,2781 running: true,2782 session: false,2783 up: true2784 },2785 "w2" ->2786 {2787 attached: Set(),2788 built: false,2789 expecting: false,2790 running: false,2791 session: true,2792 up: true2793 }2794 )2795}27962797[State 10]2798{2799 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2800 schedNoFence::scheduler::crashes: 2,2801 schedNoFence::scheduler::entry:2802 [{ followers: Set("c2"), leased: true, worker: "w2" }],2803 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2804 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2805 schedNoFence::scheduler::mBuild: Set(),2806 schedNoFence::scheduler::mDone: Set(),2807 schedNoFence::scheduler::mExpect: Set("w2"),2808 schedNoFence::scheduler::mResult: Set(),2809 schedNoFence::scheduler::mRetry: Set(),2810 schedNoFence::scheduler::mSchedule: Set("c1"),2811 schedNoFence::scheduler::published: 1,2812 schedNoFence::scheduler::publishedBy: Set("w1"),2813 schedNoFence::scheduler::ws:2814 Map(2815 "w1" ->2816 {2817 attached: Set(),2818 built: true,2819 expecting: false,2820 running: false,2821 session: false,2822 up: true2823 },2824 "w2" ->2825 {2826 attached: Set(),2827 built: false,2828 expecting: false,2829 running: false,2830 session: true,2831 up: true2832 }2833 )2834}28352836[State 11]2837{2838 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2839 schedNoFence::scheduler::crashes: 2,2840 schedNoFence::scheduler::entry:2841 [{ followers: Set("c2"), leased: true, worker: "w2" }],2842 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2843 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2844 schedNoFence::scheduler::mBuild: Set(),2845 schedNoFence::scheduler::mDone: Set(),2846 schedNoFence::scheduler::mExpect: Set(),2847 schedNoFence::scheduler::mResult: Set(),2848 schedNoFence::scheduler::mRetry: Set(),2849 schedNoFence::scheduler::mSchedule: Set("c1"),2850 schedNoFence::scheduler::published: 1,2851 schedNoFence::scheduler::publishedBy: Set("w1"),2852 schedNoFence::scheduler::ws:2853 Map(2854 "w1" ->2855 {2856 attached: Set(),2857 built: true,2858 expecting: false,2859 running: false,2860 session: false,2861 up: true2862 },2863 "w2" ->2864 {2865 attached: Set(),2866 built: false,2867 expecting: true,2868 running: true,2869 session: true,2870 up: true2871 }2872 )2873}28742875[State 12]2876{2877 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2878 schedNoFence::scheduler::crashes: 2,2879 schedNoFence::scheduler::entry:2880 [{ followers: Set("c2"), leased: true, worker: "w2" }],2881 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2882 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2883 schedNoFence::scheduler::mBuild: Set(),2884 schedNoFence::scheduler::mDone: Set("w2"),2885 schedNoFence::scheduler::mExpect: Set(),2886 schedNoFence::scheduler::mResult: Set(),2887 schedNoFence::scheduler::mRetry: Set(),2888 schedNoFence::scheduler::mSchedule: Set("c1"),2889 schedNoFence::scheduler::published: 2,2890 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),2891 schedNoFence::scheduler::ws:2892 Map(2893 "w1" ->2894 {2895 attached: Set(),2896 built: true,2897 expecting: false,2898 running: false,2899 session: false,2900 up: true2901 },2902 "w2" ->2903 {2904 attached: Set(),2905 built: true,2906 expecting: false,2907 running: false,2908 session: true,2909 up: true2910 }2911 )2912}29132914[violation] Found an issue (2388ms at 12286 traces/second).2915Use --verbosity=3 to show executions.2916Use --seed=0x311305829f9e8ec5 --backend=rust to reproduce.2917error: Invariant violated2918An example execution:29192920[State 0]2921{2922 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2923 schedNoPush::scheduler::crashes: 0,2924 schedNoPush::scheduler::entry: [],2925 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2926 schedNoPush::scheduler::mAssigned: Set(),2927 schedNoPush::scheduler::mBuild: Set(),2928 schedNoPush::scheduler::mDone: Set(),2929 schedNoPush::scheduler::mExpect: Set(),2930 schedNoPush::scheduler::mResult: Set(),2931 schedNoPush::scheduler::mRetry: Set(),2932 schedNoPush::scheduler::mSchedule: Set(),2933 schedNoPush::scheduler::published: 0,2934 schedNoPush::scheduler::publishedBy: Set(),2935 schedNoPush::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: false,2951 running: false,2952 session: true,2953 up: true2954 }2955 )2956}29572958[State 1]2959{2960 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2961 schedNoPush::scheduler::crashes: 0,2962 schedNoPush::scheduler::entry: [],2963 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2964 schedNoPush::scheduler::mAssigned: Set(),2965 schedNoPush::scheduler::mBuild: Set(),2966 schedNoPush::scheduler::mDone: Set(),2967 schedNoPush::scheduler::mExpect: Set(),2968 schedNoPush::scheduler::mResult: Set(),2969 schedNoPush::scheduler::mRetry: Set(),2970 schedNoPush::scheduler::mSchedule: Set("c2"),2971 schedNoPush::scheduler::published: 0,2972 schedNoPush::scheduler::publishedBy: Set(),2973 schedNoPush::scheduler::ws:2974 Map(2975 "w1" ->2976 {2977 attached: Set(),2978 built: false,2979 expecting: false,2980 running: false,2981 session: true,2982 up: true2983 },2984 "w2" ->2985 {2986 attached: Set(),2987 built: false,2988 expecting: false,2989 running: false,2990 session: true,2991 up: true2992 }2993 )2994}29952996[State 2]2997{2998 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2999 schedNoPush::scheduler::crashes: 0,3000 schedNoPush::scheduler::entry:3001 [{ followers: Set("c2"), leased: true, worker: "w1" }],3002 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3003 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),3004 schedNoPush::scheduler::mBuild: Set(),3005 schedNoPush::scheduler::mDone: Set(),3006 schedNoPush::scheduler::mExpect: Set(),3007 schedNoPush::scheduler::mResult: Set(),3008 schedNoPush::scheduler::mRetry: Set(),3009 schedNoPush::scheduler::mSchedule: Set(),3010 schedNoPush::scheduler::published: 0,3011 schedNoPush::scheduler::publishedBy: Set(),3012 schedNoPush::scheduler::ws:3013 Map(3014 "w1" ->3015 {3016 attached: Set(),3017 built: false,3018 expecting: false,3019 running: false,3020 session: true,3021 up: true3022 },3023 "w2" ->3024 {3025 attached: Set(),3026 built: false,3027 expecting: false,3028 running: false,3029 session: true,3030 up: true3031 }3032 )3033}30343035[State 3]3036{3037 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3038 schedNoPush::scheduler::crashes: 1,3039 schedNoPush::scheduler::entry:3040 [{ followers: Set("c2"), leased: true, worker: "w1" }],3041 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3042 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),3043 schedNoPush::scheduler::mBuild: Set(),3044 schedNoPush::scheduler::mDone: Set(),3045 schedNoPush::scheduler::mExpect: Set(),3046 schedNoPush::scheduler::mResult: Set(),3047 schedNoPush::scheduler::mRetry: Set(),3048 schedNoPush::scheduler::mSchedule: Set(),3049 schedNoPush::scheduler::published: 0,3050 schedNoPush::scheduler::publishedBy: Set(),3051 schedNoPush::scheduler::ws:3052 Map(3053 "w1" ->3054 {3055 attached: Set(),3056 built: false,3057 expecting: false,3058 running: false,3059 session: true,3060 up: true3061 },3062 "w2" ->3063 {3064 attached: Set(),3065 built: false,3066 expecting: false,3067 running: false,3068 session: false,3069 up: false3070 }3071 )3072}30733074[State 4]3075{3076 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3077 schedNoPush::scheduler::crashes: 1,3078 schedNoPush::scheduler::entry:3079 [{ followers: Set("c2"), leased: true, worker: "w1" }],3080 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3081 schedNoPush::scheduler::mAssigned: Set(),3082 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3083 schedNoPush::scheduler::mDone: Set(),3084 schedNoPush::scheduler::mExpect: Set(),3085 schedNoPush::scheduler::mResult: Set(),3086 schedNoPush::scheduler::mRetry: Set(),3087 schedNoPush::scheduler::mSchedule: Set(),3088 schedNoPush::scheduler::published: 0,3089 schedNoPush::scheduler::publishedBy: Set(),3090 schedNoPush::scheduler::ws:3091 Map(3092 "w1" ->3093 {3094 attached: Set(),3095 built: false,3096 expecting: false,3097 running: false,3098 session: true,3099 up: true3100 },3101 "w2" ->3102 {3103 attached: Set(),3104 built: false,3105 expecting: false,3106 running: false,3107 session: false,3108 up: false3109 }3110 )3111}31123113[State 5]3114{3115 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3116 schedNoPush::scheduler::crashes: 2,3117 schedNoPush::scheduler::entry: [],3118 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3119 schedNoPush::scheduler::mAssigned: Set(),3120 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3121 schedNoPush::scheduler::mDone: Set(),3122 schedNoPush::scheduler::mExpect: Set(),3123 schedNoPush::scheduler::mResult: Set(),3124 schedNoPush::scheduler::mRetry: Set(),3125 schedNoPush::scheduler::mSchedule: Set(),3126 schedNoPush::scheduler::published: 0,3127 schedNoPush::scheduler::publishedBy: Set(),3128 schedNoPush::scheduler::ws:3129 Map(3130 "w1" ->3131 {3132 attached: Set(),3133 built: false,3134 expecting: false,3135 running: false,3136 session: false,3137 up: true3138 },3139 "w2" ->3140 {3141 attached: Set(),3142 built: false,3143 expecting: false,3144 running: false,3145 session: false,3146 up: false3147 }3148 )3149}31503151[State 6]3152{3153 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3154 schedNoPush::scheduler::crashes: 2,3155 schedNoPush::scheduler::entry: [],3156 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3157 schedNoPush::scheduler::mAssigned: Set(),3158 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3159 schedNoPush::scheduler::mDone: Set(),3160 schedNoPush::scheduler::mExpect: Set(),3161 schedNoPush::scheduler::mResult: Set(),3162 schedNoPush::scheduler::mRetry: Set(),3163 schedNoPush::scheduler::mSchedule: Set(),3164 schedNoPush::scheduler::published: 0,3165 schedNoPush::scheduler::publishedBy: Set(),3166 schedNoPush::scheduler::ws:3167 Map(3168 "w1" ->3169 {3170 attached: Set(),3171 built: false,3172 expecting: false,3173 running: false,3174 session: true,3175 up: true3176 },3177 "w2" ->3178 {3179 attached: Set(),3180 built: false,3181 expecting: false,3182 running: false,3183 session: false,3184 up: false3185 }3186 )3187}31883189[State 7]3190{3191 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3192 schedNoPush::scheduler::crashes: 2,3193 schedNoPush::scheduler::entry: [],3194 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3195 schedNoPush::scheduler::mAssigned: Set(),3196 schedNoPush::scheduler::mBuild: Set(),3197 schedNoPush::scheduler::mDone: Set(),3198 schedNoPush::scheduler::mExpect: Set(),3199 schedNoPush::scheduler::mResult: Set(),3200 schedNoPush::scheduler::mRetry: Set(),3201 schedNoPush::scheduler::mSchedule: Set(),3202 schedNoPush::scheduler::published: 0,3203 schedNoPush::scheduler::publishedBy: Set(),3204 schedNoPush::scheduler::ws:3205 Map(3206 "w1" ->3207 {3208 attached: Set("c2"),3209 built: false,3210 expecting: true,3211 running: true,3212 session: true,3213 up: true3214 },3215 "w2" ->3216 {3217 attached: Set(),3218 built: false,3219 expecting: false,3220 running: false,3221 session: false,3222 up: false3223 }3224 )3225}32263227[violation] Found an issue (748ms at 15281 traces/second).3228Use --verbosity=3 to show executions.3229Use --seed=0xf88402fc615ef4af --backend=rust to reproduce.3230error: Invariant violated3231An example execution:32323233[State 0]3234{3235 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3236 schedNoPush::scheduler::crashes: 0,3237 schedNoPush::scheduler::entry: [],3238 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3239 schedNoPush::scheduler::mAssigned: Set(),3240 schedNoPush::scheduler::mBuild: Set(),3241 schedNoPush::scheduler::mDone: Set(),3242 schedNoPush::scheduler::mExpect: Set(),3243 schedNoPush::scheduler::mResult: Set(),3244 schedNoPush::scheduler::mRetry: Set(),3245 schedNoPush::scheduler::mSchedule: Set(),3246 schedNoPush::scheduler::published: 0,3247 schedNoPush::scheduler::publishedBy: Set(),3248 schedNoPush::scheduler::ws:3249 Map(3250 "w1" ->3251 {3252 attached: Set(),3253 built: false,3254 expecting: false,3255 running: false,3256 session: true,3257 up: true3258 },3259 "w2" ->3260 {3261 attached: Set(),3262 built: false,3263 expecting: false,3264 running: false,3265 session: true,3266 up: true3267 }3268 )3269}32703271[State 1]3272{3273 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3274 schedNoPush::scheduler::crashes: 0,3275 schedNoPush::scheduler::entry: [],3276 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3277 schedNoPush::scheduler::mAssigned: Set(),3278 schedNoPush::scheduler::mBuild: Set(),3279 schedNoPush::scheduler::mDone: Set(),3280 schedNoPush::scheduler::mExpect: Set(),3281 schedNoPush::scheduler::mResult: Set(),3282 schedNoPush::scheduler::mRetry: Set(),3283 schedNoPush::scheduler::mSchedule: Set("c2"),3284 schedNoPush::scheduler::published: 0,3285 schedNoPush::scheduler::publishedBy: Set(),3286 schedNoPush::scheduler::ws:3287 Map(3288 "w1" ->3289 {3290 attached: Set(),3291 built: false,3292 expecting: false,3293 running: false,3294 session: true,3295 up: true3296 },3297 "w2" ->3298 {3299 attached: Set(),3300 built: false,3301 expecting: false,3302 running: false,3303 session: true,3304 up: true3305 }3306 )3307}33083309[State 2]3310{3311 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3312 schedNoPush::scheduler::crashes: 1,3313 schedNoPush::scheduler::entry: [],3314 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3315 schedNoPush::scheduler::mAssigned: Set(),3316 schedNoPush::scheduler::mBuild: Set(),3317 schedNoPush::scheduler::mDone: Set(),3318 schedNoPush::scheduler::mExpect: Set(),3319 schedNoPush::scheduler::mResult: Set(),3320 schedNoPush::scheduler::mRetry: Set(),3321 schedNoPush::scheduler::mSchedule: Set("c2"),3322 schedNoPush::scheduler::published: 0,3323 schedNoPush::scheduler::publishedBy: Set(),3324 schedNoPush::scheduler::ws:3325 Map(3326 "w1" ->3327 {3328 attached: Set(),3329 built: false,3330 expecting: false,3331 running: false,3332 session: false,3333 up: false3334 },3335 "w2" ->3336 {3337 attached: Set(),3338 built: false,3339 expecting: false,3340 running: false,3341 session: true,3342 up: true3343 }3344 )3345}33463347[State 3]3348{3349 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3350 schedNoPush::scheduler::crashes: 1,3351 schedNoPush::scheduler::entry:3352 [{ followers: Set("c2"), leased: true, worker: "w2" }],3353 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3354 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),3355 schedNoPush::scheduler::mBuild: Set(),3356 schedNoPush::scheduler::mDone: Set(),3357 schedNoPush::scheduler::mExpect: Set(),3358 schedNoPush::scheduler::mResult: Set(),3359 schedNoPush::scheduler::mRetry: Set(),3360 schedNoPush::scheduler::mSchedule: Set(),3361 schedNoPush::scheduler::published: 0,3362 schedNoPush::scheduler::publishedBy: Set(),3363 schedNoPush::scheduler::ws:3364 Map(3365 "w1" ->3366 {3367 attached: Set(),3368 built: false,3369 expecting: false,3370 running: false,3371 session: false,3372 up: false3373 },3374 "w2" ->3375 {3376 attached: Set(),3377 built: false,3378 expecting: false,3379 running: false,3380 session: true,3381 up: true3382 }3383 )3384}33853386[State 4]3387{3388 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3389 schedNoPush::scheduler::crashes: 2,3390 schedNoPush::scheduler::entry:3391 [{ followers: Set("c2"), leased: true, worker: "w2" }],3392 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3393 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),3394 schedNoPush::scheduler::mBuild: Set(),3395 schedNoPush::scheduler::mDone: Set(),3396 schedNoPush::scheduler::mExpect: Set(),3397 schedNoPush::scheduler::mResult: Set(),3398 schedNoPush::scheduler::mRetry: Set(),3399 schedNoPush::scheduler::mSchedule: Set(),3400 schedNoPush::scheduler::published: 0,3401 schedNoPush::scheduler::publishedBy: Set(),3402 schedNoPush::scheduler::ws:3403 Map(3404 "w1" ->3405 {3406 attached: Set(),3407 built: false,3408 expecting: false,3409 running: false,3410 session: false,3411 up: false3412 },3413 "w2" ->3414 {3415 attached: Set(),3416 built: false,3417 expecting: false,3418 running: false,3419 session: false,3420 up: false3421 }3422 )3423}34243425[State 5]3426{3427 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3428 schedNoPush::scheduler::crashes: 2,3429 schedNoPush::scheduler::entry:3430 [{ followers: Set("c2"), leased: true, worker: "w2" }],3431 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3432 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),3433 schedNoPush::scheduler::mBuild: Set(),3434 schedNoPush::scheduler::mDone: Set(),3435 schedNoPush::scheduler::mExpect: Set(),3436 schedNoPush::scheduler::mResult: Set(),3437 schedNoPush::scheduler::mRetry: Set(),3438 schedNoPush::scheduler::mSchedule: Set("c1"),3439 schedNoPush::scheduler::published: 0,3440 schedNoPush::scheduler::publishedBy: Set(),3441 schedNoPush::scheduler::ws:3442 Map(3443 "w1" ->3444 {3445 attached: Set(),3446 built: false,3447 expecting: false,3448 running: false,3449 session: false,3450 up: false3451 },3452 "w2" ->3453 {3454 attached: Set(),3455 built: false,3456 expecting: false,3457 running: false,3458 session: false,3459 up: false3460 }3461 )3462}34633464[State 6]3465{3466 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3467 schedNoPush::scheduler::crashes: 2,3468 schedNoPush::scheduler::entry: [],3469 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3470 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),3471 schedNoPush::scheduler::mBuild: Set(),3472 schedNoPush::scheduler::mDone: Set(),3473 schedNoPush::scheduler::mExpect: Set(),3474 schedNoPush::scheduler::mResult: Set(),3475 schedNoPush::scheduler::mRetry: Set("c2"),3476 schedNoPush::scheduler::mSchedule: Set("c1"),3477 schedNoPush::scheduler::published: 0,3478 schedNoPush::scheduler::publishedBy: Set(),3479 schedNoPush::scheduler::ws:3480 Map(3481 "w1" ->3482 {3483 attached: Set(),3484 built: false,3485 expecting: false,3486 running: false,3487 session: false,3488 up: false3489 },3490 "w2" ->3491 {3492 attached: Set(),3493 built: false,3494 expecting: false,3495 running: false,3496 session: true,3497 up: true3498 }3499 )3500}35013502[State 7]3503{3504 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3505 schedNoPush::scheduler::crashes: 2,3506 schedNoPush::scheduler::entry: [],3507 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3508 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),3509 schedNoPush::scheduler::mBuild: Set(),3510 schedNoPush::scheduler::mDone: Set(),3511 schedNoPush::scheduler::mExpect: Set(),3512 schedNoPush::scheduler::mResult: Set(),3513 schedNoPush::scheduler::mRetry: Set("c2"),3514 schedNoPush::scheduler::mSchedule: Set("c1"),3515 schedNoPush::scheduler::published: 0,3516 schedNoPush::scheduler::publishedBy: Set(),3517 schedNoPush::scheduler::ws:3518 Map(3519 "w1" ->3520 {3521 attached: Set(),3522 built: false,3523 expecting: false,3524 running: false,3525 session: true,3526 up: true3527 },3528 "w2" ->3529 {3530 attached: Set(),3531 built: false,3532 expecting: false,3533 running: false,3534 session: true,3535 up: true3536 }3537 )3538}35393540[State 8]3541{3542 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3543 schedNoPush::scheduler::crashes: 2,3544 schedNoPush::scheduler::entry: [],3545 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3546 schedNoPush::scheduler::mAssigned: Set(),3547 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),3548 schedNoPush::scheduler::mDone: Set(),3549 schedNoPush::scheduler::mExpect: Set(),3550 schedNoPush::scheduler::mResult: Set(),3551 schedNoPush::scheduler::mRetry: Set("c2"),3552 schedNoPush::scheduler::mSchedule: Set("c1"),3553 schedNoPush::scheduler::published: 0,3554 schedNoPush::scheduler::publishedBy: Set(),3555 schedNoPush::scheduler::ws:3556 Map(3557 "w1" ->3558 {3559 attached: Set(),3560 built: false,3561 expecting: false,3562 running: false,3563 session: true,3564 up: true3565 },3566 "w2" ->3567 {3568 attached: Set(),3569 built: false,3570 expecting: false,3571 running: false,3572 session: true,3573 up: true3574 }3575 )3576}35773578[State 9]3579{3580 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3581 schedNoPush::scheduler::crashes: 2,3582 schedNoPush::scheduler::entry:3583 [{ followers: Set("c1"), leased: true, worker: "w1" }],3584 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3585 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3586 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),3587 schedNoPush::scheduler::mDone: Set(),3588 schedNoPush::scheduler::mExpect: Set(),3589 schedNoPush::scheduler::mResult: Set(),3590 schedNoPush::scheduler::mRetry: Set("c2"),3591 schedNoPush::scheduler::mSchedule: Set(),3592 schedNoPush::scheduler::published: 0,3593 schedNoPush::scheduler::publishedBy: Set(),3594 schedNoPush::scheduler::ws:3595 Map(3596 "w1" ->3597 {3598 attached: Set(),3599 built: false,3600 expecting: false,3601 running: false,3602 session: true,3603 up: true3604 },3605 "w2" ->3606 {3607 attached: Set(),3608 built: false,3609 expecting: false,3610 running: false,3611 session: true,3612 up: true3613 }3614 )3615}36163617[State 10]3618{3619 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w2")),3620 schedNoPush::scheduler::crashes: 2,3621 schedNoPush::scheduler::entry:3622 [{ followers: Set("c1"), leased: true, worker: "w1" }],3623 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3624 schedNoPush::scheduler::mAssigned: Set(),3625 schedNoPush::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),3626 schedNoPush::scheduler::mDone: Set(),3627 schedNoPush::scheduler::mExpect: Set(),3628 schedNoPush::scheduler::mResult: Set(),3629 schedNoPush::scheduler::mRetry: Set("c2"),3630 schedNoPush::scheduler::mSchedule: Set(),3631 schedNoPush::scheduler::published: 0,3632 schedNoPush::scheduler::publishedBy: Set(),3633 schedNoPush::scheduler::ws:3634 Map(3635 "w1" ->3636 {3637 attached: Set(),3638 built: false,3639 expecting: false,3640 running: false,3641 session: true,3642 up: true3643 },3644 "w2" ->3645 {3646 attached: Set(),3647 built: false,3648 expecting: false,3649 running: false,3650 session: true,3651 up: true3652 }3653 )3654}36553656[State 11]3657{3658 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w2")),3659 schedNoPush::scheduler::crashes: 2,3660 schedNoPush::scheduler::entry:3661 [{ followers: Set("c1"), leased: true, worker: "w1" }],3662 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3663 schedNoPush::scheduler::mAssigned: Set(),3664 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),3665 schedNoPush::scheduler::mDone: Set(),3666 schedNoPush::scheduler::mExpect: Set(),3667 schedNoPush::scheduler::mResult: Set(),3668 schedNoPush::scheduler::mRetry: Set("c2"),3669 schedNoPush::scheduler::mSchedule: Set(),3670 schedNoPush::scheduler::published: 0,3671 schedNoPush::scheduler::publishedBy: Set(),3672 schedNoPush::scheduler::ws:3673 Map(3674 "w1" ->3675 {3676 attached: Set(),3677 built: false,3678 expecting: false,3679 running: false,3680 session: true,3681 up: true3682 },3683 "w2" ->3684 {3685 attached: Set("c2"),3686 built: false,3687 expecting: true,3688 running: true,3689 session: true,3690 up: true3691 }3692 )3693}36943695[State 12]3696{3697 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w2")),3698 schedNoPush::scheduler::crashes: 2,3699 schedNoPush::scheduler::entry:3700 [{ followers: Set("c1"), leased: true, worker: "w1" }],3701 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3702 schedNoPush::scheduler::mAssigned: Set(),3703 schedNoPush::scheduler::mBuild: Set(),3704 schedNoPush::scheduler::mDone: Set(),3705 schedNoPush::scheduler::mExpect: Set(),3706 schedNoPush::scheduler::mResult: Set(),3707 schedNoPush::scheduler::mRetry: Set("c2"),3708 schedNoPush::scheduler::mSchedule: Set(),3709 schedNoPush::scheduler::published: 0,3710 schedNoPush::scheduler::publishedBy: Set(),3711 schedNoPush::scheduler::ws:3712 Map(3713 "w1" ->3714 {3715 attached: Set("c1"),3716 built: false,3717 expecting: true,3718 running: true,3719 session: true,3720 up: true3721 },3722 "w2" ->3723 {3724 attached: Set("c2"),3725 built: false,3726 expecting: true,3727 running: true,3728 session: true,3729 up: true3730 }3731 )3732}37333734[violation] Found an issue (477ms at 21493 traces/second).3735Use --verbosity=3 to show executions.3736Use --seed=0xc021b94f428e0a17 --backend=rust to reproduce.3737error: Invariant violated3738An example execution:37393740[State 0]3741{3742 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3743 schedNoReport::scheduler::crashes: 0,3744 schedNoReport::scheduler::entry: [],3745 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3746 schedNoReport::scheduler::mAssigned: Set(),3747 schedNoReport::scheduler::mBuild: Set(),3748 schedNoReport::scheduler::mDone: Set(),3749 schedNoReport::scheduler::mExpect: Set(),3750 schedNoReport::scheduler::mResult: Set(),3751 schedNoReport::scheduler::mRetry: Set(),3752 schedNoReport::scheduler::mSchedule: Set(),3753 schedNoReport::scheduler::published: 0,3754 schedNoReport::scheduler::publishedBy: Set(),3755 schedNoReport::scheduler::ws:3756 Map(3757 "w1" ->3758 {3759 attached: Set(),3760 built: false,3761 expecting: false,3762 running: false,3763 session: true,3764 up: true3765 },3766 "w2" ->3767 {3768 attached: Set(),3769 built: false,3770 expecting: false,3771 running: false,3772 session: true,3773 up: true3774 }3775 )3776}37773778[State 1]3779{3780 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3781 schedNoReport::scheduler::crashes: 1,3782 schedNoReport::scheduler::entry: [],3783 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3784 schedNoReport::scheduler::mAssigned: Set(),3785 schedNoReport::scheduler::mBuild: Set(),3786 schedNoReport::scheduler::mDone: Set(),3787 schedNoReport::scheduler::mExpect: Set(),3788 schedNoReport::scheduler::mResult: Set(),3789 schedNoReport::scheduler::mRetry: Set(),3790 schedNoReport::scheduler::mSchedule: Set(),3791 schedNoReport::scheduler::published: 0,3792 schedNoReport::scheduler::publishedBy: Set(),3793 schedNoReport::scheduler::ws:3794 Map(3795 "w1" ->3796 {3797 attached: Set(),3798 built: false,3799 expecting: false,3800 running: false,3801 session: false,3802 up: false3803 },3804 "w2" ->3805 {3806 attached: Set(),3807 built: false,3808 expecting: false,3809 running: false,3810 session: true,3811 up: true3812 }3813 )3814}38153816[State 2]3817{3818 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3819 schedNoReport::scheduler::crashes: 1,3820 schedNoReport::scheduler::entry: [],3821 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3822 schedNoReport::scheduler::mAssigned: Set(),3823 schedNoReport::scheduler::mBuild: Set(),3824 schedNoReport::scheduler::mDone: Set(),3825 schedNoReport::scheduler::mExpect: Set(),3826 schedNoReport::scheduler::mResult: Set(),3827 schedNoReport::scheduler::mRetry: Set(),3828 schedNoReport::scheduler::mSchedule: Set("c2"),3829 schedNoReport::scheduler::published: 0,3830 schedNoReport::scheduler::publishedBy: Set(),3831 schedNoReport::scheduler::ws:3832 Map(3833 "w1" ->3834 {3835 attached: Set(),3836 built: false,3837 expecting: false,3838 running: false,3839 session: false,3840 up: false3841 },3842 "w2" ->3843 {3844 attached: Set(),3845 built: false,3846 expecting: false,3847 running: false,3848 session: true,3849 up: true3850 }3851 )3852}38533854[State 3]3855{3856 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3857 schedNoReport::scheduler::crashes: 1,3858 schedNoReport::scheduler::entry: [],3859 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3860 schedNoReport::scheduler::mAssigned: Set(),3861 schedNoReport::scheduler::mBuild: Set(),3862 schedNoReport::scheduler::mDone: Set(),3863 schedNoReport::scheduler::mExpect: Set(),3864 schedNoReport::scheduler::mResult: Set(),3865 schedNoReport::scheduler::mRetry: Set(),3866 schedNoReport::scheduler::mSchedule: Set("c2"),3867 schedNoReport::scheduler::published: 0,3868 schedNoReport::scheduler::publishedBy: Set(),3869 schedNoReport::scheduler::ws:3870 Map(3871 "w1" ->3872 {3873 attached: Set(),3874 built: false,3875 expecting: false,3876 running: false,3877 session: true,3878 up: true3879 },3880 "w2" ->3881 {3882 attached: Set(),3883 built: false,3884 expecting: false,3885 running: false,3886 session: true,3887 up: true3888 }3889 )3890}38913892[State 4]3893{3894 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3895 schedNoReport::scheduler::crashes: 1,3896 schedNoReport::scheduler::entry:3897 [{ followers: Set("c2"), leased: true, worker: "w2" }],3898 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),3899 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),3900 schedNoReport::scheduler::mBuild: Set(),3901 schedNoReport::scheduler::mDone: Set(),3902 schedNoReport::scheduler::mExpect: Set("w2"),3903 schedNoReport::scheduler::mResult: Set(),3904 schedNoReport::scheduler::mRetry: Set(),3905 schedNoReport::scheduler::mSchedule: Set(),3906 schedNoReport::scheduler::published: 0,3907 schedNoReport::scheduler::publishedBy: Set(),3908 schedNoReport::scheduler::ws:3909 Map(3910 "w1" ->3911 {3912 attached: Set(),3913 built: false,3914 expecting: false,3915 running: false,3916 session: true,3917 up: true3918 },3919 "w2" ->3920 {3921 attached: Set(),3922 built: false,3923 expecting: false,3924 running: false,3925 session: true,3926 up: true3927 }3928 )3929}39303931[State 5]3932{3933 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3934 schedNoReport::scheduler::crashes: 1,3935 schedNoReport::scheduler::entry:3936 [{ followers: Set("c2"), leased: true, worker: "w2" }],3937 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),3938 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),3939 schedNoReport::scheduler::mBuild: Set(),3940 schedNoReport::scheduler::mDone: Set(),3941 schedNoReport::scheduler::mExpect: Set(),3942 schedNoReport::scheduler::mResult: Set(),3943 schedNoReport::scheduler::mRetry: Set(),3944 schedNoReport::scheduler::mSchedule: Set(),3945 schedNoReport::scheduler::published: 0,3946 schedNoReport::scheduler::publishedBy: Set(),3947 schedNoReport::scheduler::ws:3948 Map(3949 "w1" ->3950 {3951 attached: Set(),3952 built: false,3953 expecting: false,3954 running: false,3955 session: true,3956 up: true3957 },3958 "w2" ->3959 {3960 attached: Set(),3961 built: false,3962 expecting: true,3963 running: true,3964 session: true,3965 up: true3966 }3967 )3968}39693970[State 6]3971{3972 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3973 schedNoReport::scheduler::crashes: 2,3974 schedNoReport::scheduler::entry: [],3975 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3976 schedNoReport::scheduler::mAssigned: Set(),3977 schedNoReport::scheduler::mBuild: Set(),3978 schedNoReport::scheduler::mDone: Set(),3979 schedNoReport::scheduler::mExpect: Set(),3980 schedNoReport::scheduler::mResult: Set(),3981 schedNoReport::scheduler::mRetry: Set("c2"),3982 schedNoReport::scheduler::mSchedule: Set(),3983 schedNoReport::scheduler::published: 0,3984 schedNoReport::scheduler::publishedBy: Set(),3985 schedNoReport::scheduler::ws:3986 Map(3987 "w1" ->3988 {3989 attached: Set(),3990 built: false,3991 expecting: false,3992 running: false,3993 session: false,3994 up: true3995 },3996 "w2" ->3997 {3998 attached: Set(),3999 built: false,4000 expecting: true,4001 running: true,4002 session: false,4003 up: true4004 }4005 )4006}40074008[State 7]4009{4010 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4011 schedNoReport::scheduler::crashes: 2,4012 schedNoReport::scheduler::entry: [],4013 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4014 schedNoReport::scheduler::mAssigned: Set(),4015 schedNoReport::scheduler::mBuild: Set(),4016 schedNoReport::scheduler::mDone: Set(),4017 schedNoReport::scheduler::mExpect: Set(),4018 schedNoReport::scheduler::mResult: Set(),4019 schedNoReport::scheduler::mRetry: Set("c2"),4020 schedNoReport::scheduler::mSchedule: Set("c1"),4021 schedNoReport::scheduler::published: 0,4022 schedNoReport::scheduler::publishedBy: Set(),4023 schedNoReport::scheduler::ws:4024 Map(4025 "w1" ->4026 {4027 attached: Set(),4028 built: false,4029 expecting: false,4030 running: false,4031 session: false,4032 up: true4033 },4034 "w2" ->4035 {4036 attached: Set(),4037 built: false,4038 expecting: true,4039 running: true,4040 session: false,4041 up: true4042 }4043 )4044}40454046[State 8]4047{4048 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4049 schedNoReport::scheduler::crashes: 2,4050 schedNoReport::scheduler::entry: [],4051 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4052 schedNoReport::scheduler::mAssigned: Set(),4053 schedNoReport::scheduler::mBuild: Set(),4054 schedNoReport::scheduler::mDone: Set(),4055 schedNoReport::scheduler::mExpect: Set(),4056 schedNoReport::scheduler::mResult: Set(),4057 schedNoReport::scheduler::mRetry: Set("c2"),4058 schedNoReport::scheduler::mSchedule: Set("c1"),4059 schedNoReport::scheduler::published: 0,4060 schedNoReport::scheduler::publishedBy: Set(),4061 schedNoReport::scheduler::ws:4062 Map(4063 "w1" ->4064 {4065 attached: Set(),4066 built: false,4067 expecting: false,4068 running: false,4069 session: true,4070 up: true4071 },4072 "w2" ->4073 {4074 attached: Set(),4075 built: false,4076 expecting: true,4077 running: true,4078 session: true,4079 up: true4080 }4081 )4082}40834084[State 9]4085{4086 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4087 schedNoReport::scheduler::crashes: 2,4088 schedNoReport::scheduler::entry:4089 [{ followers: Set("c1"), leased: true, worker: "w1" }],4090 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),4091 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),4092 schedNoReport::scheduler::mBuild: Set(),4093 schedNoReport::scheduler::mDone: Set(),4094 schedNoReport::scheduler::mExpect: Set("w1"),4095 schedNoReport::scheduler::mResult: Set(),4096 schedNoReport::scheduler::mRetry: Set("c2"),4097 schedNoReport::scheduler::mSchedule: Set(),4098 schedNoReport::scheduler::published: 0,4099 schedNoReport::scheduler::publishedBy: Set(),4100 schedNoReport::scheduler::ws:4101 Map(4102 "w1" ->4103 {4104 attached: Set(),4105 built: false,4106 expecting: false,4107 running: false,4108 session: true,4109 up: true4110 },4111 "w2" ->4112 {4113 attached: Set(),4114 built: false,4115 expecting: true,4116 running: true,4117 session: true,4118 up: true4119 }4120 )4121}41224123[State 10]4124{4125 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4126 schedNoReport::scheduler::crashes: 2,4127 schedNoReport::scheduler::entry:4128 [{ followers: Set("c1"), leased: true, worker: "w1" }],4129 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),4130 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),4131 schedNoReport::scheduler::mBuild: Set(),4132 schedNoReport::scheduler::mDone: Set(),4133 schedNoReport::scheduler::mExpect: Set(),4134 schedNoReport::scheduler::mResult: Set(),4135 schedNoReport::scheduler::mRetry: Set("c2"),4136 schedNoReport::scheduler::mSchedule: Set(),4137 schedNoReport::scheduler::published: 0,4138 schedNoReport::scheduler::publishedBy: Set(),4139 schedNoReport::scheduler::ws:4140 Map(4141 "w1" ->4142 {4143 attached: Set(),4144 built: false,4145 expecting: true,4146 running: true,4147 session: true,4148 up: true4149 },4150 "w2" ->4151 {4152 attached: Set(),4153 built: false,4154 expecting: true,4155 running: true,4156 session: true,4157 up: true4158 }4159 )4160}41614162[State 11]4163{4164 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4165 schedNoReport::scheduler::crashes: 2,4166 schedNoReport::scheduler::entry:4167 [{ followers: Set("c1"), leased: true, worker: "w1" }],4168 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),4169 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),4170 schedNoReport::scheduler::mBuild: Set(),4171 schedNoReport::scheduler::mDone: Set("w1"),4172 schedNoReport::scheduler::mExpect: Set(),4173 schedNoReport::scheduler::mResult: Set(),4174 schedNoReport::scheduler::mRetry: Set("c2"),4175 schedNoReport::scheduler::mSchedule: Set(),4176 schedNoReport::scheduler::published: 1,4177 schedNoReport::scheduler::publishedBy: Set("w1"),4178 schedNoReport::scheduler::ws:4179 Map(4180 "w1" ->4181 {4182 attached: Set(),4183 built: true,4184 expecting: false,4185 running: false,4186 session: true,4187 up: true4188 },4189 "w2" ->4190 {4191 attached: Set(),4192 built: false,4193 expecting: true,4194 running: true,4195 session: true,4196 up: true4197 }4198 )4199}42004201[State 12]4202{4203 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4204 schedNoReport::scheduler::crashes: 2,4205 schedNoReport::scheduler::entry:4206 [{ followers: Set("c1"), leased: true, worker: "w1" }],4207 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),4208 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),4209 schedNoReport::scheduler::mBuild: Set(),4210 schedNoReport::scheduler::mDone: Set("w1", "w2"),4211 schedNoReport::scheduler::mExpect: Set(),4212 schedNoReport::scheduler::mResult: Set(),4213 schedNoReport::scheduler::mRetry: Set("c2"),4214 schedNoReport::scheduler::mSchedule: Set(),4215 schedNoReport::scheduler::published: 2,4216 schedNoReport::scheduler::publishedBy: Set("w1", "w2"),4217 schedNoReport::scheduler::ws:4218 Map(4219 "w1" ->4220 {4221 attached: Set(),4222 built: true,4223 expecting: false,4224 running: false,4225 session: true,4226 up: true4227 },4228 "w2" ->4229 {4230 attached: Set(),4231 built: true,4232 expecting: false,4233 running: false,4234 session: true,4235 up: true4236 }4237 )4238}42394240[violation] Found an issue (1718ms at 14081 traces/second).4241Use --verbosity=3 to show executions.4242Use --seed=0x56f87a68fccfd5ac --backend=rust to reproduce.4243error: Invariant violated4244An example execution:42454246[State 0]4247{4248 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4249 schedTerminal::scheduler::crashes: 0,4250 schedTerminal::scheduler::entry: [],4251 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4252 schedTerminal::scheduler::mAssigned: Set(),4253 schedTerminal::scheduler::mBuild: Set(),4254 schedTerminal::scheduler::mDone: Set(),4255 schedTerminal::scheduler::mExpect: Set(),4256 schedTerminal::scheduler::mResult: Set(),4257 schedTerminal::scheduler::mRetry: Set(),4258 schedTerminal::scheduler::mSchedule: Set(),4259 schedTerminal::scheduler::published: 0,4260 schedTerminal::scheduler::publishedBy: Set(),4261 schedTerminal::scheduler::ws:4262 Map(4263 "w1" ->4264 {4265 attached: Set(),4266 built: false,4267 expecting: false,4268 running: false,4269 session: true,4270 up: true4271 },4272 "w2" ->4273 {4274 attached: Set(),4275 built: false,4276 expecting: false,4277 running: false,4278 session: true,4279 up: true4280 }4281 )4282}42834284[State 1]4285{4286 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4287 schedTerminal::scheduler::crashes: 1,4288 schedTerminal::scheduler::entry: [],4289 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4290 schedTerminal::scheduler::mAssigned: Set(),4291 schedTerminal::scheduler::mBuild: Set(),4292 schedTerminal::scheduler::mDone: Set(),4293 schedTerminal::scheduler::mExpect: Set(),4294 schedTerminal::scheduler::mResult: Set(),4295 schedTerminal::scheduler::mRetry: Set(),4296 schedTerminal::scheduler::mSchedule: Set(),4297 schedTerminal::scheduler::published: 0,4298 schedTerminal::scheduler::publishedBy: Set(),4299 schedTerminal::scheduler::ws:4300 Map(4301 "w1" ->4302 {4303 attached: Set(),4304 built: false,4305 expecting: false,4306 running: false,4307 session: false,4308 up: true4309 },4310 "w2" ->4311 {4312 attached: Set(),4313 built: false,4314 expecting: false,4315 running: false,4316 session: false,4317 up: true4318 }4319 )4320}43214322[State 2]4323{4324 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),4325 schedTerminal::scheduler::crashes: 1,4326 schedTerminal::scheduler::entry: [],4327 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4328 schedTerminal::scheduler::mAssigned: Set(),4329 schedTerminal::scheduler::mBuild: Set(),4330 schedTerminal::scheduler::mDone: Set(),4331 schedTerminal::scheduler::mExpect: Set(),4332 schedTerminal::scheduler::mResult: Set(),4333 schedTerminal::scheduler::mRetry: Set(),4334 schedTerminal::scheduler::mSchedule: Set("c1"),4335 schedTerminal::scheduler::published: 0,4336 schedTerminal::scheduler::publishedBy: Set(),4337 schedTerminal::scheduler::ws:4338 Map(4339 "w1" ->4340 {4341 attached: Set(),4342 built: false,4343 expecting: false,4344 running: false,4345 session: false,4346 up: true4347 },4348 "w2" ->4349 {4350 attached: Set(),4351 built: false,4352 expecting: false,4353 running: false,4354 session: false,4355 up: true4356 }4357 )4358}43594360[State 3]4361{4362 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),4363 schedTerminal::scheduler::crashes: 1,4364 schedTerminal::scheduler::entry: [],4365 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4366 schedTerminal::scheduler::mAssigned: Set(),4367 schedTerminal::scheduler::mBuild: Set(),4368 schedTerminal::scheduler::mDone: Set(),4369 schedTerminal::scheduler::mExpect: Set(),4370 schedTerminal::scheduler::mResult: Set(),4371 schedTerminal::scheduler::mRetry: Set(),4372 schedTerminal::scheduler::mSchedule: Set(),4373 schedTerminal::scheduler::published: 0,4374 schedTerminal::scheduler::publishedBy: Set(),4375 schedTerminal::scheduler::ws:4376 Map(4377 "w1" ->4378 {4379 attached: Set(),4380 built: false,4381 expecting: false,4382 running: false,4383 session: false,4384 up: true4385 },4386 "w2" ->4387 {4388 attached: Set(),4389 built: false,4390 expecting: false,4391 running: false,4392 session: false,4393 up: true4394 }4395 )4396}43974398[violation] Found an issue (337ms at 3626 traces/second).4399Use --verbosity=3 to show executions.4400Use --seed=0xdec29bc2cf7c4785 --backend=rust to reproduce.4401error: Invariant violated4402An example execution:44034404[State 0]4405{4406 hookFixed::hook::cache: Set(),4407 hookFixed::hook::drvUploaded: false,4408 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4409 hookFixed::hook::phase: Query,4410 hookFixed::hook::restarts: 0,4411 hookFixed::hook::retries: 0,4412 hookFixed::hook::toUpload: Set()4413}44144415[State 1]4416{4417 hookFixed::hook::cache: Set(),4418 hookFixed::hook::drvUploaded: false,4419 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4420 hookFixed::hook::phase: Query,4421 hookFixed::hook::restarts: 1,4422 hookFixed::hook::retries: 1,4423 hookFixed::hook::toUpload: Set()4424}44254426[State 2]4427{4428 hookFixed::hook::cache: Set("in"),4429 hookFixed::hook::drvUploaded: false,4430 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4431 hookFixed::hook::phase: Upload,4432 hookFixed::hook::restarts: 1,4433 hookFixed::hook::retries: 1,4434 hookFixed::hook::toUpload: Set("drv")4435}44364437[State 3]4438{4439 hookFixed::hook::cache: Set("drv", "in"),4440 hookFixed::hook::drvUploaded: false,4441 hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set("in")),4442 hookFixed::hook::phase: Build,4443 hookFixed::hook::restarts: 1,4444 hookFixed::hook::retries: 1,4445 hookFixed::hook::toUpload: Set("drv")4446}44474448[State 4]4449{4450 hookFixed::hook::cache: Set("drv", "in"),4451 hookFixed::hook::drvUploaded: false,4452 hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set("in")),4453 hookFixed::hook::phase: Build,4454 hookFixed::hook::restarts: 2,4455 hookFixed::hook::retries: 2,4456 hookFixed::hook::toUpload: Set("drv")4457}44584459[State 5]4460{4461 hookFixed::hook::cache: Set("drv", "in", "out"),4462 hookFixed::hook::drvUploaded: false,4463 hookFixed::hook::local:4464 Map("w1" -> Set("drv", "in", "out"), "w2" -> Set("in")),4465 hookFixed::hook::phase: Fetch,4466 hookFixed::hook::restarts: 2,4467 hookFixed::hook::retries: 2,4468 hookFixed::hook::toUpload: Set("drv")4469}44704471[State 6]4472{4473 hookFixed::hook::cache: Set("drv", "in", "out"),4474 hookFixed::hook::drvUploaded: false,4475 hookFixed::hook::local:4476 Map("w1" -> Set("drv", "in", "out"), "w2" -> Set("in")),4477 hookFixed::hook::phase: Done,4478 hookFixed::hook::restarts: 2,4479 hookFixed::hook::retries: 2,4480 hookFixed::hook::toUpload: Set("drv")4481}44824483[ok] No violation found (330ms at 60606 traces/second).4484Trace length statistics: max=7, min=5, average=6.814485You may increase --max-samples and --max-steps.4486Use --verbosity to produce more (or less) output.4487Use --seed=0x11121af33555e952 --backend=rust to reproduce.4488An example execution:44894490[State 0]4491{4492 hookNoSubstituteRefs::hook::cache: Set(),4493 hookNoSubstituteRefs::hook::drvUploaded: false,4494 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4495 hookNoSubstituteRefs::hook::phase: Query,4496 hookNoSubstituteRefs::hook::restarts: 0,4497 hookNoSubstituteRefs::hook::retries: 0,4498 hookNoSubstituteRefs::hook::toUpload: Set()4499}45004501[State 1]4502{4503 hookNoSubstituteRefs::hook::cache: Set("in"),4504 hookNoSubstituteRefs::hook::drvUploaded: false,4505 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4506 hookNoSubstituteRefs::hook::phase: Upload,4507 hookNoSubstituteRefs::hook::restarts: 0,4508 hookNoSubstituteRefs::hook::retries: 0,4509 hookNoSubstituteRefs::hook::toUpload: Set("drv")4510}45114512[State 2]4513{4514 hookNoSubstituteRefs::hook::cache: Set("in"),4515 hookNoSubstituteRefs::hook::drvUploaded: false,4516 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4517 hookNoSubstituteRefs::hook::phase: Failed,4518 hookNoSubstituteRefs::hook::restarts: 0,4519 hookNoSubstituteRefs::hook::retries: 0,4520 hookNoSubstituteRefs::hook::toUpload: Set("drv")4521}45224523[violation] Found an issue (99ms at 15949 traces/second).4524Use --verbosity=3 to show executions.4525Use --seed=0xbedfee1989cfc48d --backend=rust to reproduce.4526error: Invariant violated4527An example execution:45284529[State 0]4530{4531 hookNoSubstituteDrv::hook::cache: Set(),4532 hookNoSubstituteDrv::hook::drvUploaded: false,4533 hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set()),4534 hookNoSubstituteDrv::hook::phase: Query,4535 hookNoSubstituteDrv::hook::restarts: 0,4536 hookNoSubstituteDrv::hook::retries: 0,4537 hookNoSubstituteDrv::hook::toUpload: Set()4538}45394540[State 1]4541{4542 hookNoSubstituteDrv::hook::cache: Set(),4543 hookNoSubstituteDrv::hook::drvUploaded: false,4544 hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set()),4545 hookNoSubstituteDrv::hook::phase: Upload,4546 hookNoSubstituteDrv::hook::restarts: 0,4547 hookNoSubstituteDrv::hook::retries: 0,4548 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")4549}45504551[State 2]4552{4553 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4554 hookNoSubstituteDrv::hook::drvUploaded: false,4555 hookNoSubstituteDrv::hook::local:4556 Map("w1" -> Set("drv", "in"), "w2" -> Set()),4557 hookNoSubstituteDrv::hook::phase: Build,4558 hookNoSubstituteDrv::hook::restarts: 0,4559 hookNoSubstituteDrv::hook::retries: 0,4560 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")4561}45624563[State 3]4564{4565 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4566 hookNoSubstituteDrv::hook::drvUploaded: false,4567 hookNoSubstituteDrv::hook::local:4568 Map("w1" -> Set("drv", "in"), "w2" -> Set()),4569 hookNoSubstituteDrv::hook::phase: UploadDrv,4570 hookNoSubstituteDrv::hook::restarts: 0,4571 hookNoSubstituteDrv::hook::retries: 0,4572 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")4573}45744575[State 4]4576{4577 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4578 hookNoSubstituteDrv::hook::drvUploaded: true,4579 hookNoSubstituteDrv::hook::local:4580 Map("w1" -> Set("drv", "in"), "w2" -> Set()),4581 hookNoSubstituteDrv::hook::phase: Build,4582 hookNoSubstituteDrv::hook::restarts: 0,4583 hookNoSubstituteDrv::hook::retries: 0,4584 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")4585}45864587[State 5]4588{4589 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4590 hookNoSubstituteDrv::hook::drvUploaded: true,4591 hookNoSubstituteDrv::hook::local:4592 Map("w1" -> Set("drv", "in"), "w2" -> Set()),4593 hookNoSubstituteDrv::hook::phase: Failed,4594 hookNoSubstituteDrv::hook::restarts: 0,4595 hookNoSubstituteDrv::hook::retries: 0,4596 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")4597}45984599[violation] Found an issue (81ms at 23840 traces/second).4600Use --verbosity=3 to show executions.4601Use --seed=0xa51e0d8fd3d6b004 --backend=rust to reproduce.4602error: Invariant violated4603An example execution:46044605[State 0]4606{4607 pushFixed::push::byPath: Map(),4608 pushFixed::push::inflight: Set(),4609 pushFixed::push::left: Map(),4610 pushFixed::push::sent: Map()4611}46124613[State 1]4614{4615 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4616 pushFixed::push::inflight: Set((3, "a"), (3, "b")),4617 pushFixed::push::left: Map(3 -> 2),4618 pushFixed::push::sent: Map(3 -> Set("a", "b"))4619}46204621[State 2]4622{4623 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4624 pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "a"), (3, "b")),4625 pushFixed::push::left: Map(2 -> 2, 3 -> 2),4626 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))4627}46284629[State 3]4630{4631 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4632 pushFixed::push::inflight: Set((2, "b"), (3, "a"), (3, "b")),4633 pushFixed::push::left: Map(2 -> 1, 3 -> 2),4634 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))4635}46364637[State 4]4638{4639 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4640 pushFixed::push::inflight: Set((2, "b"), (3, "b")),4641 pushFixed::push::left: Map(2 -> 1, 3 -> 1),4642 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))4643}46444645[State 5]4646{4647 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4648 pushFixed::push::inflight: Set((2, "b")),4649 pushFixed::push::left: Map(2 -> 1, 3 -> 0),4650 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))4651}46524653[State 6]4654{4655 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4656 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "b")),4657 pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 0),4658 pushFixed::push::sent:4659 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4660}46614662[State 7]4663{4664 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4665 pushFixed::push::inflight: Set((1, "b"), (2, "b")),4666 pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 0),4667 pushFixed::push::sent:4668 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4669}46704671[State 8]4672{4673 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4674 pushFixed::push::inflight: Set((1, "b")),4675 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 0),4676 pushFixed::push::sent:4677 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4678}46794680[State 9]4681{4682 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4683 pushFixed::push::inflight: Set(),4684 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),4685 pushFixed::push::sent:4686 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4687}46884689[ok] No violation found (647ms at 30912 traces/second).4690Trace length statistics: max=10, min=7, average=7.944691You may increase --max-samples and --max-steps.4692Use --verbosity to produce more (or less) output.4693Use --seed=0xddecd1312b3b0a24 --backend=rust to reproduce.