nix-grpc-store-spec
checks.x86_64-linux.spec
· build #387
· raw
1tribuchet: building on jamie2An 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" -> CIdle),45 schedFixed::scheduler::crashes: 1,46 schedFixed::scheduler::entry: [],47 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),48 schedFixed::scheduler::mAssigned: Set(),49 schedFixed::scheduler::mBuild: Set(),50 schedFixed::scheduler::mDone: Set(),51 schedFixed::scheduler::mExpect: Set(),52 schedFixed::scheduler::mResult: Set(),53 schedFixed::scheduler::mRetry: Set(),54 schedFixed::scheduler::mSchedule: Set(),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: false,66 up: false67 },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" -> CIdle, "c2" -> CQueued),83 schedFixed::scheduler::crashes: 1,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("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: false,104 up: false105 },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" -> CIdle, "c2" -> CQueued),121 schedFixed::scheduler::crashes: 1,122 schedFixed::scheduler::entry:123 [{ followers: Set("c2"), leased: true, worker: "w2" }],124 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),125 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),126 schedFixed::scheduler::mBuild: Set(),127 schedFixed::scheduler::mDone: Set(),128 schedFixed::scheduler::mExpect: Set("w2"),129 schedFixed::scheduler::mResult: Set(),130 schedFixed::scheduler::mRetry: Set(),131 schedFixed::scheduler::mSchedule: Set(),132 schedFixed::scheduler::published: 0,133 schedFixed::scheduler::publishedBy: Set(),134 schedFixed::scheduler::ws:135 Map(136 "w1" ->137 {138 attached: Set(),139 built: false,140 expecting: false,141 running: false,142 session: false,143 up: false144 },145 "w2" ->146 {147 attached: Set(),148 built: false,149 expecting: false,150 running: false,151 session: true,152 up: true153 }154 )155}156157[State 4]158{159 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),160 schedFixed::scheduler::crashes: 1,161 schedFixed::scheduler::entry:162 [{ followers: Set("c2"), leased: true, worker: "w2" }],163 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),164 schedFixed::scheduler::mAssigned: Set(),165 schedFixed::scheduler::mBuild: Set(("c2", "w2")),166 schedFixed::scheduler::mDone: Set(),167 schedFixed::scheduler::mExpect: Set("w2"),168 schedFixed::scheduler::mResult: Set(),169 schedFixed::scheduler::mRetry: Set(),170 schedFixed::scheduler::mSchedule: Set(),171 schedFixed::scheduler::published: 0,172 schedFixed::scheduler::publishedBy: Set(),173 schedFixed::scheduler::ws:174 Map(175 "w1" ->176 {177 attached: Set(),178 built: false,179 expecting: false,180 running: false,181 session: false,182 up: false183 },184 "w2" ->185 {186 attached: Set(),187 built: false,188 expecting: false,189 running: false,190 session: true,191 up: true192 }193 )194}195196[State 5]197{198 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),199 schedFixed::scheduler::crashes: 1,200 schedFixed::scheduler::entry:201 [{ followers: Set("c2"), leased: true, worker: "w2" }],202 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),203 schedFixed::scheduler::mAssigned: Set(),204 schedFixed::scheduler::mBuild: Set(("c2", "w2")),205 schedFixed::scheduler::mDone: Set(),206 schedFixed::scheduler::mExpect: Set("w2"),207 schedFixed::scheduler::mResult: Set(),208 schedFixed::scheduler::mRetry: Set(),209 schedFixed::scheduler::mSchedule: Set("c1"),210 schedFixed::scheduler::published: 0,211 schedFixed::scheduler::publishedBy: Set(),212 schedFixed::scheduler::ws:213 Map(214 "w1" ->215 {216 attached: Set(),217 built: false,218 expecting: false,219 running: false,220 session: false,221 up: false222 },223 "w2" ->224 {225 attached: Set(),226 built: false,227 expecting: false,228 running: false,229 session: true,230 up: true231 }232 )233}234235[State 6]236{237 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),238 schedFixed::scheduler::crashes: 2,239 schedFixed::scheduler::entry: [],240 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),241 schedFixed::scheduler::mAssigned: Set(),242 schedFixed::scheduler::mBuild: Set(("c2", "w2")),243 schedFixed::scheduler::mDone: Set(),244 schedFixed::scheduler::mExpect: Set(),245 schedFixed::scheduler::mResult: Set(),246 schedFixed::scheduler::mRetry: Set("c1"),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: true269 }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 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),279 schedFixed::scheduler::mAssigned: Set(),280 schedFixed::scheduler::mBuild: Set(("c2", "w2")),281 schedFixed::scheduler::mDone: Set(),282 schedFixed::scheduler::mExpect: Set(),283 schedFixed::scheduler::mResult: Set(),284 schedFixed::scheduler::mRetry: Set("c1"),285 schedFixed::scheduler::mSchedule: Set(),286 schedFixed::scheduler::published: 0,287 schedFixed::scheduler::publishedBy: Set(),288 schedFixed::scheduler::ws:289 Map(290 "w1" ->291 {292 attached: Set(),293 built: false,294 expecting: false,295 running: false,296 session: false,297 up: false298 },299 "w2" ->300 {301 attached: Set(),302 built: false,303 expecting: false,304 running: false,305 session: true,306 up: true307 }308 )309}310311[State 8]312{313 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),314 schedFixed::scheduler::crashes: 2,315 schedFixed::scheduler::entry: [],316 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),317 schedFixed::scheduler::mAssigned: Set(),318 schedFixed::scheduler::mBuild: Set(),319 schedFixed::scheduler::mDone: Set(),320 schedFixed::scheduler::mExpect: Set(),321 schedFixed::scheduler::mResult: Set(),322 schedFixed::scheduler::mRetry: Set("c1", "c2"),323 schedFixed::scheduler::mSchedule: Set(),324 schedFixed::scheduler::published: 0,325 schedFixed::scheduler::publishedBy: Set(),326 schedFixed::scheduler::ws:327 Map(328 "w1" ->329 {330 attached: Set(),331 built: false,332 expecting: false,333 running: false,334 session: false,335 up: false336 },337 "w2" ->338 {339 attached: Set(),340 built: false,341 expecting: false,342 running: false,343 session: true,344 up: true345 }346 )347}348349[State 9]350{351 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),352 schedFixed::scheduler::crashes: 2,353 schedFixed::scheduler::entry: [],354 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),355 schedFixed::scheduler::mAssigned: Set(),356 schedFixed::scheduler::mBuild: Set(),357 schedFixed::scheduler::mDone: Set(),358 schedFixed::scheduler::mExpect: Set(),359 schedFixed::scheduler::mResult: Set(),360 schedFixed::scheduler::mRetry: Set("c1", "c2"),361 schedFixed::scheduler::mSchedule: Set(),362 schedFixed::scheduler::published: 0,363 schedFixed::scheduler::publishedBy: Set(),364 schedFixed::scheduler::ws:365 Map(366 "w1" ->367 {368 attached: Set(),369 built: false,370 expecting: false,371 running: false,372 session: true,373 up: true374 },375 "w2" ->376 {377 attached: Set(),378 built: false,379 expecting: false,380 running: false,381 session: true,382 up: true383 }384 )385}386387[State 10]388{389 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),390 schedFixed::scheduler::crashes: 2,391 schedFixed::scheduler::entry: [],392 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),393 schedFixed::scheduler::mAssigned: Set(),394 schedFixed::scheduler::mBuild: Set(),395 schedFixed::scheduler::mDone: Set(),396 schedFixed::scheduler::mExpect: Set(),397 schedFixed::scheduler::mResult: Set(),398 schedFixed::scheduler::mRetry: Set("c2"),399 schedFixed::scheduler::mSchedule: Set("c1"),400 schedFixed::scheduler::published: 0,401 schedFixed::scheduler::publishedBy: Set(),402 schedFixed::scheduler::ws:403 Map(404 "w1" ->405 {406 attached: Set(),407 built: false,408 expecting: false,409 running: false,410 session: true,411 up: true412 },413 "w2" ->414 {415 attached: Set(),416 built: false,417 expecting: false,418 running: false,419 session: true,420 up: true421 }422 )423}424425[State 11]426{427 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),428 schedFixed::scheduler::crashes: 2,429 schedFixed::scheduler::entry: [],430 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),431 schedFixed::scheduler::mAssigned: Set(),432 schedFixed::scheduler::mBuild: Set(),433 schedFixed::scheduler::mDone: Set(),434 schedFixed::scheduler::mExpect: Set(),435 schedFixed::scheduler::mResult: Set(),436 schedFixed::scheduler::mRetry: Set(),437 schedFixed::scheduler::mSchedule: Set("c1", "c2"),438 schedFixed::scheduler::published: 0,439 schedFixed::scheduler::publishedBy: Set(),440 schedFixed::scheduler::ws:441 Map(442 "w1" ->443 {444 attached: Set(),445 built: false,446 expecting: false,447 running: false,448 session: true,449 up: true450 },451 "w2" ->452 {453 attached: Set(),454 built: false,455 expecting: false,456 running: false,457 session: true,458 up: true459 }460 )461}462463[State 12]464{465 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),466 schedFixed::scheduler::crashes: 2,467 schedFixed::scheduler::entry:468 [{ followers: Set("c2"), leased: true, worker: "w1" }],469 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),470 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),471 schedFixed::scheduler::mBuild: Set(),472 schedFixed::scheduler::mDone: Set(),473 schedFixed::scheduler::mExpect: Set("w1"),474 schedFixed::scheduler::mResult: Set(),475 schedFixed::scheduler::mRetry: Set(),476 schedFixed::scheduler::mSchedule: Set("c1"),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("c1", "c2"), leased: true, worker: "w1" }],508 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),509 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),510 schedFixed::scheduler::mBuild: Set(),511 schedFixed::scheduler::mDone: Set(),512 schedFixed::scheduler::mExpect: Set("w1"),513 schedFixed::scheduler::mResult: Set(),514 schedFixed::scheduler::mRetry: Set(),515 schedFixed::scheduler::mSchedule: Set(),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" -> CSent("w1")),544 schedFixed::scheduler::crashes: 2,545 schedFixed::scheduler::entry:546 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],547 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),548 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),549 schedFixed::scheduler::mBuild: Set(("c2", "w1")),550 schedFixed::scheduler::mDone: Set(),551 schedFixed::scheduler::mExpect: Set("w1"),552 schedFixed::scheduler::mResult: Set(),553 schedFixed::scheduler::mRetry: Set(),554 schedFixed::scheduler::mSchedule: Set(),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" -> CSent("w1"), "c2" -> CSent("w1")),583 schedFixed::scheduler::crashes: 2,584 schedFixed::scheduler::entry:585 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],586 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),587 schedFixed::scheduler::mAssigned: Set(),588 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),589 schedFixed::scheduler::mDone: Set(),590 schedFixed::scheduler::mExpect: Set("w1"),591 schedFixed::scheduler::mResult: Set(),592 schedFixed::scheduler::mRetry: Set(),593 schedFixed::scheduler::mSchedule: Set(),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" -> CSent("w1"), "c2" -> CSent("w1")),622 schedFixed::scheduler::crashes: 2,623 schedFixed::scheduler::entry:624 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],625 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),626 schedFixed::scheduler::mAssigned: Set(),627 schedFixed::scheduler::mBuild: Set(("c2", "w1")),628 schedFixed::scheduler::mDone: Set(),629 schedFixed::scheduler::mExpect: Set("w1"),630 schedFixed::scheduler::mResult: Set(),631 schedFixed::scheduler::mRetry: Set("c1"),632 schedFixed::scheduler::mSchedule: Set(),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" -> CSent("w1"), "c2" -> CSent("w1")),661 schedFixed::scheduler::crashes: 2,662 schedFixed::scheduler::entry:663 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],664 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),665 schedFixed::scheduler::mAssigned: Set(),666 schedFixed::scheduler::mBuild: Set(),667 schedFixed::scheduler::mDone: Set(),668 schedFixed::scheduler::mExpect: Set("w1"),669 schedFixed::scheduler::mResult: Set(),670 schedFixed::scheduler::mRetry: Set("c1", "c2"),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" -> CSent("w1"), "c2" -> CQueued),700 schedFixed::scheduler::crashes: 2,701 schedFixed::scheduler::entry:702 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],703 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),704 schedFixed::scheduler::mAssigned: Set(),705 schedFixed::scheduler::mBuild: Set(),706 schedFixed::scheduler::mDone: Set(),707 schedFixed::scheduler::mExpect: Set("w1"),708 schedFixed::scheduler::mResult: Set(),709 schedFixed::scheduler::mRetry: Set("c1"),710 schedFixed::scheduler::mSchedule: Set("c2"),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" -> CSent("w1"), "c2" -> CQueued),739 schedFixed::scheduler::crashes: 2,740 schedFixed::scheduler::entry:741 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],742 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),743 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),744 schedFixed::scheduler::mBuild: Set(),745 schedFixed::scheduler::mDone: Set(),746 schedFixed::scheduler::mExpect: Set("w1"),747 schedFixed::scheduler::mResult: Set(),748 schedFixed::scheduler::mRetry: Set("c1"),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" -> CSent("w1"), "c2" -> CSent("w1")),778 schedFixed::scheduler::crashes: 2,779 schedFixed::scheduler::entry:780 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],781 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),782 schedFixed::scheduler::mAssigned: Set(),783 schedFixed::scheduler::mBuild: Set(("c2", "w1")),784 schedFixed::scheduler::mDone: Set(),785 schedFixed::scheduler::mExpect: Set("w1"),786 schedFixed::scheduler::mResult: Set(),787 schedFixed::scheduler::mRetry: Set("c1"),788 schedFixed::scheduler::mSchedule: Set(),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" -> CSent("w1")),817 schedFixed::scheduler::crashes: 2,818 schedFixed::scheduler::entry:819 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],820 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),821 schedFixed::scheduler::mAssigned: Set(),822 schedFixed::scheduler::mBuild: Set(("c2", "w1")),823 schedFixed::scheduler::mDone: Set(),824 schedFixed::scheduler::mExpect: Set("w1"),825 schedFixed::scheduler::mResult: Set(),826 schedFixed::scheduler::mRetry: Set(),827 schedFixed::scheduler::mSchedule: Set("c1"),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" -> CQueued, "c2" -> CSent("w1")),856 schedFixed::scheduler::crashes: 2,857 schedFixed::scheduler::entry:858 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],859 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),860 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),861 schedFixed::scheduler::mBuild: Set(("c2", "w1")),862 schedFixed::scheduler::mDone: Set(),863 schedFixed::scheduler::mExpect: Set("w1"),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" -> CQueued, "c2" -> CSent("w1")),895 schedFixed::scheduler::crashes: 2,896 schedFixed::scheduler::entry:897 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],898 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),899 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),900 schedFixed::scheduler::mBuild: Set(),901 schedFixed::scheduler::mDone: Set(),902 schedFixed::scheduler::mExpect: Set("w1"),903 schedFixed::scheduler::mResult: Set(),904 schedFixed::scheduler::mRetry: Set("c2"),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" -> CQueued, "c2" -> CSent("w1")),934 schedFixed::scheduler::crashes: 2,935 schedFixed::scheduler::entry:936 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],937 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),938 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),939 schedFixed::scheduler::mBuild: Set(),940 schedFixed::scheduler::mDone: Set(),941 schedFixed::scheduler::mExpect: Set(),942 schedFixed::scheduler::mResult: Set(),943 schedFixed::scheduler::mRetry: Set("c2"),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: true,954 running: true,955 session: true,956 up: true957 },958 "w2" ->959 {960 attached: Set(),961 built: false,962 expecting: false,963 running: false,964 session: true,965 up: true966 }967 )968}969970[State 25]971{972 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),973 schedFixed::scheduler::crashes: 2,974 schedFixed::scheduler::entry:975 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],976 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),977 schedFixed::scheduler::mAssigned: Set(),978 schedFixed::scheduler::mBuild: Set(("c1", "w1")),979 schedFixed::scheduler::mDone: Set(),980 schedFixed::scheduler::mExpect: Set(),981 schedFixed::scheduler::mResult: Set(),982 schedFixed::scheduler::mRetry: Set("c2"),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: true,993 running: true,994 session: true,995 up: true996 },997 "w2" ->998 {999 attached: Set(),1000 built: false,1001 expecting: false,1002 running: false,1003 session: true,1004 up: true1005 }1006 )1007}10081009[State 26]1010{1011 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1012 schedFixed::scheduler::crashes: 2,1013 schedFixed::scheduler::entry:1014 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1015 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1016 schedFixed::scheduler::mAssigned: Set(),1017 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1018 schedFixed::scheduler::mDone: Set("w1"),1019 schedFixed::scheduler::mExpect: Set(),1020 schedFixed::scheduler::mResult: Set(),1021 schedFixed::scheduler::mRetry: Set("c2"),1022 schedFixed::scheduler::mSchedule: Set(),1023 schedFixed::scheduler::published: 1,1024 schedFixed::scheduler::publishedBy: Set("w1"),1025 schedFixed::scheduler::ws:1026 Map(1027 "w1" ->1028 {1029 attached: Set(),1030 built: true,1031 expecting: false,1032 running: false,1033 session: true,1034 up: true1035 },1036 "w2" ->1037 {1038 attached: Set(),1039 built: false,1040 expecting: false,1041 running: false,1042 session: true,1043 up: true1044 }1045 )1046}10471048[State 27]1049{1050 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1051 schedFixed::scheduler::crashes: 2,1052 schedFixed::scheduler::entry:1053 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1054 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1055 schedFixed::scheduler::mAssigned: Set(),1056 schedFixed::scheduler::mBuild: Set(),1057 schedFixed::scheduler::mDone: Set("w1"),1058 schedFixed::scheduler::mExpect: Set(),1059 schedFixed::scheduler::mResult: Set("c1"),1060 schedFixed::scheduler::mRetry: Set("c2"),1061 schedFixed::scheduler::mSchedule: Set(),1062 schedFixed::scheduler::published: 1,1063 schedFixed::scheduler::publishedBy: Set("w1"),1064 schedFixed::scheduler::ws:1065 Map(1066 "w1" ->1067 {1068 attached: Set(),1069 built: true,1070 expecting: false,1071 running: false,1072 session: true,1073 up: true1074 },1075 "w2" ->1076 {1077 attached: Set(),1078 built: false,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("w1")),1090 schedFixed::scheduler::crashes: 2,1091 schedFixed::scheduler::entry:1092 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1093 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1094 schedFixed::scheduler::mAssigned: Set(),1095 schedFixed::scheduler::mBuild: Set(),1096 schedFixed::scheduler::mDone: Set("w1"),1097 schedFixed::scheduler::mExpect: Set(),1098 schedFixed::scheduler::mResult: Set(),1099 schedFixed::scheduler::mRetry: Set("c2"),1100 schedFixed::scheduler::mSchedule: Set(),1101 schedFixed::scheduler::published: 1,1102 schedFixed::scheduler::publishedBy: Set("w1"),1103 schedFixed::scheduler::ws:1104 Map(1105 "w1" ->1106 {1107 attached: Set(),1108 built: true,1109 expecting: false,1110 running: false,1111 session: true,1112 up: true1113 },1114 "w2" ->1115 {1116 attached: Set(),1117 built: false,1118 expecting: false,1119 running: false,1120 session: true,1121 up: true1122 }1123 )1124}11251126[State 29]1127{1128 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w1")),1129 schedFixed::scheduler::crashes: 2,1130 schedFixed::scheduler::entry: [],1131 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1132 schedFixed::scheduler::mAssigned: Set(),1133 schedFixed::scheduler::mBuild: Set(),1134 schedFixed::scheduler::mDone: Set(),1135 schedFixed::scheduler::mExpect: Set(),1136 schedFixed::scheduler::mResult: Set(),1137 schedFixed::scheduler::mRetry: Set("c2"),1138 schedFixed::scheduler::mSchedule: Set(),1139 schedFixed::scheduler::published: 1,1140 schedFixed::scheduler::publishedBy: Set("w1"),1141 schedFixed::scheduler::ws:1142 Map(1143 "w1" ->1144 {1145 attached: Set(),1146 built: true,1147 expecting: false,1148 running: false,1149 session: true,1150 up: true1151 },1152 "w2" ->1153 {1154 attached: Set(),1155 built: false,1156 expecting: false,1157 running: false,1158 session: true,1159 up: true1160 }1161 )1162}11631164[State 30]1165{1166 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),1167 schedFixed::scheduler::crashes: 2,1168 schedFixed::scheduler::entry: [],1169 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1170 schedFixed::scheduler::mAssigned: Set(),1171 schedFixed::scheduler::mBuild: Set(),1172 schedFixed::scheduler::mDone: Set(),1173 schedFixed::scheduler::mExpect: Set(),1174 schedFixed::scheduler::mResult: Set(),1175 schedFixed::scheduler::mRetry: Set(),1176 schedFixed::scheduler::mSchedule: Set("c2"),1177 schedFixed::scheduler::published: 1,1178 schedFixed::scheduler::publishedBy: Set("w1"),1179 schedFixed::scheduler::ws:1180 Map(1181 "w1" ->1182 {1183 attached: Set(),1184 built: true,1185 expecting: false,1186 running: false,1187 session: true,1188 up: true1189 },1190 "w2" ->1191 {1192 attached: Set(),1193 built: false,1194 expecting: false,1195 running: false,1196 session: true,1197 up: true1198 }1199 )1200}12011202[ok] No violation found (480ms at 62500 traces/second).1203Trace length statistics: max=26, min=15, average=18.451204You may increase --max-samples and --max-steps.1205Use --verbosity to produce more (or less) output.1206Use --seed=0xec859a2e53e4fa8a --backend=rust to reproduce.1207An example execution:12081209[State 0]1210{1211 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1212 schedFixed::scheduler::crashes: 0,1213 schedFixed::scheduler::entry: [],1214 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1215 schedFixed::scheduler::mAssigned: Set(),1216 schedFixed::scheduler::mBuild: Set(),1217 schedFixed::scheduler::mDone: Set(),1218 schedFixed::scheduler::mExpect: Set(),1219 schedFixed::scheduler::mResult: Set(),1220 schedFixed::scheduler::mRetry: Set(),1221 schedFixed::scheduler::mSchedule: Set(),1222 schedFixed::scheduler::published: 0,1223 schedFixed::scheduler::publishedBy: Set(),1224 schedFixed::scheduler::ws:1225 Map(1226 "w1" ->1227 {1228 attached: Set(),1229 built: false,1230 expecting: false,1231 running: false,1232 session: true,1233 up: true1234 },1235 "w2" ->1236 {1237 attached: Set(),1238 built: false,1239 expecting: false,1240 running: false,1241 session: true,1242 up: true1243 }1244 )1245}12461247[State 1]1248{1249 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1250 schedFixed::scheduler::crashes: 0,1251 schedFixed::scheduler::entry: [],1252 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1253 schedFixed::scheduler::mAssigned: Set(),1254 schedFixed::scheduler::mBuild: Set(),1255 schedFixed::scheduler::mDone: Set(),1256 schedFixed::scheduler::mExpect: Set(),1257 schedFixed::scheduler::mResult: Set(),1258 schedFixed::scheduler::mRetry: Set(),1259 schedFixed::scheduler::mSchedule: Set("c2"),1260 schedFixed::scheduler::published: 0,1261 schedFixed::scheduler::publishedBy: Set(),1262 schedFixed::scheduler::ws:1263 Map(1264 "w1" ->1265 {1266 attached: Set(),1267 built: false,1268 expecting: false,1269 running: false,1270 session: true,1271 up: true1272 },1273 "w2" ->1274 {1275 attached: Set(),1276 built: false,1277 expecting: false,1278 running: false,1279 session: true,1280 up: true1281 }1282 )1283}12841285[State 2]1286{1287 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1288 schedFixed::scheduler::crashes: 0,1289 schedFixed::scheduler::entry: [],1290 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1291 schedFixed::scheduler::mAssigned: Set(),1292 schedFixed::scheduler::mBuild: Set(),1293 schedFixed::scheduler::mDone: Set(),1294 schedFixed::scheduler::mExpect: Set(),1295 schedFixed::scheduler::mResult: Set(),1296 schedFixed::scheduler::mRetry: Set(),1297 schedFixed::scheduler::mSchedule: Set("c1", "c2"),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" -> CQueued, "c2" -> CQueued),1326 schedFixed::scheduler::crashes: 1,1327 schedFixed::scheduler::entry: [],1328 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1329 schedFixed::scheduler::mAssigned: Set(),1330 schedFixed::scheduler::mBuild: Set(),1331 schedFixed::scheduler::mDone: Set(),1332 schedFixed::scheduler::mExpect: Set(),1333 schedFixed::scheduler::mResult: Set(),1334 schedFixed::scheduler::mRetry: Set(),1335 schedFixed::scheduler::mSchedule: Set("c1", "c2"),1336 schedFixed::scheduler::published: 0,1337 schedFixed::scheduler::publishedBy: Set(),1338 schedFixed::scheduler::ws:1339 Map(1340 "w1" ->1341 {1342 attached: Set(),1343 built: false,1344 expecting: false,1345 running: false,1346 session: true,1347 up: true1348 },1349 "w2" ->1350 {1351 attached: Set(),1352 built: false,1353 expecting: false,1354 running: false,1355 session: false,1356 up: false1357 }1358 )1359}13601361[State 4]1362{1363 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1364 schedFixed::scheduler::crashes: 1,1365 schedFixed::scheduler::entry:1366 [{ followers: Set("c2"), leased: true, worker: "w1" }],1367 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1368 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1369 schedFixed::scheduler::mBuild: Set(),1370 schedFixed::scheduler::mDone: Set(),1371 schedFixed::scheduler::mExpect: Set("w1"),1372 schedFixed::scheduler::mResult: Set(),1373 schedFixed::scheduler::mRetry: Set(),1374 schedFixed::scheduler::mSchedule: Set("c1"),1375 schedFixed::scheduler::published: 0,1376 schedFixed::scheduler::publishedBy: Set(),1377 schedFixed::scheduler::ws:1378 Map(1379 "w1" ->1380 {1381 attached: Set(),1382 built: false,1383 expecting: false,1384 running: false,1385 session: true,1386 up: true1387 },1388 "w2" ->1389 {1390 attached: Set(),1391 built: false,1392 expecting: false,1393 running: false,1394 session: false,1395 up: false1396 }1397 )1398}13991400[State 5]1401{1402 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1403 schedFixed::scheduler::crashes: 1,1404 schedFixed::scheduler::entry:1405 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1406 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1407 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1408 schedFixed::scheduler::mBuild: Set(),1409 schedFixed::scheduler::mDone: Set(),1410 schedFixed::scheduler::mExpect: Set("w1"),1411 schedFixed::scheduler::mResult: Set(),1412 schedFixed::scheduler::mRetry: Set(),1413 schedFixed::scheduler::mSchedule: Set(),1414 schedFixed::scheduler::published: 0,1415 schedFixed::scheduler::publishedBy: Set(),1416 schedFixed::scheduler::ws:1417 Map(1418 "w1" ->1419 {1420 attached: Set(),1421 built: false,1422 expecting: false,1423 running: false,1424 session: true,1425 up: true1426 },1427 "w2" ->1428 {1429 attached: Set(),1430 built: false,1431 expecting: false,1432 running: false,1433 session: false,1434 up: false1435 }1436 )1437}14381439[State 6]1440{1441 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1442 schedFixed::scheduler::crashes: 2,1443 schedFixed::scheduler::entry:1444 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1445 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1446 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1447 schedFixed::scheduler::mBuild: Set(),1448 schedFixed::scheduler::mDone: Set(),1449 schedFixed::scheduler::mExpect: Set(),1450 schedFixed::scheduler::mResult: Set(),1451 schedFixed::scheduler::mRetry: Set(),1452 schedFixed::scheduler::mSchedule: Set(),1453 schedFixed::scheduler::published: 0,1454 schedFixed::scheduler::publishedBy: Set(),1455 schedFixed::scheduler::ws:1456 Map(1457 "w1" ->1458 {1459 attached: Set(),1460 built: false,1461 expecting: false,1462 running: false,1463 session: false,1464 up: false1465 },1466 "w2" ->1467 {1468 attached: Set(),1469 built: false,1470 expecting: false,1471 running: false,1472 session: false,1473 up: false1474 }1475 )1476}14771478[State 7]1479{1480 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1481 schedFixed::scheduler::crashes: 2,1482 schedFixed::scheduler::entry:1483 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1484 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1485 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1486 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1487 schedFixed::scheduler::mDone: Set(),1488 schedFixed::scheduler::mExpect: Set(),1489 schedFixed::scheduler::mResult: Set(),1490 schedFixed::scheduler::mRetry: Set(),1491 schedFixed::scheduler::mSchedule: Set(),1492 schedFixed::scheduler::published: 0,1493 schedFixed::scheduler::publishedBy: Set(),1494 schedFixed::scheduler::ws:1495 Map(1496 "w1" ->1497 {1498 attached: Set(),1499 built: false,1500 expecting: false,1501 running: false,1502 session: false,1503 up: false1504 },1505 "w2" ->1506 {1507 attached: Set(),1508 built: false,1509 expecting: false,1510 running: false,1511 session: false,1512 up: false1513 }1514 )1515}15161517[State 8]1518{1519 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1520 schedFixed::scheduler::crashes: 2,1521 schedFixed::scheduler::entry:1522 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1523 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1524 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1525 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1526 schedFixed::scheduler::mDone: Set(),1527 schedFixed::scheduler::mExpect: Set(),1528 schedFixed::scheduler::mResult: Set(),1529 schedFixed::scheduler::mRetry: Set(),1530 schedFixed::scheduler::mSchedule: Set(),1531 schedFixed::scheduler::published: 0,1532 schedFixed::scheduler::publishedBy: Set(),1533 schedFixed::scheduler::ws:1534 Map(1535 "w1" ->1536 {1537 attached: Set(),1538 built: false,1539 expecting: false,1540 running: false,1541 session: false,1542 up: false1543 },1544 "w2" ->1545 {1546 attached: Set(),1547 built: false,1548 expecting: false,1549 running: false,1550 session: true,1551 up: true1552 }1553 )1554}15551556[State 9]1557{1558 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1559 schedFixed::scheduler::crashes: 2,1560 schedFixed::scheduler::entry: [],1561 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1562 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1563 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1564 schedFixed::scheduler::mDone: Set(),1565 schedFixed::scheduler::mExpect: Set(),1566 schedFixed::scheduler::mResult: Set(),1567 schedFixed::scheduler::mRetry: Set("c1", "c2"),1568 schedFixed::scheduler::mSchedule: Set(),1569 schedFixed::scheduler::published: 0,1570 schedFixed::scheduler::publishedBy: Set(),1571 schedFixed::scheduler::ws:1572 Map(1573 "w1" ->1574 {1575 attached: Set(),1576 built: false,1577 expecting: false,1578 running: false,1579 session: false,1580 up: false1581 },1582 "w2" ->1583 {1584 attached: Set(),1585 built: false,1586 expecting: false,1587 running: false,1588 session: true,1589 up: true1590 }1591 )1592}15931594[State 10]1595{1596 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1597 schedFixed::scheduler::crashes: 2,1598 schedFixed::scheduler::entry: [],1599 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1600 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1601 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1602 schedFixed::scheduler::mDone: Set(),1603 schedFixed::scheduler::mExpect: Set(),1604 schedFixed::scheduler::mResult: Set(),1605 schedFixed::scheduler::mRetry: Set("c1"),1606 schedFixed::scheduler::mSchedule: Set("c2"),1607 schedFixed::scheduler::published: 0,1608 schedFixed::scheduler::publishedBy: Set(),1609 schedFixed::scheduler::ws:1610 Map(1611 "w1" ->1612 {1613 attached: Set(),1614 built: false,1615 expecting: false,1616 running: false,1617 session: false,1618 up: false1619 },1620 "w2" ->1621 {1622 attached: Set(),1623 built: false,1624 expecting: false,1625 running: false,1626 session: true,1627 up: true1628 }1629 )1630}16311632[State 11]1633{1634 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1635 schedFixed::scheduler::crashes: 2,1636 schedFixed::scheduler::entry: [],1637 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1638 schedFixed::scheduler::mAssigned: Set(),1639 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1640 schedFixed::scheduler::mDone: Set(),1641 schedFixed::scheduler::mExpect: Set(),1642 schedFixed::scheduler::mResult: Set(),1643 schedFixed::scheduler::mRetry: Set(),1644 schedFixed::scheduler::mSchedule: Set("c1", "c2"),1645 schedFixed::scheduler::published: 0,1646 schedFixed::scheduler::publishedBy: Set(),1647 schedFixed::scheduler::ws:1648 Map(1649 "w1" ->1650 {1651 attached: Set(),1652 built: false,1653 expecting: false,1654 running: false,1655 session: false,1656 up: false1657 },1658 "w2" ->1659 {1660 attached: Set(),1661 built: false,1662 expecting: false,1663 running: false,1664 session: true,1665 up: true1666 }1667 )1668}16691670[State 12]1671{1672 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1673 schedFixed::scheduler::crashes: 2,1674 schedFixed::scheduler::entry:1675 [{ followers: Set("c1"), leased: true, worker: "w2" }],1676 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1677 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1678 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1679 schedFixed::scheduler::mDone: Set(),1680 schedFixed::scheduler::mExpect: Set("w2"),1681 schedFixed::scheduler::mResult: Set(),1682 schedFixed::scheduler::mRetry: Set(),1683 schedFixed::scheduler::mSchedule: Set("c2"),1684 schedFixed::scheduler::published: 0,1685 schedFixed::scheduler::publishedBy: Set(),1686 schedFixed::scheduler::ws:1687 Map(1688 "w1" ->1689 {1690 attached: Set(),1691 built: false,1692 expecting: false,1693 running: false,1694 session: false,1695 up: false1696 },1697 "w2" ->1698 {1699 attached: Set(),1700 built: false,1701 expecting: false,1702 running: false,1703 session: true,1704 up: true1705 }1706 )1707}17081709[State 13]1710{1711 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1712 schedFixed::scheduler::crashes: 2,1713 schedFixed::scheduler::entry:1714 [{ followers: Set("c1"), leased: true, worker: "w2" }],1715 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1716 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1717 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1718 schedFixed::scheduler::mDone: Set(),1719 schedFixed::scheduler::mExpect: Set("w2"),1720 schedFixed::scheduler::mResult: Set(),1721 schedFixed::scheduler::mRetry: Set(),1722 schedFixed::scheduler::mSchedule: Set("c2"),1723 schedFixed::scheduler::published: 0,1724 schedFixed::scheduler::publishedBy: Set(),1725 schedFixed::scheduler::ws:1726 Map(1727 "w1" ->1728 {1729 attached: Set(),1730 built: false,1731 expecting: false,1732 running: false,1733 session: true,1734 up: true1735 },1736 "w2" ->1737 {1738 attached: Set(),1739 built: false,1740 expecting: false,1741 running: false,1742 session: true,1743 up: true1744 }1745 )1746}17471748[State 14]1749{1750 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1751 schedFixed::scheduler::crashes: 2,1752 schedFixed::scheduler::entry:1753 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1754 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1755 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1756 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1757 schedFixed::scheduler::mDone: Set(),1758 schedFixed::scheduler::mExpect: Set("w2"),1759 schedFixed::scheduler::mResult: Set(),1760 schedFixed::scheduler::mRetry: Set(),1761 schedFixed::scheduler::mSchedule: Set(),1762 schedFixed::scheduler::published: 0,1763 schedFixed::scheduler::publishedBy: Set(),1764 schedFixed::scheduler::ws:1765 Map(1766 "w1" ->1767 {1768 attached: Set(),1769 built: false,1770 expecting: false,1771 running: false,1772 session: true,1773 up: true1774 },1775 "w2" ->1776 {1777 attached: Set(),1778 built: false,1779 expecting: false,1780 running: false,1781 session: true,1782 up: true1783 }1784 )1785}17861787[State 15]1788{1789 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1790 schedFixed::scheduler::crashes: 2,1791 schedFixed::scheduler::entry:1792 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1793 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1794 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1795 schedFixed::scheduler::mBuild: Set(),1796 schedFixed::scheduler::mDone: Set(),1797 schedFixed::scheduler::mExpect: Set("w2"),1798 schedFixed::scheduler::mResult: Set(),1799 schedFixed::scheduler::mRetry: Set("c2"),1800 schedFixed::scheduler::mSchedule: Set(),1801 schedFixed::scheduler::published: 0,1802 schedFixed::scheduler::publishedBy: Set(),1803 schedFixed::scheduler::ws:1804 Map(1805 "w1" ->1806 {1807 attached: Set(),1808 built: false,1809 expecting: false,1810 running: false,1811 session: true,1812 up: true1813 },1814 "w2" ->1815 {1816 attached: Set(),1817 built: false,1818 expecting: false,1819 running: false,1820 session: true,1821 up: true1822 }1823 )1824}18251826[State 16]1827{1828 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1829 schedFixed::scheduler::crashes: 2,1830 schedFixed::scheduler::entry:1831 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1832 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1833 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1834 schedFixed::scheduler::mBuild: Set(("c1", "w2")),1835 schedFixed::scheduler::mDone: Set(),1836 schedFixed::scheduler::mExpect: Set("w2"),1837 schedFixed::scheduler::mResult: Set(),1838 schedFixed::scheduler::mRetry: Set("c2"),1839 schedFixed::scheduler::mSchedule: Set(),1840 schedFixed::scheduler::published: 0,1841 schedFixed::scheduler::publishedBy: Set(),1842 schedFixed::scheduler::ws:1843 Map(1844 "w1" ->1845 {1846 attached: Set(),1847 built: false,1848 expecting: false,1849 running: false,1850 session: true,1851 up: true1852 },1853 "w2" ->1854 {1855 attached: Set(),1856 built: false,1857 expecting: false,1858 running: false,1859 session: true,1860 up: true1861 }1862 )1863}18641865[State 17]1866{1867 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1868 schedFixed::scheduler::crashes: 2,1869 schedFixed::scheduler::entry:1870 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1871 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1872 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1873 schedFixed::scheduler::mBuild: Set(),1874 schedFixed::scheduler::mDone: Set(),1875 schedFixed::scheduler::mExpect: Set("w2"),1876 schedFixed::scheduler::mResult: Set(),1877 schedFixed::scheduler::mRetry: Set("c1", "c2"),1878 schedFixed::scheduler::mSchedule: Set(),1879 schedFixed::scheduler::published: 0,1880 schedFixed::scheduler::publishedBy: Set(),1881 schedFixed::scheduler::ws:1882 Map(1883 "w1" ->1884 {1885 attached: Set(),1886 built: false,1887 expecting: false,1888 running: false,1889 session: true,1890 up: true1891 },1892 "w2" ->1893 {1894 attached: Set(),1895 built: false,1896 expecting: false,1897 running: false,1898 session: true,1899 up: true1900 }1901 )1902}19031904[State 18]1905{1906 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1907 schedFixed::scheduler::crashes: 2,1908 schedFixed::scheduler::entry:1909 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1910 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1911 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1912 schedFixed::scheduler::mBuild: Set(),1913 schedFixed::scheduler::mDone: Set(),1914 schedFixed::scheduler::mExpect: Set("w2"),1915 schedFixed::scheduler::mResult: Set(),1916 schedFixed::scheduler::mRetry: Set("c2"),1917 schedFixed::scheduler::mSchedule: Set("c1"),1918 schedFixed::scheduler::published: 0,1919 schedFixed::scheduler::publishedBy: Set(),1920 schedFixed::scheduler::ws:1921 Map(1922 "w1" ->1923 {1924 attached: Set(),1925 built: false,1926 expecting: false,1927 running: false,1928 session: true,1929 up: true1930 },1931 "w2" ->1932 {1933 attached: Set(),1934 built: false,1935 expecting: false,1936 running: false,1937 session: true,1938 up: true1939 }1940 )1941}19421943[State 19]1944{1945 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1946 schedFixed::scheduler::crashes: 2,1947 schedFixed::scheduler::entry:1948 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1949 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1950 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1951 schedFixed::scheduler::mBuild: Set(),1952 schedFixed::scheduler::mDone: Set(),1953 schedFixed::scheduler::mExpect: Set("w2"),1954 schedFixed::scheduler::mResult: Set(),1955 schedFixed::scheduler::mRetry: Set("c2"),1956 schedFixed::scheduler::mSchedule: Set(),1957 schedFixed::scheduler::published: 0,1958 schedFixed::scheduler::publishedBy: Set(),1959 schedFixed::scheduler::ws:1960 Map(1961 "w1" ->1962 {1963 attached: Set(),1964 built: false,1965 expecting: false,1966 running: false,1967 session: true,1968 up: true1969 },1970 "w2" ->1971 {1972 attached: Set(),1973 built: false,1974 expecting: false,1975 running: false,1976 session: true,1977 up: true1978 }1979 )1980}19811982[State 20]1983{1984 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1985 schedFixed::scheduler::crashes: 2,1986 schedFixed::scheduler::entry:1987 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1988 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1989 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1990 schedFixed::scheduler::mBuild: Set(),1991 schedFixed::scheduler::mDone: Set(),1992 schedFixed::scheduler::mExpect: Set("w2"),1993 schedFixed::scheduler::mResult: Set(),1994 schedFixed::scheduler::mRetry: Set(),1995 schedFixed::scheduler::mSchedule: Set("c2"),1996 schedFixed::scheduler::published: 0,1997 schedFixed::scheduler::publishedBy: Set(),1998 schedFixed::scheduler::ws:1999 Map(2000 "w1" ->2001 {2002 attached: Set(),2003 built: false,2004 expecting: false,2005 running: false,2006 session: true,2007 up: true2008 },2009 "w2" ->2010 {2011 attached: Set(),2012 built: false,2013 expecting: false,2014 running: false,2015 session: true,2016 up: true2017 }2018 )2019}20202021[State 21]2022{2023 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2024 schedFixed::scheduler::crashes: 2,2025 schedFixed::scheduler::entry:2026 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2027 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2028 schedFixed::scheduler::mAssigned: Set(),2029 schedFixed::scheduler::mBuild: Set(("c1", "w2")),2030 schedFixed::scheduler::mDone: Set(),2031 schedFixed::scheduler::mExpect: Set("w2"),2032 schedFixed::scheduler::mResult: Set(),2033 schedFixed::scheduler::mRetry: Set(),2034 schedFixed::scheduler::mSchedule: Set("c2"),2035 schedFixed::scheduler::published: 0,2036 schedFixed::scheduler::publishedBy: Set(),2037 schedFixed::scheduler::ws:2038 Map(2039 "w1" ->2040 {2041 attached: Set(),2042 built: false,2043 expecting: false,2044 running: false,2045 session: true,2046 up: true2047 },2048 "w2" ->2049 {2050 attached: Set(),2051 built: false,2052 expecting: false,2053 running: false,2054 session: true,2055 up: true2056 }2057 )2058}20592060[State 22]2061{2062 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2063 schedFixed::scheduler::crashes: 2,2064 schedFixed::scheduler::entry:2065 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2066 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2067 schedFixed::scheduler::mAssigned: Set(),2068 schedFixed::scheduler::mBuild: Set(("c1", "w2")),2069 schedFixed::scheduler::mDone: Set(),2070 schedFixed::scheduler::mExpect: Set(),2071 schedFixed::scheduler::mResult: Set(),2072 schedFixed::scheduler::mRetry: Set(),2073 schedFixed::scheduler::mSchedule: Set("c2"),2074 schedFixed::scheduler::published: 0,2075 schedFixed::scheduler::publishedBy: Set(),2076 schedFixed::scheduler::ws:2077 Map(2078 "w1" ->2079 {2080 attached: Set(),2081 built: false,2082 expecting: false,2083 running: false,2084 session: true,2085 up: true2086 },2087 "w2" ->2088 {2089 attached: Set(),2090 built: false,2091 expecting: true,2092 running: true,2093 session: true,2094 up: true2095 }2096 )2097}20982099[State 23]2100{2101 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2102 schedFixed::scheduler::crashes: 2,2103 schedFixed::scheduler::entry:2104 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2105 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2106 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),2107 schedFixed::scheduler::mBuild: Set(("c1", "w2")),2108 schedFixed::scheduler::mDone: Set(),2109 schedFixed::scheduler::mExpect: Set(),2110 schedFixed::scheduler::mResult: Set(),2111 schedFixed::scheduler::mRetry: Set(),2112 schedFixed::scheduler::mSchedule: Set(),2113 schedFixed::scheduler::published: 0,2114 schedFixed::scheduler::publishedBy: Set(),2115 schedFixed::scheduler::ws:2116 Map(2117 "w1" ->2118 {2119 attached: Set(),2120 built: false,2121 expecting: false,2122 running: false,2123 session: true,2124 up: true2125 },2126 "w2" ->2127 {2128 attached: Set(),2129 built: false,2130 expecting: true,2131 running: true,2132 session: true,2133 up: true2134 }2135 )2136}21372138[State 24]2139{2140 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2141 schedFixed::scheduler::crashes: 2,2142 schedFixed::scheduler::entry:2143 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2144 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2145 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),2146 schedFixed::scheduler::mBuild: Set(("c1", "w2")),2147 schedFixed::scheduler::mDone: Set("w2"),2148 schedFixed::scheduler::mExpect: Set(),2149 schedFixed::scheduler::mResult: Set(),2150 schedFixed::scheduler::mRetry: Set(),2151 schedFixed::scheduler::mSchedule: Set(),2152 schedFixed::scheduler::published: 1,2153 schedFixed::scheduler::publishedBy: Set("w2"),2154 schedFixed::scheduler::ws:2155 Map(2156 "w1" ->2157 {2158 attached: Set(),2159 built: false,2160 expecting: false,2161 running: false,2162 session: true,2163 up: true2164 },2165 "w2" ->2166 {2167 attached: Set(),2168 built: true,2169 expecting: false,2170 running: false,2171 session: true,2172 up: true2173 }2174 )2175}21762177[State 25]2178{2179 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2180 schedFixed::scheduler::crashes: 2,2181 schedFixed::scheduler::entry:2182 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2183 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2184 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),2185 schedFixed::scheduler::mBuild: Set(),2186 schedFixed::scheduler::mDone: Set("w2"),2187 schedFixed::scheduler::mExpect: Set(),2188 schedFixed::scheduler::mResult: Set("c1"),2189 schedFixed::scheduler::mRetry: Set(),2190 schedFixed::scheduler::mSchedule: Set(),2191 schedFixed::scheduler::published: 1,2192 schedFixed::scheduler::publishedBy: Set("w2"),2193 schedFixed::scheduler::ws:2194 Map(2195 "w1" ->2196 {2197 attached: Set(),2198 built: false,2199 expecting: false,2200 running: false,2201 session: true,2202 up: true2203 },2204 "w2" ->2205 {2206 attached: Set(),2207 built: true,2208 expecting: false,2209 running: false,2210 session: true,2211 up: true2212 }2213 )2214}22152216[State 26]2217{2218 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2219 schedFixed::scheduler::crashes: 2,2220 schedFixed::scheduler::entry:2221 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2222 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2223 schedFixed::scheduler::mAssigned: Set(),2224 schedFixed::scheduler::mBuild: Set(("c2", "w2")),2225 schedFixed::scheduler::mDone: Set("w2"),2226 schedFixed::scheduler::mExpect: Set(),2227 schedFixed::scheduler::mResult: Set("c1"),2228 schedFixed::scheduler::mRetry: Set(),2229 schedFixed::scheduler::mSchedule: Set(),2230 schedFixed::scheduler::published: 1,2231 schedFixed::scheduler::publishedBy: Set("w2"),2232 schedFixed::scheduler::ws:2233 Map(2234 "w1" ->2235 {2236 attached: Set(),2237 built: false,2238 expecting: false,2239 running: false,2240 session: true,2241 up: true2242 },2243 "w2" ->2244 {2245 attached: Set(),2246 built: true,2247 expecting: false,2248 running: false,2249 session: true,2250 up: true2251 }2252 )2253}22542255[State 27]2256{2257 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),2258 schedFixed::scheduler::crashes: 2,2259 schedFixed::scheduler::entry:2260 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2261 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),2262 schedFixed::scheduler::mAssigned: Set(),2263 schedFixed::scheduler::mBuild: Set(("c2", "w2")),2264 schedFixed::scheduler::mDone: Set("w2"),2265 schedFixed::scheduler::mExpect: Set(),2266 schedFixed::scheduler::mResult: Set(),2267 schedFixed::scheduler::mRetry: Set(),2268 schedFixed::scheduler::mSchedule: Set(),2269 schedFixed::scheduler::published: 1,2270 schedFixed::scheduler::publishedBy: Set("w2"),2271 schedFixed::scheduler::ws:2272 Map(2273 "w1" ->2274 {2275 attached: Set(),2276 built: false,2277 expecting: false,2278 running: false,2279 session: true,2280 up: true2281 },2282 "w2" ->2283 {2284 attached: Set(),2285 built: true,2286 expecting: false,2287 running: false,2288 session: true,2289 up: true2290 }2291 )2292}22932294[State 28]2295{2296 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),2297 schedFixed::scheduler::crashes: 2,2298 schedFixed::scheduler::entry: [],2299 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2300 schedFixed::scheduler::mAssigned: Set(),2301 schedFixed::scheduler::mBuild: Set(("c2", "w2")),2302 schedFixed::scheduler::mDone: Set(),2303 schedFixed::scheduler::mExpect: Set(),2304 schedFixed::scheduler::mResult: Set(),2305 schedFixed::scheduler::mRetry: Set(),2306 schedFixed::scheduler::mSchedule: Set(),2307 schedFixed::scheduler::published: 1,2308 schedFixed::scheduler::publishedBy: Set("w2"),2309 schedFixed::scheduler::ws:2310 Map(2311 "w1" ->2312 {2313 attached: Set(),2314 built: false,2315 expecting: false,2316 running: false,2317 session: true,2318 up: true2319 },2320 "w2" ->2321 {2322 attached: Set(),2323 built: true,2324 expecting: false,2325 running: false,2326 session: true,2327 up: true2328 }2329 )2330}23312332[State 29]2333{2334 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),2335 schedFixed::scheduler::crashes: 2,2336 schedFixed::scheduler::entry: [],2337 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2338 schedFixed::scheduler::mAssigned: Set(),2339 schedFixed::scheduler::mBuild: Set(),2340 schedFixed::scheduler::mDone: Set(),2341 schedFixed::scheduler::mExpect: Set(),2342 schedFixed::scheduler::mResult: Set("c2"),2343 schedFixed::scheduler::mRetry: Set(),2344 schedFixed::scheduler::mSchedule: Set(),2345 schedFixed::scheduler::published: 1,2346 schedFixed::scheduler::publishedBy: Set("w2"),2347 schedFixed::scheduler::ws:2348 Map(2349 "w1" ->2350 {2351 attached: Set(),2352 built: false,2353 expecting: false,2354 running: false,2355 session: true,2356 up: true2357 },2358 "w2" ->2359 {2360 attached: Set(),2361 built: true,2362 expecting: false,2363 running: false,2364 session: true,2365 up: true2366 }2367 )2368}23692370[State 30]2371{2372 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),2373 schedFixed::scheduler::crashes: 2,2374 schedFixed::scheduler::entry: [],2375 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2376 schedFixed::scheduler::mAssigned: Set(),2377 schedFixed::scheduler::mBuild: Set(),2378 schedFixed::scheduler::mDone: Set(),2379 schedFixed::scheduler::mExpect: Set(),2380 schedFixed::scheduler::mResult: Set(),2381 schedFixed::scheduler::mRetry: Set(),2382 schedFixed::scheduler::mSchedule: Set(),2383 schedFixed::scheduler::published: 1,2384 schedFixed::scheduler::publishedBy: Set("w2"),2385 schedFixed::scheduler::ws:2386 Map(2387 "w1" ->2388 {2389 attached: Set(),2390 built: false,2391 expecting: false,2392 running: false,2393 session: true,2394 up: true2395 },2396 "w2" ->2397 {2398 attached: Set(),2399 built: true,2400 expecting: false,2401 running: false,2402 session: true,2403 up: true2404 }2405 )2406}24072408[ok] No violation found (489ms at 61350 traces/second).2409Trace length statistics: max=31, min=16, average=19.402410You may increase --max-samples and --max-steps.2411Use --verbosity to produce more (or less) output.2412Use --seed=0x9a7416407e5e2ffd --backend=rust to reproduce.2413An example execution:24142415[State 0]2416{2417 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2418 schedNoFence::scheduler::crashes: 0,2419 schedNoFence::scheduler::entry: [],2420 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2421 schedNoFence::scheduler::mAssigned: Set(),2422 schedNoFence::scheduler::mBuild: Set(),2423 schedNoFence::scheduler::mDone: Set(),2424 schedNoFence::scheduler::mExpect: Set(),2425 schedNoFence::scheduler::mResult: Set(),2426 schedNoFence::scheduler::mRetry: Set(),2427 schedNoFence::scheduler::mSchedule: Set(),2428 schedNoFence::scheduler::published: 0,2429 schedNoFence::scheduler::publishedBy: Set(),2430 schedNoFence::scheduler::ws:2431 Map(2432 "w1" ->2433 {2434 attached: Set(),2435 built: false,2436 expecting: false,2437 running: false,2438 session: true,2439 up: true2440 },2441 "w2" ->2442 {2443 attached: Set(),2444 built: false,2445 expecting: false,2446 running: false,2447 session: true,2448 up: true2449 }2450 )2451}24522453[State 1]2454{2455 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2456 schedNoFence::scheduler::crashes: 1,2457 schedNoFence::scheduler::entry: [],2458 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2459 schedNoFence::scheduler::mAssigned: Set(),2460 schedNoFence::scheduler::mBuild: Set(),2461 schedNoFence::scheduler::mDone: Set(),2462 schedNoFence::scheduler::mExpect: Set(),2463 schedNoFence::scheduler::mResult: Set(),2464 schedNoFence::scheduler::mRetry: Set(),2465 schedNoFence::scheduler::mSchedule: Set(),2466 schedNoFence::scheduler::published: 0,2467 schedNoFence::scheduler::publishedBy: Set(),2468 schedNoFence::scheduler::ws:2469 Map(2470 "w1" ->2471 {2472 attached: Set(),2473 built: false,2474 expecting: false,2475 running: false,2476 session: false,2477 up: false2478 },2479 "w2" ->2480 {2481 attached: Set(),2482 built: false,2483 expecting: false,2484 running: false,2485 session: true,2486 up: true2487 }2488 )2489}24902491[State 2]2492{2493 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2494 schedNoFence::scheduler::crashes: 1,2495 schedNoFence::scheduler::entry: [],2496 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2497 schedNoFence::scheduler::mAssigned: Set(),2498 schedNoFence::scheduler::mBuild: Set(),2499 schedNoFence::scheduler::mDone: Set(),2500 schedNoFence::scheduler::mExpect: Set(),2501 schedNoFence::scheduler::mResult: Set(),2502 schedNoFence::scheduler::mRetry: Set(),2503 schedNoFence::scheduler::mSchedule: Set("c1"),2504 schedNoFence::scheduler::published: 0,2505 schedNoFence::scheduler::publishedBy: Set(),2506 schedNoFence::scheduler::ws:2507 Map(2508 "w1" ->2509 {2510 attached: Set(),2511 built: false,2512 expecting: false,2513 running: false,2514 session: false,2515 up: false2516 },2517 "w2" ->2518 {2519 attached: Set(),2520 built: false,2521 expecting: false,2522 running: false,2523 session: true,2524 up: true2525 }2526 )2527}25282529[State 3]2530{2531 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2532 schedNoFence::scheduler::crashes: 1,2533 schedNoFence::scheduler::entry:2534 [{ followers: Set("c1"), leased: true, worker: "w2" }],2535 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2536 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2537 schedNoFence::scheduler::mBuild: Set(),2538 schedNoFence::scheduler::mDone: Set(),2539 schedNoFence::scheduler::mExpect: Set("w2"),2540 schedNoFence::scheduler::mResult: Set(),2541 schedNoFence::scheduler::mRetry: Set(),2542 schedNoFence::scheduler::mSchedule: Set(),2543 schedNoFence::scheduler::published: 0,2544 schedNoFence::scheduler::publishedBy: Set(),2545 schedNoFence::scheduler::ws:2546 Map(2547 "w1" ->2548 {2549 attached: Set(),2550 built: false,2551 expecting: false,2552 running: false,2553 session: false,2554 up: false2555 },2556 "w2" ->2557 {2558 attached: Set(),2559 built: false,2560 expecting: false,2561 running: false,2562 session: true,2563 up: true2564 }2565 )2566}25672568[State 4]2569{2570 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2571 schedNoFence::scheduler::crashes: 1,2572 schedNoFence::scheduler::entry:2573 [{ followers: Set("c1"), leased: true, worker: "w2" }],2574 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2575 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2576 schedNoFence::scheduler::mBuild: Set(),2577 schedNoFence::scheduler::mDone: Set(),2578 schedNoFence::scheduler::mExpect: Set(),2579 schedNoFence::scheduler::mResult: Set(),2580 schedNoFence::scheduler::mRetry: Set(),2581 schedNoFence::scheduler::mSchedule: Set(),2582 schedNoFence::scheduler::published: 0,2583 schedNoFence::scheduler::publishedBy: Set(),2584 schedNoFence::scheduler::ws:2585 Map(2586 "w1" ->2587 {2588 attached: Set(),2589 built: false,2590 expecting: false,2591 running: false,2592 session: false,2593 up: false2594 },2595 "w2" ->2596 {2597 attached: Set(),2598 built: false,2599 expecting: true,2600 running: true,2601 session: true,2602 up: true2603 }2604 )2605}26062607[State 5]2608{2609 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2610 schedNoFence::scheduler::crashes: 2,2611 schedNoFence::scheduler::entry: [],2612 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2613 schedNoFence::scheduler::mAssigned: Set(),2614 schedNoFence::scheduler::mBuild: Set(),2615 schedNoFence::scheduler::mDone: Set(),2616 schedNoFence::scheduler::mExpect: Set(),2617 schedNoFence::scheduler::mResult: Set(),2618 schedNoFence::scheduler::mRetry: Set("c1"),2619 schedNoFence::scheduler::mSchedule: Set(),2620 schedNoFence::scheduler::published: 0,2621 schedNoFence::scheduler::publishedBy: Set(),2622 schedNoFence::scheduler::ws:2623 Map(2624 "w1" ->2625 {2626 attached: Set(),2627 built: false,2628 expecting: false,2629 running: false,2630 session: false,2631 up: false2632 },2633 "w2" ->2634 {2635 attached: Set(),2636 built: false,2637 expecting: true,2638 running: true,2639 session: false,2640 up: true2641 }2642 )2643}26442645[State 6]2646{2647 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2648 schedNoFence::scheduler::crashes: 2,2649 schedNoFence::scheduler::entry: [],2650 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2651 schedNoFence::scheduler::mAssigned: Set(),2652 schedNoFence::scheduler::mBuild: Set(),2653 schedNoFence::scheduler::mDone: Set(),2654 schedNoFence::scheduler::mExpect: Set(),2655 schedNoFence::scheduler::mResult: Set(),2656 schedNoFence::scheduler::mRetry: Set("c1"),2657 schedNoFence::scheduler::mSchedule: Set(),2658 schedNoFence::scheduler::published: 0,2659 schedNoFence::scheduler::publishedBy: Set(),2660 schedNoFence::scheduler::ws:2661 Map(2662 "w1" ->2663 {2664 attached: Set(),2665 built: false,2666 expecting: false,2667 running: false,2668 session: true,2669 up: true2670 },2671 "w2" ->2672 {2673 attached: Set(),2674 built: false,2675 expecting: true,2676 running: true,2677 session: false,2678 up: true2679 }2680 )2681}26822683[State 7]2684{2685 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2686 schedNoFence::scheduler::crashes: 2,2687 schedNoFence::scheduler::entry: [],2688 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2689 schedNoFence::scheduler::mAssigned: Set(),2690 schedNoFence::scheduler::mBuild: Set(),2691 schedNoFence::scheduler::mDone: Set(),2692 schedNoFence::scheduler::mExpect: Set(),2693 schedNoFence::scheduler::mResult: Set(),2694 schedNoFence::scheduler::mRetry: Set("c1"),2695 schedNoFence::scheduler::mSchedule: Set("c2"),2696 schedNoFence::scheduler::published: 0,2697 schedNoFence::scheduler::publishedBy: Set(),2698 schedNoFence::scheduler::ws:2699 Map(2700 "w1" ->2701 {2702 attached: Set(),2703 built: false,2704 expecting: false,2705 running: false,2706 session: true,2707 up: true2708 },2709 "w2" ->2710 {2711 attached: Set(),2712 built: false,2713 expecting: true,2714 running: true,2715 session: false,2716 up: true2717 }2718 )2719}27202721[State 8]2722{2723 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2724 schedNoFence::scheduler::crashes: 2,2725 schedNoFence::scheduler::entry:2726 [{ followers: Set("c2"), leased: true, worker: "w1" }],2727 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2728 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2729 schedNoFence::scheduler::mBuild: Set(),2730 schedNoFence::scheduler::mDone: Set(),2731 schedNoFence::scheduler::mExpect: Set("w1"),2732 schedNoFence::scheduler::mResult: Set(),2733 schedNoFence::scheduler::mRetry: Set("c1"),2734 schedNoFence::scheduler::mSchedule: Set(),2735 schedNoFence::scheduler::published: 0,2736 schedNoFence::scheduler::publishedBy: Set(),2737 schedNoFence::scheduler::ws:2738 Map(2739 "w1" ->2740 {2741 attached: Set(),2742 built: false,2743 expecting: false,2744 running: false,2745 session: true,2746 up: true2747 },2748 "w2" ->2749 {2750 attached: Set(),2751 built: false,2752 expecting: true,2753 running: true,2754 session: false,2755 up: true2756 }2757 )2758}27592760[State 9]2761{2762 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2763 schedNoFence::scheduler::crashes: 2,2764 schedNoFence::scheduler::entry:2765 [{ followers: Set("c2"), leased: true, worker: "w1" }],2766 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2767 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2768 schedNoFence::scheduler::mBuild: Set(),2769 schedNoFence::scheduler::mDone: Set(),2770 schedNoFence::scheduler::mExpect: Set(),2771 schedNoFence::scheduler::mResult: Set(),2772 schedNoFence::scheduler::mRetry: Set("c1"),2773 schedNoFence::scheduler::mSchedule: Set(),2774 schedNoFence::scheduler::published: 0,2775 schedNoFence::scheduler::publishedBy: Set(),2776 schedNoFence::scheduler::ws:2777 Map(2778 "w1" ->2779 {2780 attached: Set(),2781 built: false,2782 expecting: true,2783 running: true,2784 session: true,2785 up: true2786 },2787 "w2" ->2788 {2789 attached: Set(),2790 built: false,2791 expecting: true,2792 running: true,2793 session: false,2794 up: true2795 }2796 )2797}27982799[State 10]2800{2801 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2802 schedNoFence::scheduler::crashes: 2,2803 schedNoFence::scheduler::entry:2804 [{ followers: Set("c2"), leased: true, worker: "w1" }],2805 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2806 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2807 schedNoFence::scheduler::mBuild: Set(),2808 schedNoFence::scheduler::mDone: Set(),2809 schedNoFence::scheduler::mExpect: Set(),2810 schedNoFence::scheduler::mResult: Set(),2811 schedNoFence::scheduler::mRetry: Set("c1"),2812 schedNoFence::scheduler::mSchedule: Set(),2813 schedNoFence::scheduler::published: 0,2814 schedNoFence::scheduler::publishedBy: Set(),2815 schedNoFence::scheduler::ws:2816 Map(2817 "w1" ->2818 {2819 attached: Set(),2820 built: false,2821 expecting: true,2822 running: true,2823 session: true,2824 up: true2825 },2826 "w2" ->2827 {2828 attached: Set(),2829 built: false,2830 expecting: true,2831 running: true,2832 session: true,2833 up: true2834 }2835 )2836}28372838[State 11]2839{2840 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2841 schedNoFence::scheduler::crashes: 2,2842 schedNoFence::scheduler::entry:2843 [{ followers: Set("c2"), leased: true, worker: "w1" }],2844 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2845 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2846 schedNoFence::scheduler::mBuild: Set(),2847 schedNoFence::scheduler::mDone: Set("w2"),2848 schedNoFence::scheduler::mExpect: Set(),2849 schedNoFence::scheduler::mResult: Set(),2850 schedNoFence::scheduler::mRetry: Set("c1"),2851 schedNoFence::scheduler::mSchedule: Set(),2852 schedNoFence::scheduler::published: 1,2853 schedNoFence::scheduler::publishedBy: Set("w2"),2854 schedNoFence::scheduler::ws:2855 Map(2856 "w1" ->2857 {2858 attached: Set(),2859 built: false,2860 expecting: true,2861 running: true,2862 session: true,2863 up: true2864 },2865 "w2" ->2866 {2867 attached: Set(),2868 built: true,2869 expecting: false,2870 running: false,2871 session: true,2872 up: true2873 }2874 )2875}28762877[State 12]2878{2879 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2880 schedNoFence::scheduler::crashes: 2,2881 schedNoFence::scheduler::entry:2882 [{ followers: Set("c2"), leased: true, worker: "w1" }],2883 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 0),2884 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2885 schedNoFence::scheduler::mBuild: Set(),2886 schedNoFence::scheduler::mDone: Set("w1", "w2"),2887 schedNoFence::scheduler::mExpect: Set(),2888 schedNoFence::scheduler::mResult: Set(),2889 schedNoFence::scheduler::mRetry: Set("c1"),2890 schedNoFence::scheduler::mSchedule: Set(),2891 schedNoFence::scheduler::published: 2,2892 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),2893 schedNoFence::scheduler::ws:2894 Map(2895 "w1" ->2896 {2897 attached: Set(),2898 built: true,2899 expecting: false,2900 running: false,2901 session: true,2902 up: true2903 },2904 "w2" ->2905 {2906 attached: Set(),2907 built: true,2908 expecting: false,2909 running: false,2910 session: true,2911 up: true2912 }2913 )2914}29152916[violation] Found an issue (573ms at 51440 traces/second).2917Use --verbosity=3 to show executions.2918Use --seed=0xe3354e57ec426b73 --backend=rust to reproduce.2919error: Invariant violated2920An example execution:29212922[State 0]2923{2924 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2925 schedNoPush::scheduler::crashes: 0,2926 schedNoPush::scheduler::entry: [],2927 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2928 schedNoPush::scheduler::mAssigned: Set(),2929 schedNoPush::scheduler::mBuild: Set(),2930 schedNoPush::scheduler::mDone: Set(),2931 schedNoPush::scheduler::mExpect: Set(),2932 schedNoPush::scheduler::mResult: Set(),2933 schedNoPush::scheduler::mRetry: Set(),2934 schedNoPush::scheduler::mSchedule: Set(),2935 schedNoPush::scheduler::published: 0,2936 schedNoPush::scheduler::publishedBy: Set(),2937 schedNoPush::scheduler::ws:2938 Map(2939 "w1" ->2940 {2941 attached: Set(),2942 built: false,2943 expecting: false,2944 running: false,2945 session: true,2946 up: true2947 },2948 "w2" ->2949 {2950 attached: Set(),2951 built: false,2952 expecting: false,2953 running: false,2954 session: true,2955 up: true2956 }2957 )2958}29592960[State 1]2961{2962 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2963 schedNoPush::scheduler::crashes: 0,2964 schedNoPush::scheduler::entry: [],2965 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2966 schedNoPush::scheduler::mAssigned: Set(),2967 schedNoPush::scheduler::mBuild: Set(),2968 schedNoPush::scheduler::mDone: Set(),2969 schedNoPush::scheduler::mExpect: Set(),2970 schedNoPush::scheduler::mResult: Set(),2971 schedNoPush::scheduler::mRetry: Set(),2972 schedNoPush::scheduler::mSchedule: Set("c2"),2973 schedNoPush::scheduler::published: 0,2974 schedNoPush::scheduler::publishedBy: Set(),2975 schedNoPush::scheduler::ws:2976 Map(2977 "w1" ->2978 {2979 attached: Set(),2980 built: false,2981 expecting: false,2982 running: false,2983 session: true,2984 up: true2985 },2986 "w2" ->2987 {2988 attached: Set(),2989 built: false,2990 expecting: false,2991 running: false,2992 session: true,2993 up: true2994 }2995 )2996}29972998[State 2]2999{3000 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3001 schedNoPush::scheduler::crashes: 0,3002 schedNoPush::scheduler::entry:3003 [{ followers: Set("c2"), leased: true, worker: "w1" }],3004 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3005 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),3006 schedNoPush::scheduler::mBuild: Set(),3007 schedNoPush::scheduler::mDone: Set(),3008 schedNoPush::scheduler::mExpect: Set(),3009 schedNoPush::scheduler::mResult: Set(),3010 schedNoPush::scheduler::mRetry: Set(),3011 schedNoPush::scheduler::mSchedule: Set(),3012 schedNoPush::scheduler::published: 0,3013 schedNoPush::scheduler::publishedBy: Set(),3014 schedNoPush::scheduler::ws:3015 Map(3016 "w1" ->3017 {3018 attached: Set(),3019 built: false,3020 expecting: false,3021 running: false,3022 session: true,3023 up: true3024 },3025 "w2" ->3026 {3027 attached: Set(),3028 built: false,3029 expecting: false,3030 running: false,3031 session: true,3032 up: true3033 }3034 )3035}30363037[State 3]3038{3039 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3040 schedNoPush::scheduler::crashes: 0,3041 schedNoPush::scheduler::entry:3042 [{ followers: Set("c2"), leased: true, worker: "w1" }],3043 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3044 schedNoPush::scheduler::mAssigned: Set(),3045 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3046 schedNoPush::scheduler::mDone: Set(),3047 schedNoPush::scheduler::mExpect: Set(),3048 schedNoPush::scheduler::mResult: Set(),3049 schedNoPush::scheduler::mRetry: Set(),3050 schedNoPush::scheduler::mSchedule: Set(),3051 schedNoPush::scheduler::published: 0,3052 schedNoPush::scheduler::publishedBy: Set(),3053 schedNoPush::scheduler::ws:3054 Map(3055 "w1" ->3056 {3057 attached: Set(),3058 built: false,3059 expecting: false,3060 running: false,3061 session: true,3062 up: true3063 },3064 "w2" ->3065 {3066 attached: Set(),3067 built: false,3068 expecting: false,3069 running: false,3070 session: true,3071 up: true3072 }3073 )3074}30753076[State 4]3077{3078 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3079 schedNoPush::scheduler::crashes: 1,3080 schedNoPush::scheduler::entry:3081 [{ followers: Set("c2"), leased: true, worker: "w1" }],3082 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3083 schedNoPush::scheduler::mAssigned: Set(),3084 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3085 schedNoPush::scheduler::mDone: Set(),3086 schedNoPush::scheduler::mExpect: Set(),3087 schedNoPush::scheduler::mResult: Set(),3088 schedNoPush::scheduler::mRetry: Set(),3089 schedNoPush::scheduler::mSchedule: Set(),3090 schedNoPush::scheduler::published: 0,3091 schedNoPush::scheduler::publishedBy: Set(),3092 schedNoPush::scheduler::ws:3093 Map(3094 "w1" ->3095 {3096 attached: Set(),3097 built: false,3098 expecting: false,3099 running: false,3100 session: false,3101 up: false3102 },3103 "w2" ->3104 {3105 attached: Set(),3106 built: false,3107 expecting: false,3108 running: false,3109 session: true,3110 up: true3111 }3112 )3113}31143115[State 5]3116{3117 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3118 schedNoPush::scheduler::crashes: 1,3119 schedNoPush::scheduler::entry: [],3120 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3121 schedNoPush::scheduler::mAssigned: Set(),3122 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3123 schedNoPush::scheduler::mDone: Set(),3124 schedNoPush::scheduler::mExpect: Set(),3125 schedNoPush::scheduler::mResult: Set(),3126 schedNoPush::scheduler::mRetry: Set("c2"),3127 schedNoPush::scheduler::mSchedule: Set(),3128 schedNoPush::scheduler::published: 0,3129 schedNoPush::scheduler::publishedBy: Set(),3130 schedNoPush::scheduler::ws:3131 Map(3132 "w1" ->3133 {3134 attached: Set(),3135 built: false,3136 expecting: false,3137 running: false,3138 session: true,3139 up: true3140 },3141 "w2" ->3142 {3143 attached: Set(),3144 built: false,3145 expecting: false,3146 running: false,3147 session: true,3148 up: true3149 }3150 )3151}31523153[State 6]3154{3155 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),3156 schedNoPush::scheduler::crashes: 1,3157 schedNoPush::scheduler::entry: [],3158 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3159 schedNoPush::scheduler::mAssigned: Set(),3160 schedNoPush::scheduler::mBuild: Set(),3161 schedNoPush::scheduler::mDone: Set(),3162 schedNoPush::scheduler::mExpect: Set(),3163 schedNoPush::scheduler::mResult: Set(),3164 schedNoPush::scheduler::mRetry: Set("c2"),3165 schedNoPush::scheduler::mSchedule: Set(),3166 schedNoPush::scheduler::published: 0,3167 schedNoPush::scheduler::publishedBy: Set(),3168 schedNoPush::scheduler::ws:3169 Map(3170 "w1" ->3171 {3172 attached: Set("c2"),3173 built: false,3174 expecting: true,3175 running: true,3176 session: true,3177 up: true3178 },3179 "w2" ->3180 {3181 attached: Set(),3182 built: false,3183 expecting: false,3184 running: false,3185 session: true,3186 up: true3187 }3188 )3189}31903191[violation] Found an issue (478ms at 35950 traces/second).3192Use --verbosity=3 to show executions.3193Use --seed=0xdbbd33364c9b902f --backend=rust to reproduce.3194error: Invariant violated3195An example execution:31963197[State 0]3198{3199 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3200 schedNoPush::scheduler::crashes: 0,3201 schedNoPush::scheduler::entry: [],3202 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3203 schedNoPush::scheduler::mAssigned: Set(),3204 schedNoPush::scheduler::mBuild: Set(),3205 schedNoPush::scheduler::mDone: Set(),3206 schedNoPush::scheduler::mExpect: Set(),3207 schedNoPush::scheduler::mResult: Set(),3208 schedNoPush::scheduler::mRetry: Set(),3209 schedNoPush::scheduler::mSchedule: Set(),3210 schedNoPush::scheduler::published: 0,3211 schedNoPush::scheduler::publishedBy: Set(),3212 schedNoPush::scheduler::ws:3213 Map(3214 "w1" ->3215 {3216 attached: Set(),3217 built: false,3218 expecting: false,3219 running: false,3220 session: true,3221 up: true3222 },3223 "w2" ->3224 {3225 attached: Set(),3226 built: false,3227 expecting: false,3228 running: false,3229 session: true,3230 up: true3231 }3232 )3233}32343235[State 1]3236{3237 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3238 schedNoPush::scheduler::crashes: 0,3239 schedNoPush::scheduler::entry: [],3240 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3241 schedNoPush::scheduler::mAssigned: Set(),3242 schedNoPush::scheduler::mBuild: Set(),3243 schedNoPush::scheduler::mDone: Set(),3244 schedNoPush::scheduler::mExpect: Set(),3245 schedNoPush::scheduler::mResult: Set(),3246 schedNoPush::scheduler::mRetry: Set(),3247 schedNoPush::scheduler::mSchedule: Set("c2"),3248 schedNoPush::scheduler::published: 0,3249 schedNoPush::scheduler::publishedBy: Set(),3250 schedNoPush::scheduler::ws:3251 Map(3252 "w1" ->3253 {3254 attached: Set(),3255 built: false,3256 expecting: false,3257 running: false,3258 session: true,3259 up: true3260 },3261 "w2" ->3262 {3263 attached: Set(),3264 built: false,3265 expecting: false,3266 running: false,3267 session: true,3268 up: true3269 }3270 )3271}32723273[State 2]3274{3275 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3276 schedNoPush::scheduler::crashes: 1,3277 schedNoPush::scheduler::entry: [],3278 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3279 schedNoPush::scheduler::mAssigned: Set(),3280 schedNoPush::scheduler::mBuild: Set(),3281 schedNoPush::scheduler::mDone: Set(),3282 schedNoPush::scheduler::mExpect: Set(),3283 schedNoPush::scheduler::mResult: Set(),3284 schedNoPush::scheduler::mRetry: Set(),3285 schedNoPush::scheduler::mSchedule: Set("c2"),3286 schedNoPush::scheduler::published: 0,3287 schedNoPush::scheduler::publishedBy: Set(),3288 schedNoPush::scheduler::ws:3289 Map(3290 "w1" ->3291 {3292 attached: Set(),3293 built: false,3294 expecting: false,3295 running: false,3296 session: true,3297 up: true3298 },3299 "w2" ->3300 {3301 attached: Set(),3302 built: false,3303 expecting: false,3304 running: false,3305 session: false,3306 up: false3307 }3308 )3309}33103311[State 3]3312{3313 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3314 schedNoPush::scheduler::crashes: 1,3315 schedNoPush::scheduler::entry:3316 [{ followers: Set("c2"), leased: true, worker: "w1" }],3317 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3318 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),3319 schedNoPush::scheduler::mBuild: Set(),3320 schedNoPush::scheduler::mDone: Set(),3321 schedNoPush::scheduler::mExpect: Set(),3322 schedNoPush::scheduler::mResult: Set(),3323 schedNoPush::scheduler::mRetry: Set(),3324 schedNoPush::scheduler::mSchedule: Set(),3325 schedNoPush::scheduler::published: 0,3326 schedNoPush::scheduler::publishedBy: Set(),3327 schedNoPush::scheduler::ws:3328 Map(3329 "w1" ->3330 {3331 attached: Set(),3332 built: false,3333 expecting: false,3334 running: false,3335 session: true,3336 up: true3337 },3338 "w2" ->3339 {3340 attached: Set(),3341 built: false,3342 expecting: false,3343 running: false,3344 session: false,3345 up: false3346 }3347 )3348}33493350[State 4]3351{3352 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3353 schedNoPush::scheduler::crashes: 2,3354 schedNoPush::scheduler::entry:3355 [{ followers: Set("c2"), leased: true, worker: "w1" }],3356 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3357 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),3358 schedNoPush::scheduler::mBuild: Set(),3359 schedNoPush::scheduler::mDone: Set(),3360 schedNoPush::scheduler::mExpect: Set(),3361 schedNoPush::scheduler::mResult: Set(),3362 schedNoPush::scheduler::mRetry: Set(),3363 schedNoPush::scheduler::mSchedule: Set(),3364 schedNoPush::scheduler::published: 0,3365 schedNoPush::scheduler::publishedBy: Set(),3366 schedNoPush::scheduler::ws:3367 Map(3368 "w1" ->3369 {3370 attached: Set(),3371 built: false,3372 expecting: false,3373 running: false,3374 session: false,3375 up: false3376 },3377 "w2" ->3378 {3379 attached: Set(),3380 built: false,3381 expecting: false,3382 running: false,3383 session: false,3384 up: false3385 }3386 )3387}33883389[State 5]3390{3391 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3392 schedNoPush::scheduler::crashes: 2,3393 schedNoPush::scheduler::entry:3394 [{ followers: Set("c2"), leased: true, worker: "w1" }],3395 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3396 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),3397 schedNoPush::scheduler::mBuild: Set(),3398 schedNoPush::scheduler::mDone: Set(),3399 schedNoPush::scheduler::mExpect: Set(),3400 schedNoPush::scheduler::mResult: Set(),3401 schedNoPush::scheduler::mRetry: Set(),3402 schedNoPush::scheduler::mSchedule: Set(),3403 schedNoPush::scheduler::published: 0,3404 schedNoPush::scheduler::publishedBy: Set(),3405 schedNoPush::scheduler::ws:3406 Map(3407 "w1" ->3408 {3409 attached: Set(),3410 built: false,3411 expecting: false,3412 running: false,3413 session: false,3414 up: false3415 },3416 "w2" ->3417 {3418 attached: Set(),3419 built: false,3420 expecting: false,3421 running: false,3422 session: true,3423 up: true3424 }3425 )3426}34273428[State 6]3429{3430 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3431 schedNoPush::scheduler::crashes: 2,3432 schedNoPush::scheduler::entry:3433 [{ followers: Set("c2"), leased: true, worker: "w1" }],3434 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3435 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),3436 schedNoPush::scheduler::mBuild: Set(),3437 schedNoPush::scheduler::mDone: Set(),3438 schedNoPush::scheduler::mExpect: Set(),3439 schedNoPush::scheduler::mResult: Set(),3440 schedNoPush::scheduler::mRetry: Set(),3441 schedNoPush::scheduler::mSchedule: Set("c1"),3442 schedNoPush::scheduler::published: 0,3443 schedNoPush::scheduler::publishedBy: Set(),3444 schedNoPush::scheduler::ws:3445 Map(3446 "w1" ->3447 {3448 attached: Set(),3449 built: false,3450 expecting: false,3451 running: false,3452 session: false,3453 up: false3454 },3455 "w2" ->3456 {3457 attached: Set(),3458 built: false,3459 expecting: false,3460 running: false,3461 session: true,3462 up: true3463 }3464 )3465}34663467[State 7]3468{3469 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),3470 schedNoPush::scheduler::crashes: 2,3471 schedNoPush::scheduler::entry:3472 [{ followers: Set("c2"), leased: true, worker: "w1" }],3473 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3474 schedNoPush::scheduler::mAssigned: Set(),3475 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3476 schedNoPush::scheduler::mDone: Set(),3477 schedNoPush::scheduler::mExpect: Set(),3478 schedNoPush::scheduler::mResult: Set(),3479 schedNoPush::scheduler::mRetry: Set(),3480 schedNoPush::scheduler::mSchedule: Set("c1"),3481 schedNoPush::scheduler::published: 0,3482 schedNoPush::scheduler::publishedBy: Set(),3483 schedNoPush::scheduler::ws:3484 Map(3485 "w1" ->3486 {3487 attached: Set(),3488 built: false,3489 expecting: false,3490 running: false,3491 session: false,3492 up: false3493 },3494 "w2" ->3495 {3496 attached: Set(),3497 built: false,3498 expecting: false,3499 running: false,3500 session: true,3501 up: true3502 }3503 )3504}35053506[State 8]3507{3508 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),3509 schedNoPush::scheduler::crashes: 2,3510 schedNoPush::scheduler::entry: [],3511 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3512 schedNoPush::scheduler::mAssigned: Set(),3513 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3514 schedNoPush::scheduler::mDone: Set(),3515 schedNoPush::scheduler::mExpect: Set(),3516 schedNoPush::scheduler::mResult: Set(),3517 schedNoPush::scheduler::mRetry: Set("c2"),3518 schedNoPush::scheduler::mSchedule: Set("c1"),3519 schedNoPush::scheduler::published: 0,3520 schedNoPush::scheduler::publishedBy: Set(),3521 schedNoPush::scheduler::ws:3522 Map(3523 "w1" ->3524 {3525 attached: Set(),3526 built: false,3527 expecting: false,3528 running: false,3529 session: true,3530 up: true3531 },3532 "w2" ->3533 {3534 attached: Set(),3535 built: false,3536 expecting: false,3537 running: false,3538 session: true,3539 up: true3540 }3541 )3542}35433544[State 9]3545{3546 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),3547 schedNoPush::scheduler::crashes: 2,3548 schedNoPush::scheduler::entry:3549 [{ followers: Set("c1"), leased: true, worker: "w2" }],3550 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3551 schedNoPush::scheduler::mAssigned: Set(("c1", "w2")),3552 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3553 schedNoPush::scheduler::mDone: Set(),3554 schedNoPush::scheduler::mExpect: Set(),3555 schedNoPush::scheduler::mResult: Set(),3556 schedNoPush::scheduler::mRetry: Set("c2"),3557 schedNoPush::scheduler::mSchedule: Set(),3558 schedNoPush::scheduler::published: 0,3559 schedNoPush::scheduler::publishedBy: Set(),3560 schedNoPush::scheduler::ws:3561 Map(3562 "w1" ->3563 {3564 attached: Set(),3565 built: false,3566 expecting: false,3567 running: false,3568 session: true,3569 up: true3570 },3571 "w2" ->3572 {3573 attached: Set(),3574 built: false,3575 expecting: false,3576 running: false,3577 session: true,3578 up: true3579 }3580 )3581}35823583[State 10]3584{3585 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w1")),3586 schedNoPush::scheduler::crashes: 2,3587 schedNoPush::scheduler::entry:3588 [{ followers: Set("c1"), leased: true, worker: "w2" }],3589 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3590 schedNoPush::scheduler::mAssigned: Set(),3591 schedNoPush::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w1")),3592 schedNoPush::scheduler::mDone: Set(),3593 schedNoPush::scheduler::mExpect: Set(),3594 schedNoPush::scheduler::mResult: Set(),3595 schedNoPush::scheduler::mRetry: Set("c2"),3596 schedNoPush::scheduler::mSchedule: Set(),3597 schedNoPush::scheduler::published: 0,3598 schedNoPush::scheduler::publishedBy: Set(),3599 schedNoPush::scheduler::ws:3600 Map(3601 "w1" ->3602 {3603 attached: Set(),3604 built: false,3605 expecting: false,3606 running: false,3607 session: true,3608 up: true3609 },3610 "w2" ->3611 {3612 attached: Set(),3613 built: false,3614 expecting: false,3615 running: false,3616 session: true,3617 up: true3618 }3619 )3620}36213622[State 11]3623{3624 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w1")),3625 schedNoPush::scheduler::crashes: 2,3626 schedNoPush::scheduler::entry:3627 [{ followers: Set("c1"), leased: true, worker: "w2" }],3628 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3629 schedNoPush::scheduler::mAssigned: Set(),3630 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),3631 schedNoPush::scheduler::mDone: Set(),3632 schedNoPush::scheduler::mExpect: Set(),3633 schedNoPush::scheduler::mResult: Set(),3634 schedNoPush::scheduler::mRetry: Set("c2"),3635 schedNoPush::scheduler::mSchedule: Set(),3636 schedNoPush::scheduler::published: 0,3637 schedNoPush::scheduler::publishedBy: Set(),3638 schedNoPush::scheduler::ws:3639 Map(3640 "w1" ->3641 {3642 attached: Set(),3643 built: false,3644 expecting: false,3645 running: false,3646 session: true,3647 up: true3648 },3649 "w2" ->3650 {3651 attached: Set("c1"),3652 built: false,3653 expecting: true,3654 running: true,3655 session: true,3656 up: true3657 }3658 )3659}36603661[State 12]3662{3663 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w1")),3664 schedNoPush::scheduler::crashes: 2,3665 schedNoPush::scheduler::entry:3666 [{ followers: Set("c1"), leased: true, worker: "w2" }],3667 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3668 schedNoPush::scheduler::mAssigned: Set(),3669 schedNoPush::scheduler::mBuild: Set(),3670 schedNoPush::scheduler::mDone: Set(),3671 schedNoPush::scheduler::mExpect: Set(),3672 schedNoPush::scheduler::mResult: Set(),3673 schedNoPush::scheduler::mRetry: Set("c2"),3674 schedNoPush::scheduler::mSchedule: Set(),3675 schedNoPush::scheduler::published: 0,3676 schedNoPush::scheduler::publishedBy: Set(),3677 schedNoPush::scheduler::ws:3678 Map(3679 "w1" ->3680 {3681 attached: Set("c2"),3682 built: false,3683 expecting: true,3684 running: true,3685 session: true,3686 up: true3687 },3688 "w2" ->3689 {3690 attached: Set("c1"),3691 built: false,3692 expecting: true,3693 running: true,3694 session: true,3695 up: true3696 }3697 )3698}36993700[violation] Found an issue (470ms at 33079 traces/second).3701Use --verbosity=3 to show executions.3702Use --seed=0x915508bc6e396b1e --backend=rust to reproduce.3703error: Invariant violated3704An example execution:37053706[State 0]3707{3708 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3709 schedNoReport::scheduler::crashes: 0,3710 schedNoReport::scheduler::entry: [],3711 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3712 schedNoReport::scheduler::mAssigned: Set(),3713 schedNoReport::scheduler::mBuild: Set(),3714 schedNoReport::scheduler::mDone: Set(),3715 schedNoReport::scheduler::mExpect: Set(),3716 schedNoReport::scheduler::mResult: Set(),3717 schedNoReport::scheduler::mRetry: Set(),3718 schedNoReport::scheduler::mSchedule: Set(),3719 schedNoReport::scheduler::published: 0,3720 schedNoReport::scheduler::publishedBy: Set(),3721 schedNoReport::scheduler::ws:3722 Map(3723 "w1" ->3724 {3725 attached: Set(),3726 built: false,3727 expecting: false,3728 running: false,3729 session: true,3730 up: true3731 },3732 "w2" ->3733 {3734 attached: Set(),3735 built: false,3736 expecting: false,3737 running: false,3738 session: true,3739 up: true3740 }3741 )3742}37433744[State 1]3745{3746 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3747 schedNoReport::scheduler::crashes: 0,3748 schedNoReport::scheduler::entry: [],3749 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3750 schedNoReport::scheduler::mAssigned: Set(),3751 schedNoReport::scheduler::mBuild: Set(),3752 schedNoReport::scheduler::mDone: Set(),3753 schedNoReport::scheduler::mExpect: Set(),3754 schedNoReport::scheduler::mResult: Set(),3755 schedNoReport::scheduler::mRetry: Set(),3756 schedNoReport::scheduler::mSchedule: Set("c2"),3757 schedNoReport::scheduler::published: 0,3758 schedNoReport::scheduler::publishedBy: Set(),3759 schedNoReport::scheduler::ws:3760 Map(3761 "w1" ->3762 {3763 attached: Set(),3764 built: false,3765 expecting: false,3766 running: false,3767 session: true,3768 up: true3769 },3770 "w2" ->3771 {3772 attached: Set(),3773 built: false,3774 expecting: false,3775 running: false,3776 session: true,3777 up: true3778 }3779 )3780}37813782[State 2]3783{3784 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3785 schedNoReport::scheduler::crashes: 0,3786 schedNoReport::scheduler::entry:3787 [{ followers: Set("c2"), leased: true, worker: "w1" }],3788 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3789 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3790 schedNoReport::scheduler::mBuild: Set(),3791 schedNoReport::scheduler::mDone: Set(),3792 schedNoReport::scheduler::mExpect: Set("w1"),3793 schedNoReport::scheduler::mResult: Set(),3794 schedNoReport::scheduler::mRetry: Set(),3795 schedNoReport::scheduler::mSchedule: Set(),3796 schedNoReport::scheduler::published: 0,3797 schedNoReport::scheduler::publishedBy: Set(),3798 schedNoReport::scheduler::ws:3799 Map(3800 "w1" ->3801 {3802 attached: Set(),3803 built: false,3804 expecting: false,3805 running: false,3806 session: true,3807 up: true3808 },3809 "w2" ->3810 {3811 attached: Set(),3812 built: false,3813 expecting: false,3814 running: false,3815 session: true,3816 up: true3817 }3818 )3819}38203821[State 3]3822{3823 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3824 schedNoReport::scheduler::crashes: 0,3825 schedNoReport::scheduler::entry:3826 [{ followers: Set("c2"), leased: true, worker: "w1" }],3827 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3828 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3829 schedNoReport::scheduler::mBuild: Set(),3830 schedNoReport::scheduler::mDone: Set(),3831 schedNoReport::scheduler::mExpect: Set(),3832 schedNoReport::scheduler::mResult: Set(),3833 schedNoReport::scheduler::mRetry: Set(),3834 schedNoReport::scheduler::mSchedule: Set(),3835 schedNoReport::scheduler::published: 0,3836 schedNoReport::scheduler::publishedBy: Set(),3837 schedNoReport::scheduler::ws:3838 Map(3839 "w1" ->3840 {3841 attached: Set(),3842 built: false,3843 expecting: true,3844 running: true,3845 session: true,3846 up: true3847 },3848 "w2" ->3849 {3850 attached: Set(),3851 built: false,3852 expecting: false,3853 running: false,3854 session: true,3855 up: true3856 }3857 )3858}38593860[State 4]3861{3862 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3863 schedNoReport::scheduler::crashes: 1,3864 schedNoReport::scheduler::entry:3865 [{ followers: Set("c2"), leased: true, worker: "w1" }],3866 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3867 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3868 schedNoReport::scheduler::mBuild: Set(),3869 schedNoReport::scheduler::mDone: Set(),3870 schedNoReport::scheduler::mExpect: Set(),3871 schedNoReport::scheduler::mResult: Set(),3872 schedNoReport::scheduler::mRetry: Set(),3873 schedNoReport::scheduler::mSchedule: Set(),3874 schedNoReport::scheduler::published: 0,3875 schedNoReport::scheduler::publishedBy: Set(),3876 schedNoReport::scheduler::ws:3877 Map(3878 "w1" ->3879 {3880 attached: Set(),3881 built: false,3882 expecting: true,3883 running: true,3884 session: true,3885 up: true3886 },3887 "w2" ->3888 {3889 attached: Set(),3890 built: false,3891 expecting: false,3892 running: false,3893 session: false,3894 up: false3895 }3896 )3897}38983899[State 5]3900{3901 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3902 schedNoReport::scheduler::crashes: 2,3903 schedNoReport::scheduler::entry: [],3904 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3905 schedNoReport::scheduler::mAssigned: Set(),3906 schedNoReport::scheduler::mBuild: Set(),3907 schedNoReport::scheduler::mDone: Set(),3908 schedNoReport::scheduler::mExpect: Set(),3909 schedNoReport::scheduler::mResult: Set(),3910 schedNoReport::scheduler::mRetry: Set("c2"),3911 schedNoReport::scheduler::mSchedule: Set(),3912 schedNoReport::scheduler::published: 0,3913 schedNoReport::scheduler::publishedBy: Set(),3914 schedNoReport::scheduler::ws:3915 Map(3916 "w1" ->3917 {3918 attached: Set(),3919 built: false,3920 expecting: true,3921 running: true,3922 session: false,3923 up: true3924 },3925 "w2" ->3926 {3927 attached: Set(),3928 built: false,3929 expecting: false,3930 running: false,3931 session: false,3932 up: false3933 }3934 )3935}39363937[State 6]3938{3939 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3940 schedNoReport::scheduler::crashes: 2,3941 schedNoReport::scheduler::entry: [],3942 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3943 schedNoReport::scheduler::mAssigned: Set(),3944 schedNoReport::scheduler::mBuild: Set(),3945 schedNoReport::scheduler::mDone: Set(),3946 schedNoReport::scheduler::mExpect: Set(),3947 schedNoReport::scheduler::mResult: Set(),3948 schedNoReport::scheduler::mRetry: Set("c2"),3949 schedNoReport::scheduler::mSchedule: Set(),3950 schedNoReport::scheduler::published: 0,3951 schedNoReport::scheduler::publishedBy: Set(),3952 schedNoReport::scheduler::ws:3953 Map(3954 "w1" ->3955 {3956 attached: Set(),3957 built: false,3958 expecting: true,3959 running: true,3960 session: false,3961 up: true3962 },3963 "w2" ->3964 {3965 attached: Set(),3966 built: false,3967 expecting: false,3968 running: false,3969 session: true,3970 up: true3971 }3972 )3973}39743975[State 7]3976{3977 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3978 schedNoReport::scheduler::crashes: 2,3979 schedNoReport::scheduler::entry: [],3980 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3981 schedNoReport::scheduler::mAssigned: Set(),3982 schedNoReport::scheduler::mBuild: Set(),3983 schedNoReport::scheduler::mDone: Set(),3984 schedNoReport::scheduler::mExpect: Set(),3985 schedNoReport::scheduler::mResult: Set(),3986 schedNoReport::scheduler::mRetry: Set("c2"),3987 schedNoReport::scheduler::mSchedule: Set(),3988 schedNoReport::scheduler::published: 0,3989 schedNoReport::scheduler::publishedBy: Set(),3990 schedNoReport::scheduler::ws:3991 Map(3992 "w1" ->3993 {3994 attached: Set(),3995 built: false,3996 expecting: true,3997 running: true,3998 session: true,3999 up: true4000 },4001 "w2" ->4002 {4003 attached: Set(),4004 built: false,4005 expecting: false,4006 running: false,4007 session: true,4008 up: true4009 }4010 )4011}40124013[State 8]4014{4015 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4016 schedNoReport::scheduler::crashes: 2,4017 schedNoReport::scheduler::entry: [],4018 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4019 schedNoReport::scheduler::mAssigned: Set(),4020 schedNoReport::scheduler::mBuild: Set(),4021 schedNoReport::scheduler::mDone: Set(),4022 schedNoReport::scheduler::mExpect: Set(),4023 schedNoReport::scheduler::mResult: Set(),4024 schedNoReport::scheduler::mRetry: Set("c2"),4025 schedNoReport::scheduler::mSchedule: Set("c1"),4026 schedNoReport::scheduler::published: 0,4027 schedNoReport::scheduler::publishedBy: Set(),4028 schedNoReport::scheduler::ws:4029 Map(4030 "w1" ->4031 {4032 attached: Set(),4033 built: false,4034 expecting: true,4035 running: true,4036 session: true,4037 up: true4038 },4039 "w2" ->4040 {4041 attached: Set(),4042 built: false,4043 expecting: false,4044 running: false,4045 session: true,4046 up: true4047 }4048 )4049}40504051[State 9]4052{4053 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4054 schedNoReport::scheduler::crashes: 2,4055 schedNoReport::scheduler::entry:4056 [{ followers: Set("c1"), leased: true, worker: "w2" }],4057 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4058 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),4059 schedNoReport::scheduler::mBuild: Set(),4060 schedNoReport::scheduler::mDone: Set(),4061 schedNoReport::scheduler::mExpect: Set("w2"),4062 schedNoReport::scheduler::mResult: Set(),4063 schedNoReport::scheduler::mRetry: Set("c2"),4064 schedNoReport::scheduler::mSchedule: Set(),4065 schedNoReport::scheduler::published: 0,4066 schedNoReport::scheduler::publishedBy: Set(),4067 schedNoReport::scheduler::ws:4068 Map(4069 "w1" ->4070 {4071 attached: Set(),4072 built: false,4073 expecting: true,4074 running: true,4075 session: true,4076 up: true4077 },4078 "w2" ->4079 {4080 attached: Set(),4081 built: false,4082 expecting: false,4083 running: false,4084 session: true,4085 up: true4086 }4087 )4088}40894090[State 10]4091{4092 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4093 schedNoReport::scheduler::crashes: 2,4094 schedNoReport::scheduler::entry:4095 [{ followers: Set("c1"), leased: true, worker: "w2" }],4096 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4097 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),4098 schedNoReport::scheduler::mBuild: Set(),4099 schedNoReport::scheduler::mDone: Set("w1"),4100 schedNoReport::scheduler::mExpect: Set("w2"),4101 schedNoReport::scheduler::mResult: Set(),4102 schedNoReport::scheduler::mRetry: Set("c2"),4103 schedNoReport::scheduler::mSchedule: Set(),4104 schedNoReport::scheduler::published: 1,4105 schedNoReport::scheduler::publishedBy: Set("w1"),4106 schedNoReport::scheduler::ws:4107 Map(4108 "w1" ->4109 {4110 attached: Set(),4111 built: true,4112 expecting: false,4113 running: false,4114 session: true,4115 up: true4116 },4117 "w2" ->4118 {4119 attached: Set(),4120 built: false,4121 expecting: false,4122 running: false,4123 session: true,4124 up: true4125 }4126 )4127}41284129[State 11]4130{4131 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4132 schedNoReport::scheduler::crashes: 2,4133 schedNoReport::scheduler::entry:4134 [{ followers: Set("c1"), leased: true, worker: "w2" }],4135 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4136 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),4137 schedNoReport::scheduler::mBuild: Set(),4138 schedNoReport::scheduler::mDone: Set("w1"),4139 schedNoReport::scheduler::mExpect: Set(),4140 schedNoReport::scheduler::mResult: Set(),4141 schedNoReport::scheduler::mRetry: Set("c2"),4142 schedNoReport::scheduler::mSchedule: Set(),4143 schedNoReport::scheduler::published: 1,4144 schedNoReport::scheduler::publishedBy: Set("w1"),4145 schedNoReport::scheduler::ws:4146 Map(4147 "w1" ->4148 {4149 attached: Set(),4150 built: true,4151 expecting: false,4152 running: false,4153 session: true,4154 up: true4155 },4156 "w2" ->4157 {4158 attached: Set(),4159 built: false,4160 expecting: true,4161 running: true,4162 session: true,4163 up: true4164 }4165 )4166}41674168[State 12]4169{4170 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),4171 schedNoReport::scheduler::crashes: 2,4172 schedNoReport::scheduler::entry:4173 [{ followers: Set("c1"), leased: true, worker: "w2" }],4174 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4175 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),4176 schedNoReport::scheduler::mBuild: Set(),4177 schedNoReport::scheduler::mDone: Set("w1", "w2"),4178 schedNoReport::scheduler::mExpect: Set(),4179 schedNoReport::scheduler::mResult: Set(),4180 schedNoReport::scheduler::mRetry: Set("c2"),4181 schedNoReport::scheduler::mSchedule: Set(),4182 schedNoReport::scheduler::published: 2,4183 schedNoReport::scheduler::publishedBy: Set("w1", "w2"),4184 schedNoReport::scheduler::ws:4185 Map(4186 "w1" ->4187 {4188 attached: Set(),4189 built: true,4190 expecting: false,4191 running: false,4192 session: true,4193 up: true4194 },4195 "w2" ->4196 {4197 attached: Set(),4198 built: true,4199 expecting: false,4200 running: false,4201 session: true,4202 up: true4203 }4204 )4205}42064207[violation] Found an issue (499ms at 55705 traces/second).4208Use --verbosity=3 to show executions.4209Use --seed=0xd36551e7fc325793 --backend=rust to reproduce.4210error: Invariant violated4211An example execution:42124213[State 0]4214{4215 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4216 schedTerminal::scheduler::crashes: 0,4217 schedTerminal::scheduler::entry: [],4218 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4219 schedTerminal::scheduler::mAssigned: Set(),4220 schedTerminal::scheduler::mBuild: Set(),4221 schedTerminal::scheduler::mDone: Set(),4222 schedTerminal::scheduler::mExpect: Set(),4223 schedTerminal::scheduler::mResult: Set(),4224 schedTerminal::scheduler::mRetry: Set(),4225 schedTerminal::scheduler::mSchedule: Set(),4226 schedTerminal::scheduler::published: 0,4227 schedTerminal::scheduler::publishedBy: Set(),4228 schedTerminal::scheduler::ws:4229 Map(4230 "w1" ->4231 {4232 attached: Set(),4233 built: false,4234 expecting: false,4235 running: false,4236 session: true,4237 up: true4238 },4239 "w2" ->4240 {4241 attached: Set(),4242 built: false,4243 expecting: false,4244 running: false,4245 session: true,4246 up: true4247 }4248 )4249}42504251[State 1]4252{4253 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4254 schedTerminal::scheduler::crashes: 1,4255 schedTerminal::scheduler::entry: [],4256 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4257 schedTerminal::scheduler::mAssigned: Set(),4258 schedTerminal::scheduler::mBuild: Set(),4259 schedTerminal::scheduler::mDone: Set(),4260 schedTerminal::scheduler::mExpect: Set(),4261 schedTerminal::scheduler::mResult: Set(),4262 schedTerminal::scheduler::mRetry: Set(),4263 schedTerminal::scheduler::mSchedule: Set(),4264 schedTerminal::scheduler::published: 0,4265 schedTerminal::scheduler::publishedBy: Set(),4266 schedTerminal::scheduler::ws:4267 Map(4268 "w1" ->4269 {4270 attached: Set(),4271 built: false,4272 expecting: false,4273 running: false,4274 session: false,4275 up: true4276 },4277 "w2" ->4278 {4279 attached: Set(),4280 built: false,4281 expecting: false,4282 running: false,4283 session: false,4284 up: true4285 }4286 )4287}42884289[State 2]4290{4291 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),4292 schedTerminal::scheduler::crashes: 1,4293 schedTerminal::scheduler::entry: [],4294 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4295 schedTerminal::scheduler::mAssigned: Set(),4296 schedTerminal::scheduler::mBuild: Set(),4297 schedTerminal::scheduler::mDone: Set(),4298 schedTerminal::scheduler::mExpect: Set(),4299 schedTerminal::scheduler::mResult: Set(),4300 schedTerminal::scheduler::mRetry: Set(),4301 schedTerminal::scheduler::mSchedule: Set("c1"),4302 schedTerminal::scheduler::published: 0,4303 schedTerminal::scheduler::publishedBy: Set(),4304 schedTerminal::scheduler::ws:4305 Map(4306 "w1" ->4307 {4308 attached: Set(),4309 built: false,4310 expecting: false,4311 running: false,4312 session: false,4313 up: true4314 },4315 "w2" ->4316 {4317 attached: Set(),4318 built: false,4319 expecting: false,4320 running: false,4321 session: false,4322 up: true4323 }4324 )4325}43264327[State 3]4328{4329 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),4330 schedTerminal::scheduler::crashes: 1,4331 schedTerminal::scheduler::entry: [],4332 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4333 schedTerminal::scheduler::mAssigned: Set(),4334 schedTerminal::scheduler::mBuild: Set(),4335 schedTerminal::scheduler::mDone: Set(),4336 schedTerminal::scheduler::mExpect: Set(),4337 schedTerminal::scheduler::mResult: Set(),4338 schedTerminal::scheduler::mRetry: Set(),4339 schedTerminal::scheduler::mSchedule: Set(),4340 schedTerminal::scheduler::published: 0,4341 schedTerminal::scheduler::publishedBy: Set(),4342 schedTerminal::scheduler::ws:4343 Map(4344 "w1" ->4345 {4346 attached: Set(),4347 built: false,4348 expecting: false,4349 running: false,4350 session: false,4351 up: true4352 },4353 "w2" ->4354 {4355 attached: Set(),4356 built: false,4357 expecting: false,4358 running: false,4359 session: false,4360 up: true4361 }4362 )4363}43644365[violation] Found an issue (368ms at 6375 traces/second).4366Use --verbosity=3 to show executions.4367Use --seed=0xc326af39678897e1 --backend=rust to reproduce.4368error: Invariant violated4369An example execution:43704371[State 0]4372{4373 hookFixed::hook::cache: Set(),4374 hookFixed::hook::drvUploaded: false,4375 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4376 hookFixed::hook::phase: Query,4377 hookFixed::hook::restarts: 0,4378 hookFixed::hook::retries: 0,4379 hookFixed::hook::toUpload: Set()4380}43814382[State 1]4383{4384 hookFixed::hook::cache: Set(),4385 hookFixed::hook::drvUploaded: false,4386 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4387 hookFixed::hook::phase: Query,4388 hookFixed::hook::restarts: 1,4389 hookFixed::hook::retries: 1,4390 hookFixed::hook::toUpload: Set()4391}43924393[State 2]4394{4395 hookFixed::hook::cache: Set("in"),4396 hookFixed::hook::drvUploaded: false,4397 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4398 hookFixed::hook::phase: Upload,4399 hookFixed::hook::restarts: 1,4400 hookFixed::hook::retries: 1,4401 hookFixed::hook::toUpload: Set("drv")4402}44034404[State 3]4405{4406 hookFixed::hook::cache: Set("in"),4407 hookFixed::hook::drvUploaded: false,4408 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4409 hookFixed::hook::phase: Upload,4410 hookFixed::hook::restarts: 2,4411 hookFixed::hook::retries: 2,4412 hookFixed::hook::toUpload: Set("drv")4413}44144415[State 4]4416{4417 hookFixed::hook::cache: Set("drv", "in"),4418 hookFixed::hook::drvUploaded: false,4419 hookFixed::hook::local: Map("w1" -> Set("drv", "in"), "w2" -> Set()),4420 hookFixed::hook::phase: Build,4421 hookFixed::hook::restarts: 2,4422 hookFixed::hook::retries: 2,4423 hookFixed::hook::toUpload: Set("drv")4424}44254426[State 5]4427{4428 hookFixed::hook::cache: Set("drv", "in", "out"),4429 hookFixed::hook::drvUploaded: false,4430 hookFixed::hook::local:4431 Map("w1" -> Set("drv", "in"), "w2" -> Set("drv", "in", "out")),4432 hookFixed::hook::phase: Fetch,4433 hookFixed::hook::restarts: 2,4434 hookFixed::hook::retries: 2,4435 hookFixed::hook::toUpload: Set("drv")4436}44374438[State 6]4439{4440 hookFixed::hook::cache: Set("drv", "in", "out"),4441 hookFixed::hook::drvUploaded: false,4442 hookFixed::hook::local:4443 Map("w1" -> Set("drv", "in"), "w2" -> Set("drv", "in", "out")),4444 hookFixed::hook::phase: Done,4445 hookFixed::hook::restarts: 2,4446 hookFixed::hook::retries: 2,4447 hookFixed::hook::toUpload: Set("drv")4448}44494450[ok] No violation found (158ms at 126582 traces/second).4451Trace length statistics: max=7, min=5, average=6.674452You may increase --max-samples and --max-steps.4453Use --verbosity to produce more (or less) output.4454Use --seed=0x36ae31427dd50481 --backend=rust to reproduce.4455An example execution:44564457[State 0]4458{4459 hookNoSubstituteRefs::hook::cache: Set(),4460 hookNoSubstituteRefs::hook::drvUploaded: false,4461 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4462 hookNoSubstituteRefs::hook::phase: Query,4463 hookNoSubstituteRefs::hook::restarts: 0,4464 hookNoSubstituteRefs::hook::retries: 0,4465 hookNoSubstituteRefs::hook::toUpload: Set()4466}44674468[State 1]4469{4470 hookNoSubstituteRefs::hook::cache: Set("in"),4471 hookNoSubstituteRefs::hook::drvUploaded: false,4472 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4473 hookNoSubstituteRefs::hook::phase: Upload,4474 hookNoSubstituteRefs::hook::restarts: 0,4475 hookNoSubstituteRefs::hook::retries: 0,4476 hookNoSubstituteRefs::hook::toUpload: Set("drv")4477}44784479[State 2]4480{4481 hookNoSubstituteRefs::hook::cache: Set("in"),4482 hookNoSubstituteRefs::hook::drvUploaded: false,4483 hookNoSubstituteRefs::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4484 hookNoSubstituteRefs::hook::phase: Failed,4485 hookNoSubstituteRefs::hook::restarts: 0,4486 hookNoSubstituteRefs::hook::retries: 0,4487 hookNoSubstituteRefs::hook::toUpload: Set("drv")4488}44894490[violation] Found an issue (135ms at 24756 traces/second).4491Use --verbosity=3 to show executions.4492Use --seed=0xb579a5de0f5541a9 --backend=rust to reproduce.4493error: Invariant violated4494An example execution:44954496[State 0]4497{4498 hookNoSubstituteDrv::hook::cache: Set(),4499 hookNoSubstituteDrv::hook::drvUploaded: false,4500 hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4501 hookNoSubstituteDrv::hook::phase: Query,4502 hookNoSubstituteDrv::hook::restarts: 0,4503 hookNoSubstituteDrv::hook::retries: 0,4504 hookNoSubstituteDrv::hook::toUpload: Set()4505}45064507[State 1]4508{4509 hookNoSubstituteDrv::hook::cache: Set("in"),4510 hookNoSubstituteDrv::hook::drvUploaded: false,4511 hookNoSubstituteDrv::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4512 hookNoSubstituteDrv::hook::phase: Upload,4513 hookNoSubstituteDrv::hook::restarts: 0,4514 hookNoSubstituteDrv::hook::retries: 0,4515 hookNoSubstituteDrv::hook::toUpload: Set("drv")4516}45174518[State 2]4519{4520 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4521 hookNoSubstituteDrv::hook::drvUploaded: false,4522 hookNoSubstituteDrv::hook::local:4523 Map("w1" -> Set(), "w2" -> Set("drv", "in")),4524 hookNoSubstituteDrv::hook::phase: Build,4525 hookNoSubstituteDrv::hook::restarts: 0,4526 hookNoSubstituteDrv::hook::retries: 0,4527 hookNoSubstituteDrv::hook::toUpload: Set("drv")4528}45294530[State 3]4531{4532 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4533 hookNoSubstituteDrv::hook::drvUploaded: false,4534 hookNoSubstituteDrv::hook::local:4535 Map("w1" -> Set(), "w2" -> Set("drv", "in")),4536 hookNoSubstituteDrv::hook::phase: UploadDrv,4537 hookNoSubstituteDrv::hook::restarts: 0,4538 hookNoSubstituteDrv::hook::retries: 0,4539 hookNoSubstituteDrv::hook::toUpload: Set("drv")4540}45414542[State 4]4543{4544 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4545 hookNoSubstituteDrv::hook::drvUploaded: true,4546 hookNoSubstituteDrv::hook::local:4547 Map("w1" -> Set(), "w2" -> Set("drv", "in")),4548 hookNoSubstituteDrv::hook::phase: Build,4549 hookNoSubstituteDrv::hook::restarts: 0,4550 hookNoSubstituteDrv::hook::retries: 0,4551 hookNoSubstituteDrv::hook::toUpload: Set("drv")4552}45534554[State 5]4555{4556 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4557 hookNoSubstituteDrv::hook::drvUploaded: true,4558 hookNoSubstituteDrv::hook::local:4559 Map("w1" -> Set(), "w2" -> Set("drv", "in")),4560 hookNoSubstituteDrv::hook::phase: Failed,4561 hookNoSubstituteDrv::hook::restarts: 0,4562 hookNoSubstituteDrv::hook::retries: 0,4563 hookNoSubstituteDrv::hook::toUpload: Set("drv")4564}45654566[violation] Found an issue (159ms at 25610 traces/second).4567Use --verbosity=3 to show executions.4568Use --seed=0x37183c3b2b2af1a --backend=rust to reproduce.4569error: Invariant violated4570An example execution:45714572[State 0]4573{4574 pushFixed::push::byPath: Map(),4575 pushFixed::push::inflight: Set(),4576 pushFixed::push::left: Map(),4577 pushFixed::push::sent: Map()4578}45794580[State 1]4581{4582 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4583 pushFixed::push::inflight: Set((1, "a"), (1, "b")),4584 pushFixed::push::left: Map(1 -> 2),4585 pushFixed::push::sent: Map(1 -> Set("a", "b"))4586}45874588[State 2]4589{4590 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4591 pushFixed::push::inflight: Set((1, "a")),4592 pushFixed::push::left: Map(1 -> 1),4593 pushFixed::push::sent: Map(1 -> Set("a", "b"))4594}45954596[State 3]4597{4598 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4599 pushFixed::push::inflight: Set(),4600 pushFixed::push::left: Map(1 -> 0),4601 pushFixed::push::sent: Map(1 -> Set("a", "b"))4602}46034604[State 4]4605{4606 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4607 pushFixed::push::inflight: Set((3, "a"), (3, "b")),4608 pushFixed::push::left: Map(1 -> 0, 3 -> 2),4609 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))4610}46114612[State 5]4613{4614 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4615 pushFixed::push::inflight: Set((3, "a")),4616 pushFixed::push::left: Map(1 -> 0, 3 -> 1),4617 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))4618}46194620[State 6]4621{4622 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4623 pushFixed::push::inflight: Set(),4624 pushFixed::push::left: Map(1 -> 0, 3 -> 0),4625 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))4626}46274628[State 7]4629{4630 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4631 pushFixed::push::inflight: Set((2, "a"), (2, "b")),4632 pushFixed::push::left: Map(1 -> 0, 2 -> 2, 3 -> 0),4633 pushFixed::push::sent:4634 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4635}46364637[State 8]4638{4639 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4640 pushFixed::push::inflight: Set((2, "b")),4641 pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 0),4642 pushFixed::push::sent:4643 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4644}46454646[State 9]4647{4648 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4649 pushFixed::push::inflight: Set(),4650 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),4651 pushFixed::push::sent:4652 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4653}46544655[ok] No violation found (122ms at 163934 traces/second).4656Trace length statistics: max=10, min=7, average=7.984657You may increase --max-samples and --max-steps.4658Use --verbosity to produce more (or less) output.4659Use --seed=0x831eb9df604cd47d --backend=rust to reproduce.