nix-grpc-store-spec
checks.aarch64-linux.spec
· build #194
· raw
1tribuchet: building on eliza2An example execution:34[State 0]5{6 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),7 schedFixed::scheduler::crashes: 0,8 schedFixed::scheduler::entry: [],9 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),10 schedFixed::scheduler::mAssigned: Set(),11 schedFixed::scheduler::mBuild: Set(),12 schedFixed::scheduler::mDone: Set(),13 schedFixed::scheduler::mExpect: Set(),14 schedFixed::scheduler::mResult: Set(),15 schedFixed::scheduler::mRetry: Set(),16 schedFixed::scheduler::mSchedule: Set(),17 schedFixed::scheduler::published: 0,18 schedFixed::scheduler::publishedBy: Set(),19 schedFixed::scheduler::ws:20 Map(21 "w1" ->22 {23 attached: Set(),24 built: false,25 expecting: false,26 running: false,27 session: true,28 up: true29 },30 "w2" ->31 {32 attached: Set(),33 built: false,34 expecting: false,35 running: false,36 session: true,37 up: true38 }39 )40}4142[State 1]43{44 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),45 schedFixed::scheduler::crashes: 0,46 schedFixed::scheduler::entry: [],47 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),48 schedFixed::scheduler::mAssigned: Set(),49 schedFixed::scheduler::mBuild: Set(),50 schedFixed::scheduler::mDone: Set(),51 schedFixed::scheduler::mExpect: Set(),52 schedFixed::scheduler::mResult: Set(),53 schedFixed::scheduler::mRetry: Set(),54 schedFixed::scheduler::mSchedule: Set("c1"),55 schedFixed::scheduler::published: 0,56 schedFixed::scheduler::publishedBy: Set(),57 schedFixed::scheduler::ws:58 Map(59 "w1" ->60 {61 attached: Set(),62 built: false,63 expecting: false,64 running: false,65 session: true,66 up: true67 },68 "w2" ->69 {70 attached: Set(),71 built: false,72 expecting: false,73 running: false,74 session: true,75 up: true76 }77 )78}7980[State 2]81{82 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),83 schedFixed::scheduler::crashes: 0,84 schedFixed::scheduler::entry:85 [{ followers: Set("c1"), leased: true, worker: "w1" }],86 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),87 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),88 schedFixed::scheduler::mBuild: Set(),89 schedFixed::scheduler::mDone: Set(),90 schedFixed::scheduler::mExpect: Set("w1"),91 schedFixed::scheduler::mResult: Set(),92 schedFixed::scheduler::mRetry: Set(),93 schedFixed::scheduler::mSchedule: Set(),94 schedFixed::scheduler::published: 0,95 schedFixed::scheduler::publishedBy: Set(),96 schedFixed::scheduler::ws:97 Map(98 "w1" ->99 {100 attached: Set(),101 built: false,102 expecting: false,103 running: false,104 session: true,105 up: true106 },107 "w2" ->108 {109 attached: Set(),110 built: false,111 expecting: false,112 running: false,113 session: true,114 up: true115 }116 )117}118119[State 3]120{121 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),122 schedFixed::scheduler::crashes: 0,123 schedFixed::scheduler::entry:124 [{ followers: Set("c1"), leased: true, worker: "w1" }],125 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),126 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),127 schedFixed::scheduler::mBuild: Set(),128 schedFixed::scheduler::mDone: Set(),129 schedFixed::scheduler::mExpect: Set("w1"),130 schedFixed::scheduler::mResult: Set(),131 schedFixed::scheduler::mRetry: Set(),132 schedFixed::scheduler::mSchedule: Set("c2"),133 schedFixed::scheduler::published: 0,134 schedFixed::scheduler::publishedBy: Set(),135 schedFixed::scheduler::ws:136 Map(137 "w1" ->138 {139 attached: Set(),140 built: false,141 expecting: false,142 running: false,143 session: true,144 up: true145 },146 "w2" ->147 {148 attached: Set(),149 built: false,150 expecting: false,151 running: false,152 session: true,153 up: true154 }155 )156}157158[State 4]159{160 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),161 schedFixed::scheduler::crashes: 1,162 schedFixed::scheduler::entry:163 [{ followers: Set("c1"), leased: true, worker: "w1" }],164 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),165 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),166 schedFixed::scheduler::mBuild: Set(),167 schedFixed::scheduler::mDone: Set(),168 schedFixed::scheduler::mExpect: Set("w1"),169 schedFixed::scheduler::mResult: Set(),170 schedFixed::scheduler::mRetry: Set(),171 schedFixed::scheduler::mSchedule: Set("c2"),172 schedFixed::scheduler::published: 0,173 schedFixed::scheduler::publishedBy: Set(),174 schedFixed::scheduler::ws:175 Map(176 "w1" ->177 {178 attached: Set(),179 built: false,180 expecting: false,181 running: false,182 session: true,183 up: true184 },185 "w2" ->186 {187 attached: Set(),188 built: false,189 expecting: false,190 running: false,191 session: false,192 up: false193 }194 )195}196197[State 5]198{199 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),200 schedFixed::scheduler::crashes: 1,201 schedFixed::scheduler::entry:202 [{ followers: Set("c1"), leased: true, worker: "w1" }],203 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),204 schedFixed::scheduler::mAssigned: Set(),205 schedFixed::scheduler::mBuild: Set(("c1", "w1")),206 schedFixed::scheduler::mDone: Set(),207 schedFixed::scheduler::mExpect: Set("w1"),208 schedFixed::scheduler::mResult: Set(),209 schedFixed::scheduler::mRetry: Set(),210 schedFixed::scheduler::mSchedule: Set("c2"),211 schedFixed::scheduler::published: 0,212 schedFixed::scheduler::publishedBy: Set(),213 schedFixed::scheduler::ws:214 Map(215 "w1" ->216 {217 attached: Set(),218 built: false,219 expecting: false,220 running: false,221 session: true,222 up: true223 },224 "w2" ->225 {226 attached: Set(),227 built: false,228 expecting: false,229 running: false,230 session: false,231 up: false232 }233 )234}235236[State 6]237{238 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),239 schedFixed::scheduler::crashes: 1,240 schedFixed::scheduler::entry:241 [{ followers: Set("c1"), leased: true, worker: "w1" }],242 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),243 schedFixed::scheduler::mAssigned: Set(),244 schedFixed::scheduler::mBuild: Set(),245 schedFixed::scheduler::mDone: Set(),246 schedFixed::scheduler::mExpect: Set("w1"),247 schedFixed::scheduler::mResult: Set(),248 schedFixed::scheduler::mRetry: Set("c1"),249 schedFixed::scheduler::mSchedule: Set("c2"),250 schedFixed::scheduler::published: 0,251 schedFixed::scheduler::publishedBy: Set(),252 schedFixed::scheduler::ws:253 Map(254 "w1" ->255 {256 attached: Set(),257 built: false,258 expecting: false,259 running: false,260 session: true,261 up: true262 },263 "w2" ->264 {265 attached: Set(),266 built: false,267 expecting: false,268 running: false,269 session: false,270 up: false271 }272 )273}274275[State 7]276{277 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),278 schedFixed::scheduler::crashes: 1,279 schedFixed::scheduler::entry:280 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],281 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),282 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),283 schedFixed::scheduler::mBuild: Set(),284 schedFixed::scheduler::mDone: Set(),285 schedFixed::scheduler::mExpect: Set("w1"),286 schedFixed::scheduler::mResult: Set(),287 schedFixed::scheduler::mRetry: Set("c1"),288 schedFixed::scheduler::mSchedule: Set(),289 schedFixed::scheduler::published: 0,290 schedFixed::scheduler::publishedBy: Set(),291 schedFixed::scheduler::ws:292 Map(293 "w1" ->294 {295 attached: Set(),296 built: false,297 expecting: false,298 running: false,299 session: true,300 up: true301 },302 "w2" ->303 {304 attached: Set(),305 built: false,306 expecting: false,307 running: false,308 session: false,309 up: false310 }311 )312}313314[State 8]315{316 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),317 schedFixed::scheduler::crashes: 1,318 schedFixed::scheduler::entry:319 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],320 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),321 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),322 schedFixed::scheduler::mBuild: Set(),323 schedFixed::scheduler::mDone: Set(),324 schedFixed::scheduler::mExpect: Set("w1"),325 schedFixed::scheduler::mResult: Set(),326 schedFixed::scheduler::mRetry: Set("c1"),327 schedFixed::scheduler::mSchedule: Set(),328 schedFixed::scheduler::published: 0,329 schedFixed::scheduler::publishedBy: Set(),330 schedFixed::scheduler::ws:331 Map(332 "w1" ->333 {334 attached: Set(),335 built: false,336 expecting: false,337 running: false,338 session: true,339 up: true340 },341 "w2" ->342 {343 attached: Set(),344 built: false,345 expecting: false,346 running: false,347 session: true,348 up: true349 }350 )351}352353[State 9]354{355 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),356 schedFixed::scheduler::crashes: 2,357 schedFixed::scheduler::entry: [],358 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),359 schedFixed::scheduler::mAssigned: Set(),360 schedFixed::scheduler::mBuild: Set(),361 schedFixed::scheduler::mDone: Set(),362 schedFixed::scheduler::mExpect: Set(),363 schedFixed::scheduler::mResult: Set(),364 schedFixed::scheduler::mRetry: Set("c1", "c2"),365 schedFixed::scheduler::mSchedule: Set(),366 schedFixed::scheduler::published: 0,367 schedFixed::scheduler::publishedBy: Set(),368 schedFixed::scheduler::ws:369 Map(370 "w1" ->371 {372 attached: Set(),373 built: false,374 expecting: false,375 running: false,376 session: true,377 up: true378 },379 "w2" ->380 {381 attached: Set(),382 built: false,383 expecting: false,384 running: false,385 session: true,386 up: true387 }388 )389}390391[State 10]392{393 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),394 schedFixed::scheduler::crashes: 2,395 schedFixed::scheduler::entry: [],396 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),397 schedFixed::scheduler::mAssigned: Set(),398 schedFixed::scheduler::mBuild: Set(),399 schedFixed::scheduler::mDone: Set(),400 schedFixed::scheduler::mExpect: Set(),401 schedFixed::scheduler::mResult: Set(),402 schedFixed::scheduler::mRetry: Set("c2"),403 schedFixed::scheduler::mSchedule: Set("c1"),404 schedFixed::scheduler::published: 0,405 schedFixed::scheduler::publishedBy: Set(),406 schedFixed::scheduler::ws:407 Map(408 "w1" ->409 {410 attached: Set(),411 built: false,412 expecting: false,413 running: false,414 session: true,415 up: true416 },417 "w2" ->418 {419 attached: Set(),420 built: false,421 expecting: false,422 running: false,423 session: true,424 up: true425 }426 )427}428429[State 11]430{431 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),432 schedFixed::scheduler::crashes: 2,433 schedFixed::scheduler::entry: [],434 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),435 schedFixed::scheduler::mAssigned: Set(),436 schedFixed::scheduler::mBuild: Set(),437 schedFixed::scheduler::mDone: Set(),438 schedFixed::scheduler::mExpect: Set(),439 schedFixed::scheduler::mResult: Set(),440 schedFixed::scheduler::mRetry: Set(),441 schedFixed::scheduler::mSchedule: Set("c1", "c2"),442 schedFixed::scheduler::published: 0,443 schedFixed::scheduler::publishedBy: Set(),444 schedFixed::scheduler::ws:445 Map(446 "w1" ->447 {448 attached: Set(),449 built: false,450 expecting: false,451 running: false,452 session: true,453 up: true454 },455 "w2" ->456 {457 attached: Set(),458 built: false,459 expecting: false,460 running: false,461 session: true,462 up: true463 }464 )465}466467[State 12]468{469 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),470 schedFixed::scheduler::crashes: 2,471 schedFixed::scheduler::entry:472 [{ followers: Set("c2"), leased: true, worker: "w1" }],473 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),474 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),475 schedFixed::scheduler::mBuild: Set(),476 schedFixed::scheduler::mDone: Set(),477 schedFixed::scheduler::mExpect: Set("w1"),478 schedFixed::scheduler::mResult: Set(),479 schedFixed::scheduler::mRetry: Set(),480 schedFixed::scheduler::mSchedule: Set("c1"),481 schedFixed::scheduler::published: 0,482 schedFixed::scheduler::publishedBy: Set(),483 schedFixed::scheduler::ws:484 Map(485 "w1" ->486 {487 attached: Set(),488 built: false,489 expecting: false,490 running: false,491 session: true,492 up: true493 },494 "w2" ->495 {496 attached: Set(),497 built: false,498 expecting: false,499 running: false,500 session: true,501 up: true502 }503 )504}505506[State 13]507{508 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),509 schedFixed::scheduler::crashes: 2,510 schedFixed::scheduler::entry:511 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],512 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),513 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),514 schedFixed::scheduler::mBuild: Set(),515 schedFixed::scheduler::mDone: Set(),516 schedFixed::scheduler::mExpect: Set("w1"),517 schedFixed::scheduler::mResult: Set(),518 schedFixed::scheduler::mRetry: Set(),519 schedFixed::scheduler::mSchedule: Set(),520 schedFixed::scheduler::published: 0,521 schedFixed::scheduler::publishedBy: Set(),522 schedFixed::scheduler::ws:523 Map(524 "w1" ->525 {526 attached: Set(),527 built: false,528 expecting: false,529 running: false,530 session: true,531 up: true532 },533 "w2" ->534 {535 attached: Set(),536 built: false,537 expecting: false,538 running: false,539 session: true,540 up: true541 }542 )543}544545[State 14]546{547 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),548 schedFixed::scheduler::crashes: 2,549 schedFixed::scheduler::entry:550 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],551 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),552 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),553 schedFixed::scheduler::mBuild: Set(("c1", "w1")),554 schedFixed::scheduler::mDone: Set(),555 schedFixed::scheduler::mExpect: Set("w1"),556 schedFixed::scheduler::mResult: Set(),557 schedFixed::scheduler::mRetry: Set(),558 schedFixed::scheduler::mSchedule: Set(),559 schedFixed::scheduler::published: 0,560 schedFixed::scheduler::publishedBy: Set(),561 schedFixed::scheduler::ws:562 Map(563 "w1" ->564 {565 attached: Set(),566 built: false,567 expecting: false,568 running: false,569 session: true,570 up: true571 },572 "w2" ->573 {574 attached: Set(),575 built: false,576 expecting: false,577 running: false,578 session: true,579 up: true580 }581 )582}583584[State 15]585{586 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),587 schedFixed::scheduler::crashes: 2,588 schedFixed::scheduler::entry:589 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],590 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),591 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),592 schedFixed::scheduler::mBuild: Set(),593 schedFixed::scheduler::mDone: Set(),594 schedFixed::scheduler::mExpect: Set("w1"),595 schedFixed::scheduler::mResult: Set(),596 schedFixed::scheduler::mRetry: Set("c1"),597 schedFixed::scheduler::mSchedule: Set(),598 schedFixed::scheduler::published: 0,599 schedFixed::scheduler::publishedBy: Set(),600 schedFixed::scheduler::ws:601 Map(602 "w1" ->603 {604 attached: Set(),605 built: false,606 expecting: false,607 running: false,608 session: true,609 up: true610 },611 "w2" ->612 {613 attached: Set(),614 built: false,615 expecting: false,616 running: false,617 session: true,618 up: true619 }620 )621}622623[State 16]624{625 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),626 schedFixed::scheduler::crashes: 2,627 schedFixed::scheduler::entry:628 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],629 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),630 schedFixed::scheduler::mAssigned: Set(),631 schedFixed::scheduler::mBuild: Set(("c2", "w1")),632 schedFixed::scheduler::mDone: Set(),633 schedFixed::scheduler::mExpect: Set("w1"),634 schedFixed::scheduler::mResult: Set(),635 schedFixed::scheduler::mRetry: Set("c1"),636 schedFixed::scheduler::mSchedule: Set(),637 schedFixed::scheduler::published: 0,638 schedFixed::scheduler::publishedBy: Set(),639 schedFixed::scheduler::ws:640 Map(641 "w1" ->642 {643 attached: Set(),644 built: false,645 expecting: false,646 running: false,647 session: true,648 up: true649 },650 "w2" ->651 {652 attached: Set(),653 built: false,654 expecting: false,655 running: false,656 session: true,657 up: true658 }659 )660}661662[State 17]663{664 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),665 schedFixed::scheduler::crashes: 2,666 schedFixed::scheduler::entry:667 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],668 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),669 schedFixed::scheduler::mAssigned: Set(),670 schedFixed::scheduler::mBuild: Set(),671 schedFixed::scheduler::mDone: Set(),672 schedFixed::scheduler::mExpect: Set("w1"),673 schedFixed::scheduler::mResult: Set(),674 schedFixed::scheduler::mRetry: Set("c1", "c2"),675 schedFixed::scheduler::mSchedule: Set(),676 schedFixed::scheduler::published: 0,677 schedFixed::scheduler::publishedBy: Set(),678 schedFixed::scheduler::ws:679 Map(680 "w1" ->681 {682 attached: Set(),683 built: false,684 expecting: false,685 running: false,686 session: true,687 up: true688 },689 "w2" ->690 {691 attached: Set(),692 built: false,693 expecting: false,694 running: false,695 session: true,696 up: true697 }698 )699}700701[State 18]702{703 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),704 schedFixed::scheduler::crashes: 2,705 schedFixed::scheduler::entry:706 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],707 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),708 schedFixed::scheduler::mAssigned: Set(),709 schedFixed::scheduler::mBuild: Set(),710 schedFixed::scheduler::mDone: Set(),711 schedFixed::scheduler::mExpect: Set("w1"),712 schedFixed::scheduler::mResult: Set(),713 schedFixed::scheduler::mRetry: Set("c1"),714 schedFixed::scheduler::mSchedule: Set("c2"),715 schedFixed::scheduler::published: 0,716 schedFixed::scheduler::publishedBy: Set(),717 schedFixed::scheduler::ws:718 Map(719 "w1" ->720 {721 attached: Set(),722 built: false,723 expecting: false,724 running: false,725 session: true,726 up: true727 },728 "w2" ->729 {730 attached: Set(),731 built: false,732 expecting: false,733 running: false,734 session: true,735 up: true736 }737 )738}739740[State 19]741{742 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),743 schedFixed::scheduler::crashes: 2,744 schedFixed::scheduler::entry:745 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],746 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),747 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),748 schedFixed::scheduler::mBuild: Set(),749 schedFixed::scheduler::mDone: Set(),750 schedFixed::scheduler::mExpect: Set("w1"),751 schedFixed::scheduler::mResult: Set(),752 schedFixed::scheduler::mRetry: Set("c1"),753 schedFixed::scheduler::mSchedule: Set(),754 schedFixed::scheduler::published: 0,755 schedFixed::scheduler::publishedBy: Set(),756 schedFixed::scheduler::ws:757 Map(758 "w1" ->759 {760 attached: Set(),761 built: false,762 expecting: false,763 running: false,764 session: true,765 up: true766 },767 "w2" ->768 {769 attached: Set(),770 built: false,771 expecting: false,772 running: false,773 session: true,774 up: true775 }776 )777}778779[State 20]780{781 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),782 schedFixed::scheduler::crashes: 2,783 schedFixed::scheduler::entry:784 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],785 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),786 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),787 schedFixed::scheduler::mBuild: Set(),788 schedFixed::scheduler::mDone: Set(),789 schedFixed::scheduler::mExpect: Set(),790 schedFixed::scheduler::mResult: Set(),791 schedFixed::scheduler::mRetry: Set("c1"),792 schedFixed::scheduler::mSchedule: Set(),793 schedFixed::scheduler::published: 0,794 schedFixed::scheduler::publishedBy: Set(),795 schedFixed::scheduler::ws:796 Map(797 "w1" ->798 {799 attached: Set(),800 built: false,801 expecting: true,802 running: true,803 session: true,804 up: true805 },806 "w2" ->807 {808 attached: Set(),809 built: false,810 expecting: false,811 running: false,812 session: true,813 up: true814 }815 )816}817818[State 21]819{820 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),821 schedFixed::scheduler::crashes: 2,822 schedFixed::scheduler::entry:823 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],824 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),825 schedFixed::scheduler::mAssigned: Set(),826 schedFixed::scheduler::mBuild: Set(("c2", "w1")),827 schedFixed::scheduler::mDone: Set(),828 schedFixed::scheduler::mExpect: Set(),829 schedFixed::scheduler::mResult: Set(),830 schedFixed::scheduler::mRetry: Set("c1"),831 schedFixed::scheduler::mSchedule: Set(),832 schedFixed::scheduler::published: 0,833 schedFixed::scheduler::publishedBy: Set(),834 schedFixed::scheduler::ws:835 Map(836 "w1" ->837 {838 attached: Set(),839 built: false,840 expecting: true,841 running: true,842 session: true,843 up: true844 },845 "w2" ->846 {847 attached: Set(),848 built: false,849 expecting: false,850 running: false,851 session: true,852 up: true853 }854 )855}856857[State 22]858{859 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),860 schedFixed::scheduler::crashes: 2,861 schedFixed::scheduler::entry:862 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],863 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),864 schedFixed::scheduler::mAssigned: Set(),865 schedFixed::scheduler::mBuild: Set(("c2", "w1")),866 schedFixed::scheduler::mDone: Set(),867 schedFixed::scheduler::mExpect: Set(),868 schedFixed::scheduler::mResult: Set(),869 schedFixed::scheduler::mRetry: Set(),870 schedFixed::scheduler::mSchedule: Set("c1"),871 schedFixed::scheduler::published: 0,872 schedFixed::scheduler::publishedBy: Set(),873 schedFixed::scheduler::ws:874 Map(875 "w1" ->876 {877 attached: Set(),878 built: false,879 expecting: true,880 running: true,881 session: true,882 up: true883 },884 "w2" ->885 {886 attached: Set(),887 built: false,888 expecting: false,889 running: false,890 session: true,891 up: true892 }893 )894}895896[State 23]897{898 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),899 schedFixed::scheduler::crashes: 2,900 schedFixed::scheduler::entry:901 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],902 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),903 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),904 schedFixed::scheduler::mBuild: Set(("c2", "w1")),905 schedFixed::scheduler::mDone: Set(),906 schedFixed::scheduler::mExpect: Set(),907 schedFixed::scheduler::mResult: Set(),908 schedFixed::scheduler::mRetry: Set(),909 schedFixed::scheduler::mSchedule: Set(),910 schedFixed::scheduler::published: 0,911 schedFixed::scheduler::publishedBy: Set(),912 schedFixed::scheduler::ws:913 Map(914 "w1" ->915 {916 attached: Set(),917 built: false,918 expecting: true,919 running: true,920 session: true,921 up: true922 },923 "w2" ->924 {925 attached: Set(),926 built: false,927 expecting: false,928 running: false,929 session: true,930 up: true931 }932 )933}934935[State 24]936{937 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),938 schedFixed::scheduler::crashes: 2,939 schedFixed::scheduler::entry:940 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],941 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),942 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),943 schedFixed::scheduler::mBuild: Set(("c2", "w1")),944 schedFixed::scheduler::mDone: Set("w1"),945 schedFixed::scheduler::mExpect: Set(),946 schedFixed::scheduler::mResult: Set(),947 schedFixed::scheduler::mRetry: Set(),948 schedFixed::scheduler::mSchedule: Set(),949 schedFixed::scheduler::published: 1,950 schedFixed::scheduler::publishedBy: Set("w1"),951 schedFixed::scheduler::ws:952 Map(953 "w1" ->954 {955 attached: Set(),956 built: true,957 expecting: false,958 running: false,959 session: true,960 up: true961 },962 "w2" ->963 {964 attached: Set(),965 built: false,966 expecting: false,967 running: false,968 session: true,969 up: true970 }971 )972}973974[State 25]975{976 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),977 schedFixed::scheduler::crashes: 2,978 schedFixed::scheduler::entry:979 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],980 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),981 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),982 schedFixed::scheduler::mBuild: Set(),983 schedFixed::scheduler::mDone: Set("w1"),984 schedFixed::scheduler::mExpect: Set(),985 schedFixed::scheduler::mResult: Set("c2"),986 schedFixed::scheduler::mRetry: Set(),987 schedFixed::scheduler::mSchedule: Set(),988 schedFixed::scheduler::published: 1,989 schedFixed::scheduler::publishedBy: Set("w1"),990 schedFixed::scheduler::ws:991 Map(992 "w1" ->993 {994 attached: Set(),995 built: true,996 expecting: false,997 running: false,998 session: true,999 up: true1000 },1001 "w2" ->1002 {1003 attached: Set(),1004 built: false,1005 expecting: false,1006 running: false,1007 session: true,1008 up: true1009 }1010 )1011}10121013[State 26]1014{1015 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1016 schedFixed::scheduler::crashes: 2,1017 schedFixed::scheduler::entry: [],1018 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1019 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1020 schedFixed::scheduler::mBuild: Set(),1021 schedFixed::scheduler::mDone: Set(),1022 schedFixed::scheduler::mExpect: Set(),1023 schedFixed::scheduler::mResult: Set("c2"),1024 schedFixed::scheduler::mRetry: Set(),1025 schedFixed::scheduler::mSchedule: Set(),1026 schedFixed::scheduler::published: 1,1027 schedFixed::scheduler::publishedBy: Set("w1"),1028 schedFixed::scheduler::ws:1029 Map(1030 "w1" ->1031 {1032 attached: Set(),1033 built: true,1034 expecting: false,1035 running: false,1036 session: true,1037 up: true1038 },1039 "w2" ->1040 {1041 attached: Set(),1042 built: false,1043 expecting: false,1044 running: false,1045 session: true,1046 up: true1047 }1048 )1049}10501051[State 27]1052{1053 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),1054 schedFixed::scheduler::crashes: 2,1055 schedFixed::scheduler::entry: [],1056 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1057 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1058 schedFixed::scheduler::mBuild: Set(),1059 schedFixed::scheduler::mDone: Set(),1060 schedFixed::scheduler::mExpect: Set(),1061 schedFixed::scheduler::mResult: Set(),1062 schedFixed::scheduler::mRetry: Set(),1063 schedFixed::scheduler::mSchedule: Set(),1064 schedFixed::scheduler::published: 1,1065 schedFixed::scheduler::publishedBy: Set("w1"),1066 schedFixed::scheduler::ws:1067 Map(1068 "w1" ->1069 {1070 attached: Set(),1071 built: true,1072 expecting: false,1073 running: false,1074 session: true,1075 up: true1076 },1077 "w2" ->1078 {1079 attached: Set(),1080 built: false,1081 expecting: false,1082 running: false,1083 session: true,1084 up: true1085 }1086 )1087}10881089[State 28]1090{1091 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CDone),1092 schedFixed::scheduler::crashes: 2,1093 schedFixed::scheduler::entry: [],1094 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1095 schedFixed::scheduler::mAssigned: Set(),1096 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1097 schedFixed::scheduler::mDone: Set(),1098 schedFixed::scheduler::mExpect: Set(),1099 schedFixed::scheduler::mResult: Set(),1100 schedFixed::scheduler::mRetry: Set(),1101 schedFixed::scheduler::mSchedule: Set(),1102 schedFixed::scheduler::published: 1,1103 schedFixed::scheduler::publishedBy: Set("w1"),1104 schedFixed::scheduler::ws:1105 Map(1106 "w1" ->1107 {1108 attached: Set(),1109 built: true,1110 expecting: false,1111 running: false,1112 session: true,1113 up: true1114 },1115 "w2" ->1116 {1117 attached: Set(),1118 built: false,1119 expecting: false,1120 running: false,1121 session: true,1122 up: true1123 }1124 )1125}11261127[State 29]1128{1129 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CDone),1130 schedFixed::scheduler::crashes: 2,1131 schedFixed::scheduler::entry: [],1132 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1133 schedFixed::scheduler::mAssigned: Set(),1134 schedFixed::scheduler::mBuild: Set(),1135 schedFixed::scheduler::mDone: Set(),1136 schedFixed::scheduler::mExpect: Set(),1137 schedFixed::scheduler::mResult: Set("c1"),1138 schedFixed::scheduler::mRetry: Set(),1139 schedFixed::scheduler::mSchedule: Set(),1140 schedFixed::scheduler::published: 1,1141 schedFixed::scheduler::publishedBy: Set("w1"),1142 schedFixed::scheduler::ws:1143 Map(1144 "w1" ->1145 {1146 attached: Set(),1147 built: true,1148 expecting: false,1149 running: false,1150 session: true,1151 up: true1152 },1153 "w2" ->1154 {1155 attached: Set(),1156 built: false,1157 expecting: false,1158 running: false,1159 session: true,1160 up: true1161 }1162 )1163}11641165[State 30]1166{1167 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),1168 schedFixed::scheduler::crashes: 2,1169 schedFixed::scheduler::entry: [],1170 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1171 schedFixed::scheduler::mAssigned: Set(),1172 schedFixed::scheduler::mBuild: Set(),1173 schedFixed::scheduler::mDone: Set(),1174 schedFixed::scheduler::mExpect: Set(),1175 schedFixed::scheduler::mResult: Set(),1176 schedFixed::scheduler::mRetry: Set(),1177 schedFixed::scheduler::mSchedule: Set(),1178 schedFixed::scheduler::published: 1,1179 schedFixed::scheduler::publishedBy: Set("w1"),1180 schedFixed::scheduler::ws:1181 Map(1182 "w1" ->1183 {1184 attached: Set(),1185 built: true,1186 expecting: false,1187 running: false,1188 session: true,1189 up: true1190 },1191 "w2" ->1192 {1193 attached: Set(),1194 built: false,1195 expecting: false,1196 running: false,1197 session: true,1198 up: true1199 }1200 )1201}12021203[ok] No violation found (7094ms at 4229 traces/second).1204Trace length statistics: max=27, min=14, average=17.881205You may increase --max-samples and --max-steps.1206Use --verbosity to produce more (or less) output.1207Use --seed=0x1477875f26bc8154 --backend=rust to reproduce.1208An example execution:12091210[State 0]1211{1212 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1213 schedNoFence::scheduler::crashes: 0,1214 schedNoFence::scheduler::entry: [],1215 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1216 schedNoFence::scheduler::mAssigned: Set(),1217 schedNoFence::scheduler::mBuild: Set(),1218 schedNoFence::scheduler::mDone: Set(),1219 schedNoFence::scheduler::mExpect: Set(),1220 schedNoFence::scheduler::mResult: Set(),1221 schedNoFence::scheduler::mRetry: Set(),1222 schedNoFence::scheduler::mSchedule: Set(),1223 schedNoFence::scheduler::published: 0,1224 schedNoFence::scheduler::publishedBy: Set(),1225 schedNoFence::scheduler::ws:1226 Map(1227 "w1" ->1228 {1229 attached: Set(),1230 built: false,1231 expecting: false,1232 running: false,1233 session: true,1234 up: true1235 },1236 "w2" ->1237 {1238 attached: Set(),1239 built: false,1240 expecting: false,1241 running: false,1242 session: true,1243 up: true1244 }1245 )1246}12471248[State 1]1249{1250 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1251 schedNoFence::scheduler::crashes: 0,1252 schedNoFence::scheduler::entry: [],1253 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1254 schedNoFence::scheduler::mAssigned: Set(),1255 schedNoFence::scheduler::mBuild: Set(),1256 schedNoFence::scheduler::mDone: Set(),1257 schedNoFence::scheduler::mExpect: Set(),1258 schedNoFence::scheduler::mResult: Set(),1259 schedNoFence::scheduler::mRetry: Set(),1260 schedNoFence::scheduler::mSchedule: Set("c2"),1261 schedNoFence::scheduler::published: 0,1262 schedNoFence::scheduler::publishedBy: Set(),1263 schedNoFence::scheduler::ws:1264 Map(1265 "w1" ->1266 {1267 attached: Set(),1268 built: false,1269 expecting: false,1270 running: false,1271 session: true,1272 up: true1273 },1274 "w2" ->1275 {1276 attached: Set(),1277 built: false,1278 expecting: false,1279 running: false,1280 session: true,1281 up: true1282 }1283 )1284}12851286[State 2]1287{1288 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1289 schedNoFence::scheduler::crashes: 0,1290 schedNoFence::scheduler::entry: [],1291 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1292 schedNoFence::scheduler::mAssigned: Set(),1293 schedNoFence::scheduler::mBuild: Set(),1294 schedNoFence::scheduler::mDone: Set(),1295 schedNoFence::scheduler::mExpect: Set(),1296 schedNoFence::scheduler::mResult: Set(),1297 schedNoFence::scheduler::mRetry: Set(),1298 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),1299 schedNoFence::scheduler::published: 0,1300 schedNoFence::scheduler::publishedBy: Set(),1301 schedNoFence::scheduler::ws:1302 Map(1303 "w1" ->1304 {1305 attached: Set(),1306 built: false,1307 expecting: false,1308 running: false,1309 session: true,1310 up: true1311 },1312 "w2" ->1313 {1314 attached: Set(),1315 built: false,1316 expecting: false,1317 running: false,1318 session: true,1319 up: true1320 }1321 )1322}13231324[State 3]1325{1326 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1327 schedNoFence::scheduler::crashes: 1,1328 schedNoFence::scheduler::entry: [],1329 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1330 schedNoFence::scheduler::mAssigned: Set(),1331 schedNoFence::scheduler::mBuild: Set(),1332 schedNoFence::scheduler::mDone: Set(),1333 schedNoFence::scheduler::mExpect: Set(),1334 schedNoFence::scheduler::mResult: Set(),1335 schedNoFence::scheduler::mRetry: Set(),1336 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),1337 schedNoFence::scheduler::published: 0,1338 schedNoFence::scheduler::publishedBy: Set(),1339 schedNoFence::scheduler::ws:1340 Map(1341 "w1" ->1342 {1343 attached: Set(),1344 built: false,1345 expecting: false,1346 running: false,1347 session: true,1348 up: true1349 },1350 "w2" ->1351 {1352 attached: Set(),1353 built: false,1354 expecting: false,1355 running: false,1356 session: false,1357 up: false1358 }1359 )1360}13611362[State 4]1363{1364 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1365 schedNoFence::scheduler::crashes: 1,1366 schedNoFence::scheduler::entry:1367 [{ followers: Set("c1"), leased: true, worker: "w1" }],1368 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1369 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1370 schedNoFence::scheduler::mBuild: Set(),1371 schedNoFence::scheduler::mDone: Set(),1372 schedNoFence::scheduler::mExpect: Set("w1"),1373 schedNoFence::scheduler::mResult: Set(),1374 schedNoFence::scheduler::mRetry: Set(),1375 schedNoFence::scheduler::mSchedule: Set("c2"),1376 schedNoFence::scheduler::published: 0,1377 schedNoFence::scheduler::publishedBy: Set(),1378 schedNoFence::scheduler::ws:1379 Map(1380 "w1" ->1381 {1382 attached: Set(),1383 built: false,1384 expecting: false,1385 running: false,1386 session: true,1387 up: true1388 },1389 "w2" ->1390 {1391 attached: Set(),1392 built: false,1393 expecting: false,1394 running: false,1395 session: false,1396 up: false1397 }1398 )1399}14001401[State 5]1402{1403 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1404 schedNoFence::scheduler::crashes: 1,1405 schedNoFence::scheduler::entry:1406 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1407 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1408 schedNoFence::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1409 schedNoFence::scheduler::mBuild: Set(),1410 schedNoFence::scheduler::mDone: Set(),1411 schedNoFence::scheduler::mExpect: Set("w1"),1412 schedNoFence::scheduler::mResult: Set(),1413 schedNoFence::scheduler::mRetry: Set(),1414 schedNoFence::scheduler::mSchedule: Set(),1415 schedNoFence::scheduler::published: 0,1416 schedNoFence::scheduler::publishedBy: Set(),1417 schedNoFence::scheduler::ws:1418 Map(1419 "w1" ->1420 {1421 attached: Set(),1422 built: false,1423 expecting: false,1424 running: false,1425 session: true,1426 up: true1427 },1428 "w2" ->1429 {1430 attached: Set(),1431 built: false,1432 expecting: false,1433 running: false,1434 session: false,1435 up: false1436 }1437 )1438}14391440[State 6]1441{1442 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1443 schedNoFence::scheduler::crashes: 2,1444 schedNoFence::scheduler::entry:1445 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1446 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1447 schedNoFence::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1448 schedNoFence::scheduler::mBuild: Set(),1449 schedNoFence::scheduler::mDone: Set(),1450 schedNoFence::scheduler::mExpect: Set(),1451 schedNoFence::scheduler::mResult: Set(),1452 schedNoFence::scheduler::mRetry: Set(),1453 schedNoFence::scheduler::mSchedule: Set(),1454 schedNoFence::scheduler::published: 0,1455 schedNoFence::scheduler::publishedBy: Set(),1456 schedNoFence::scheduler::ws:1457 Map(1458 "w1" ->1459 {1460 attached: Set(),1461 built: false,1462 expecting: false,1463 running: false,1464 session: false,1465 up: false1466 },1467 "w2" ->1468 {1469 attached: Set(),1470 built: false,1471 expecting: false,1472 running: false,1473 session: false,1474 up: false1475 }1476 )1477}14781479[State 7]1480{1481 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1482 schedNoFence::scheduler::crashes: 2,1483 schedNoFence::scheduler::entry:1484 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1485 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1486 schedNoFence::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1487 schedNoFence::scheduler::mBuild: Set(),1488 schedNoFence::scheduler::mDone: Set(),1489 schedNoFence::scheduler::mExpect: Set(),1490 schedNoFence::scheduler::mResult: Set(),1491 schedNoFence::scheduler::mRetry: Set(),1492 schedNoFence::scheduler::mSchedule: Set(),1493 schedNoFence::scheduler::published: 0,1494 schedNoFence::scheduler::publishedBy: Set(),1495 schedNoFence::scheduler::ws:1496 Map(1497 "w1" ->1498 {1499 attached: Set(),1500 built: false,1501 expecting: false,1502 running: false,1503 session: false,1504 up: false1505 },1506 "w2" ->1507 {1508 attached: Set(),1509 built: false,1510 expecting: false,1511 running: false,1512 session: true,1513 up: true1514 }1515 )1516}15171518[State 8]1519{1520 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1521 schedNoFence::scheduler::crashes: 2,1522 schedNoFence::scheduler::entry:1523 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1524 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1525 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1526 schedNoFence::scheduler::mBuild: Set(("c1", "w1")),1527 schedNoFence::scheduler::mDone: Set(),1528 schedNoFence::scheduler::mExpect: Set(),1529 schedNoFence::scheduler::mResult: Set(),1530 schedNoFence::scheduler::mRetry: Set(),1531 schedNoFence::scheduler::mSchedule: Set(),1532 schedNoFence::scheduler::published: 0,1533 schedNoFence::scheduler::publishedBy: Set(),1534 schedNoFence::scheduler::ws:1535 Map(1536 "w1" ->1537 {1538 attached: Set(),1539 built: false,1540 expecting: false,1541 running: false,1542 session: false,1543 up: false1544 },1545 "w2" ->1546 {1547 attached: Set(),1548 built: false,1549 expecting: false,1550 running: false,1551 session: true,1552 up: true1553 }1554 )1555}15561557[State 9]1558{1559 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1560 schedNoFence::scheduler::crashes: 2,1561 schedNoFence::scheduler::entry: [],1562 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1563 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1564 schedNoFence::scheduler::mBuild: Set(("c1", "w1")),1565 schedNoFence::scheduler::mDone: Set(),1566 schedNoFence::scheduler::mExpect: Set(),1567 schedNoFence::scheduler::mResult: Set(),1568 schedNoFence::scheduler::mRetry: Set("c1", "c2"),1569 schedNoFence::scheduler::mSchedule: Set(),1570 schedNoFence::scheduler::published: 0,1571 schedNoFence::scheduler::publishedBy: Set(),1572 schedNoFence::scheduler::ws:1573 Map(1574 "w1" ->1575 {1576 attached: Set(),1577 built: false,1578 expecting: false,1579 running: false,1580 session: false,1581 up: false1582 },1583 "w2" ->1584 {1585 attached: Set(),1586 built: false,1587 expecting: false,1588 running: false,1589 session: true,1590 up: true1591 }1592 )1593}15941595[State 10]1596{1597 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1598 schedNoFence::scheduler::crashes: 2,1599 schedNoFence::scheduler::entry: [],1600 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1601 schedNoFence::scheduler::mAssigned: Set(),1602 schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1603 schedNoFence::scheduler::mDone: Set(),1604 schedNoFence::scheduler::mExpect: Set(),1605 schedNoFence::scheduler::mResult: Set(),1606 schedNoFence::scheduler::mRetry: Set("c1", "c2"),1607 schedNoFence::scheduler::mSchedule: Set(),1608 schedNoFence::scheduler::published: 0,1609 schedNoFence::scheduler::publishedBy: Set(),1610 schedNoFence::scheduler::ws:1611 Map(1612 "w1" ->1613 {1614 attached: Set(),1615 built: false,1616 expecting: false,1617 running: false,1618 session: false,1619 up: false1620 },1621 "w2" ->1622 {1623 attached: Set(),1624 built: false,1625 expecting: false,1626 running: false,1627 session: true,1628 up: true1629 }1630 )1631}16321633[State 11]1634{1635 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1636 schedNoFence::scheduler::crashes: 2,1637 schedNoFence::scheduler::entry: [],1638 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1639 schedNoFence::scheduler::mAssigned: Set(),1640 schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1641 schedNoFence::scheduler::mDone: Set(),1642 schedNoFence::scheduler::mExpect: Set(),1643 schedNoFence::scheduler::mResult: Set(),1644 schedNoFence::scheduler::mRetry: Set("c2"),1645 schedNoFence::scheduler::mSchedule: Set("c1"),1646 schedNoFence::scheduler::published: 0,1647 schedNoFence::scheduler::publishedBy: Set(),1648 schedNoFence::scheduler::ws:1649 Map(1650 "w1" ->1651 {1652 attached: Set(),1653 built: false,1654 expecting: false,1655 running: false,1656 session: false,1657 up: false1658 },1659 "w2" ->1660 {1661 attached: Set(),1662 built: false,1663 expecting: false,1664 running: false,1665 session: true,1666 up: true1667 }1668 )1669}16701671[State 12]1672{1673 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1674 schedNoFence::scheduler::crashes: 2,1675 schedNoFence::scheduler::entry: [],1676 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1677 schedNoFence::scheduler::mAssigned: Set(),1678 schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1679 schedNoFence::scheduler::mDone: Set(),1680 schedNoFence::scheduler::mExpect: Set(),1681 schedNoFence::scheduler::mResult: Set(),1682 schedNoFence::scheduler::mRetry: Set(),1683 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),1684 schedNoFence::scheduler::published: 0,1685 schedNoFence::scheduler::publishedBy: Set(),1686 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1712 schedNoFence::scheduler::crashes: 2,1713 schedNoFence::scheduler::entry:1714 [{ followers: Set("c1"), leased: true, worker: "w2" }],1715 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1716 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1717 schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1718 schedNoFence::scheduler::mDone: Set(),1719 schedNoFence::scheduler::mExpect: Set("w2"),1720 schedNoFence::scheduler::mResult: Set(),1721 schedNoFence::scheduler::mRetry: Set(),1722 schedNoFence::scheduler::mSchedule: Set("c2"),1723 schedNoFence::scheduler::published: 0,1724 schedNoFence::scheduler::publishedBy: Set(),1725 schedNoFence::scheduler::ws:1726 Map(1727 "w1" ->1728 {1729 attached: Set(),1730 built: false,1731 expecting: false,1732 running: false,1733 session: false,1734 up: false1735 },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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1751 schedNoFence::scheduler::crashes: 2,1752 schedNoFence::scheduler::entry:1753 [{ followers: Set("c1"), leased: true, worker: "w2" }],1754 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1755 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1756 schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1757 schedNoFence::scheduler::mDone: Set(),1758 schedNoFence::scheduler::mExpect: Set("w2"),1759 schedNoFence::scheduler::mResult: Set(),1760 schedNoFence::scheduler::mRetry: Set(),1761 schedNoFence::scheduler::mSchedule: Set("c2"),1762 schedNoFence::scheduler::published: 0,1763 schedNoFence::scheduler::publishedBy: Set(),1764 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1790 schedNoFence::scheduler::crashes: 2,1791 schedNoFence::scheduler::entry:1792 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1793 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1794 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1795 schedNoFence::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1796 schedNoFence::scheduler::mDone: Set(),1797 schedNoFence::scheduler::mExpect: Set("w2"),1798 schedNoFence::scheduler::mResult: Set(),1799 schedNoFence::scheduler::mRetry: Set(),1800 schedNoFence::scheduler::mSchedule: Set(),1801 schedNoFence::scheduler::published: 0,1802 schedNoFence::scheduler::publishedBy: Set(),1803 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1829 schedNoFence::scheduler::crashes: 2,1830 schedNoFence::scheduler::entry:1831 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1832 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1833 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1834 schedNoFence::scheduler::mBuild: Set(("c1", "w1")),1835 schedNoFence::scheduler::mDone: Set(),1836 schedNoFence::scheduler::mExpect: Set("w2"),1837 schedNoFence::scheduler::mResult: Set(),1838 schedNoFence::scheduler::mRetry: Set("c2"),1839 schedNoFence::scheduler::mSchedule: Set(),1840 schedNoFence::scheduler::published: 0,1841 schedNoFence::scheduler::publishedBy: Set(),1842 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1868 schedNoFence::scheduler::crashes: 2,1869 schedNoFence::scheduler::entry:1870 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1871 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1872 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1873 schedNoFence::scheduler::mBuild: Set(("c1", "w1")),1874 schedNoFence::scheduler::mDone: Set(),1875 schedNoFence::scheduler::mExpect: Set("w2"),1876 schedNoFence::scheduler::mResult: Set(),1877 schedNoFence::scheduler::mRetry: Set(),1878 schedNoFence::scheduler::mSchedule: Set("c2"),1879 schedNoFence::scheduler::published: 0,1880 schedNoFence::scheduler::publishedBy: Set(),1881 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1907 schedNoFence::scheduler::crashes: 2,1908 schedNoFence::scheduler::entry:1909 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1910 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1911 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),1912 schedNoFence::scheduler::mBuild: Set(),1913 schedNoFence::scheduler::mDone: Set(),1914 schedNoFence::scheduler::mExpect: Set("w2"),1915 schedNoFence::scheduler::mResult: Set(),1916 schedNoFence::scheduler::mRetry: Set("c1"),1917 schedNoFence::scheduler::mSchedule: Set("c2"),1918 schedNoFence::scheduler::published: 0,1919 schedNoFence::scheduler::publishedBy: Set(),1920 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1946 schedNoFence::scheduler::crashes: 2,1947 schedNoFence::scheduler::entry:1948 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1949 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1950 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1951 schedNoFence::scheduler::mBuild: Set(),1952 schedNoFence::scheduler::mDone: Set(),1953 schedNoFence::scheduler::mExpect: Set("w2"),1954 schedNoFence::scheduler::mResult: Set(),1955 schedNoFence::scheduler::mRetry: Set("c1"),1956 schedNoFence::scheduler::mSchedule: Set(),1957 schedNoFence::scheduler::published: 0,1958 schedNoFence::scheduler::publishedBy: Set(),1959 schedNoFence::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 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1985 schedNoFence::scheduler::crashes: 2,1986 schedNoFence::scheduler::entry:1987 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1988 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1989 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),1990 schedNoFence::scheduler::mBuild: Set(),1991 schedNoFence::scheduler::mDone: Set(),1992 schedNoFence::scheduler::mExpect: Set(),1993 schedNoFence::scheduler::mResult: Set(),1994 schedNoFence::scheduler::mRetry: Set("c1"),1995 schedNoFence::scheduler::mSchedule: Set(),1996 schedNoFence::scheduler::published: 0,1997 schedNoFence::scheduler::publishedBy: Set(),1998 schedNoFence::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: true,2014 running: true,2015 session: true,2016 up: true2017 }2018 )2019}20202021[State 21]2022{2023 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2024 schedNoFence::scheduler::crashes: 2,2025 schedNoFence::scheduler::entry:2026 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2027 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2028 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),2029 schedNoFence::scheduler::mBuild: Set(),2030 schedNoFence::scheduler::mDone: Set("w2"),2031 schedNoFence::scheduler::mExpect: Set(),2032 schedNoFence::scheduler::mResult: Set(),2033 schedNoFence::scheduler::mRetry: Set("c1"),2034 schedNoFence::scheduler::mSchedule: Set(),2035 schedNoFence::scheduler::published: 1,2036 schedNoFence::scheduler::publishedBy: Set("w2"),2037 schedNoFence::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: true,2052 expecting: false,2053 running: false,2054 session: true,2055 up: true2056 }2057 )2058}20592060[State 22]2061{2062 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2063 schedNoFence::scheduler::crashes: 2,2064 schedNoFence::scheduler::entry: [],2065 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2066 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),2067 schedNoFence::scheduler::mBuild: Set(),2068 schedNoFence::scheduler::mDone: Set(),2069 schedNoFence::scheduler::mExpect: Set(),2070 schedNoFence::scheduler::mResult: Set(),2071 schedNoFence::scheduler::mRetry: Set("c1"),2072 schedNoFence::scheduler::mSchedule: Set(),2073 schedNoFence::scheduler::published: 1,2074 schedNoFence::scheduler::publishedBy: Set("w2"),2075 schedNoFence::scheduler::ws:2076 Map(2077 "w1" ->2078 {2079 attached: Set(),2080 built: false,2081 expecting: false,2082 running: false,2083 session: true,2084 up: true2085 },2086 "w2" ->2087 {2088 attached: Set(),2089 built: true,2090 expecting: false,2091 running: false,2092 session: true,2093 up: true2094 }2095 )2096}20972098[State 23]2099{2100 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2101 schedNoFence::scheduler::crashes: 2,2102 schedNoFence::scheduler::entry: [],2103 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2104 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2105 schedNoFence::scheduler::mBuild: Set(("c2", "w2")),2106 schedNoFence::scheduler::mDone: Set(),2107 schedNoFence::scheduler::mExpect: Set(),2108 schedNoFence::scheduler::mResult: Set(),2109 schedNoFence::scheduler::mRetry: Set("c1"),2110 schedNoFence::scheduler::mSchedule: Set(),2111 schedNoFence::scheduler::published: 1,2112 schedNoFence::scheduler::publishedBy: Set("w2"),2113 schedNoFence::scheduler::ws:2114 Map(2115 "w1" ->2116 {2117 attached: Set(),2118 built: false,2119 expecting: false,2120 running: false,2121 session: true,2122 up: true2123 },2124 "w2" ->2125 {2126 attached: Set(),2127 built: true,2128 expecting: false,2129 running: false,2130 session: true,2131 up: true2132 }2133 )2134}21352136[State 24]2137{2138 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),2139 schedNoFence::scheduler::crashes: 2,2140 schedNoFence::scheduler::entry: [],2141 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2142 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2143 schedNoFence::scheduler::mBuild: Set(),2144 schedNoFence::scheduler::mDone: Set(),2145 schedNoFence::scheduler::mExpect: Set(),2146 schedNoFence::scheduler::mResult: Set("c2"),2147 schedNoFence::scheduler::mRetry: Set("c1"),2148 schedNoFence::scheduler::mSchedule: Set(),2149 schedNoFence::scheduler::published: 1,2150 schedNoFence::scheduler::publishedBy: Set("w2"),2151 schedNoFence::scheduler::ws:2152 Map(2153 "w1" ->2154 {2155 attached: Set(),2156 built: false,2157 expecting: false,2158 running: false,2159 session: true,2160 up: true2161 },2162 "w2" ->2163 {2164 attached: Set(),2165 built: true,2166 expecting: false,2167 running: false,2168 session: true,2169 up: true2170 }2171 )2172}21732174[State 25]2175{2176 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),2177 schedNoFence::scheduler::crashes: 2,2178 schedNoFence::scheduler::entry: [],2179 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2180 schedNoFence::scheduler::mAssigned: Set(),2181 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2182 schedNoFence::scheduler::mDone: Set(),2183 schedNoFence::scheduler::mExpect: Set(),2184 schedNoFence::scheduler::mResult: Set("c2"),2185 schedNoFence::scheduler::mRetry: Set("c1"),2186 schedNoFence::scheduler::mSchedule: Set(),2187 schedNoFence::scheduler::published: 1,2188 schedNoFence::scheduler::publishedBy: Set("w2"),2189 schedNoFence::scheduler::ws:2190 Map(2191 "w1" ->2192 {2193 attached: Set(),2194 built: false,2195 expecting: false,2196 running: false,2197 session: true,2198 up: true2199 },2200 "w2" ->2201 {2202 attached: Set(),2203 built: true,2204 expecting: false,2205 running: false,2206 session: true,2207 up: true2208 }2209 )2210}22112212[State 26]2213{2214 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CDone),2215 schedNoFence::scheduler::crashes: 2,2216 schedNoFence::scheduler::entry: [],2217 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2218 schedNoFence::scheduler::mAssigned: Set(),2219 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2220 schedNoFence::scheduler::mDone: Set(),2221 schedNoFence::scheduler::mExpect: Set(),2222 schedNoFence::scheduler::mResult: Set(),2223 schedNoFence::scheduler::mRetry: Set("c1"),2224 schedNoFence::scheduler::mSchedule: Set(),2225 schedNoFence::scheduler::published: 1,2226 schedNoFence::scheduler::publishedBy: Set("w2"),2227 schedNoFence::scheduler::ws:2228 Map(2229 "w1" ->2230 {2231 attached: Set(),2232 built: false,2233 expecting: false,2234 running: false,2235 session: true,2236 up: true2237 },2238 "w2" ->2239 {2240 attached: Set(),2241 built: true,2242 expecting: false,2243 running: false,2244 session: true,2245 up: true2246 }2247 )2248}22492250[State 27]2251{2252 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),2253 schedNoFence::scheduler::crashes: 2,2254 schedNoFence::scheduler::entry: [],2255 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2256 schedNoFence::scheduler::mAssigned: Set(),2257 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2258 schedNoFence::scheduler::mDone: Set(),2259 schedNoFence::scheduler::mExpect: Set(),2260 schedNoFence::scheduler::mResult: Set(),2261 schedNoFence::scheduler::mRetry: Set(),2262 schedNoFence::scheduler::mSchedule: Set("c1"),2263 schedNoFence::scheduler::published: 1,2264 schedNoFence::scheduler::publishedBy: Set("w2"),2265 schedNoFence::scheduler::ws:2266 Map(2267 "w1" ->2268 {2269 attached: Set(),2270 built: false,2271 expecting: false,2272 running: false,2273 session: true,2274 up: true2275 },2276 "w2" ->2277 {2278 attached: Set(),2279 built: true,2280 expecting: false,2281 running: false,2282 session: true,2283 up: true2284 }2285 )2286}22872288[State 28]2289{2290 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),2291 schedNoFence::scheduler::crashes: 2,2292 schedNoFence::scheduler::entry: [],2293 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2294 schedNoFence::scheduler::mAssigned: Set(),2295 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2296 schedNoFence::scheduler::mDone: Set(),2297 schedNoFence::scheduler::mExpect: Set(),2298 schedNoFence::scheduler::mResult: Set("c1"),2299 schedNoFence::scheduler::mRetry: Set(),2300 schedNoFence::scheduler::mSchedule: Set(),2301 schedNoFence::scheduler::published: 1,2302 schedNoFence::scheduler::publishedBy: Set("w2"),2303 schedNoFence::scheduler::ws:2304 Map(2305 "w1" ->2306 {2307 attached: Set(),2308 built: false,2309 expecting: false,2310 running: false,2311 session: true,2312 up: true2313 },2314 "w2" ->2315 {2316 attached: Set(),2317 built: true,2318 expecting: false,2319 running: false,2320 session: true,2321 up: true2322 }2323 )2324}23252326[State 29]2327{2328 schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),2329 schedNoFence::scheduler::crashes: 2,2330 schedNoFence::scheduler::entry: [],2331 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2332 schedNoFence::scheduler::mAssigned: Set(),2333 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2334 schedNoFence::scheduler::mDone: Set(),2335 schedNoFence::scheduler::mExpect: Set(),2336 schedNoFence::scheduler::mResult: Set(),2337 schedNoFence::scheduler::mRetry: Set(),2338 schedNoFence::scheduler::mSchedule: Set(),2339 schedNoFence::scheduler::published: 1,2340 schedNoFence::scheduler::publishedBy: Set("w2"),2341 schedNoFence::scheduler::ws:2342 Map(2343 "w1" ->2344 {2345 attached: Set(),2346 built: false,2347 expecting: false,2348 running: false,2349 session: true,2350 up: true2351 },2352 "w2" ->2353 {2354 attached: Set(),2355 built: true,2356 expecting: false,2357 running: false,2358 session: true,2359 up: true2360 }2361 )2362}23632364[State 30]2365{2366 schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),2367 schedNoFence::scheduler::crashes: 2,2368 schedNoFence::scheduler::entry: [],2369 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2370 schedNoFence::scheduler::mAssigned: Set(),2371 schedNoFence::scheduler::mBuild: Set(),2372 schedNoFence::scheduler::mDone: Set(),2373 schedNoFence::scheduler::mExpect: Set(),2374 schedNoFence::scheduler::mResult: Set("c1"),2375 schedNoFence::scheduler::mRetry: Set(),2376 schedNoFence::scheduler::mSchedule: Set(),2377 schedNoFence::scheduler::published: 1,2378 schedNoFence::scheduler::publishedBy: Set("w2"),2379 schedNoFence::scheduler::ws:2380 Map(2381 "w1" ->2382 {2383 attached: Set(),2384 built: false,2385 expecting: false,2386 running: false,2387 session: true,2388 up: true2389 },2390 "w2" ->2391 {2392 attached: Set(),2393 built: true,2394 expecting: false,2395 running: false,2396 session: true,2397 up: true2398 }2399 )2400}24012402[ok] No violation found (7747ms at 3872 traces/second).2403Trace length statistics: max=30, min=14, average=17.652404You may increase --max-samples and --max-steps.2405Use --verbosity to produce more (or less) output.2406Use --seed=0x272c6253e4bdf0b8 --backend=rust to reproduce.2407An example execution:24082409[State 0]2410{2411 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2412 schedNoPush::scheduler::crashes: 0,2413 schedNoPush::scheduler::entry: [],2414 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2415 schedNoPush::scheduler::mAssigned: Set(),2416 schedNoPush::scheduler::mBuild: Set(),2417 schedNoPush::scheduler::mDone: Set(),2418 schedNoPush::scheduler::mExpect: Set(),2419 schedNoPush::scheduler::mResult: Set(),2420 schedNoPush::scheduler::mRetry: Set(),2421 schedNoPush::scheduler::mSchedule: Set(),2422 schedNoPush::scheduler::published: 0,2423 schedNoPush::scheduler::publishedBy: Set(),2424 schedNoPush::scheduler::ws:2425 Map(2426 "w1" ->2427 {2428 attached: Set(),2429 built: false,2430 expecting: false,2431 running: false,2432 session: true,2433 up: true2434 },2435 "w2" ->2436 {2437 attached: Set(),2438 built: false,2439 expecting: false,2440 running: false,2441 session: true,2442 up: true2443 }2444 )2445}24462447[State 1]2448{2449 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2450 schedNoPush::scheduler::crashes: 0,2451 schedNoPush::scheduler::entry: [],2452 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2453 schedNoPush::scheduler::mAssigned: Set(),2454 schedNoPush::scheduler::mBuild: Set(),2455 schedNoPush::scheduler::mDone: Set(),2456 schedNoPush::scheduler::mExpect: Set(),2457 schedNoPush::scheduler::mResult: Set(),2458 schedNoPush::scheduler::mRetry: Set(),2459 schedNoPush::scheduler::mSchedule: Set("c2"),2460 schedNoPush::scheduler::published: 0,2461 schedNoPush::scheduler::publishedBy: Set(),2462 schedNoPush::scheduler::ws:2463 Map(2464 "w1" ->2465 {2466 attached: Set(),2467 built: false,2468 expecting: false,2469 running: false,2470 session: true,2471 up: true2472 },2473 "w2" ->2474 {2475 attached: Set(),2476 built: false,2477 expecting: false,2478 running: false,2479 session: true,2480 up: true2481 }2482 )2483}24842485[State 2]2486{2487 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2488 schedNoPush::scheduler::crashes: 0,2489 schedNoPush::scheduler::entry:2490 [{ followers: Set("c2"), leased: true, worker: "w1" }],2491 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2492 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),2493 schedNoPush::scheduler::mBuild: Set(),2494 schedNoPush::scheduler::mDone: Set(),2495 schedNoPush::scheduler::mExpect: Set(),2496 schedNoPush::scheduler::mResult: Set(),2497 schedNoPush::scheduler::mRetry: Set(),2498 schedNoPush::scheduler::mSchedule: Set(),2499 schedNoPush::scheduler::published: 0,2500 schedNoPush::scheduler::publishedBy: Set(),2501 schedNoPush::scheduler::ws:2502 Map(2503 "w1" ->2504 {2505 attached: Set(),2506 built: false,2507 expecting: false,2508 running: false,2509 session: true,2510 up: true2511 },2512 "w2" ->2513 {2514 attached: Set(),2515 built: false,2516 expecting: false,2517 running: false,2518 session: true,2519 up: true2520 }2521 )2522}25232524[State 3]2525{2526 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),2527 schedNoPush::scheduler::crashes: 0,2528 schedNoPush::scheduler::entry:2529 [{ followers: Set("c2"), leased: true, worker: "w1" }],2530 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2531 schedNoPush::scheduler::mAssigned: Set(),2532 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2533 schedNoPush::scheduler::mDone: Set(),2534 schedNoPush::scheduler::mExpect: Set(),2535 schedNoPush::scheduler::mResult: Set(),2536 schedNoPush::scheduler::mRetry: Set(),2537 schedNoPush::scheduler::mSchedule: Set(),2538 schedNoPush::scheduler::published: 0,2539 schedNoPush::scheduler::publishedBy: Set(),2540 schedNoPush::scheduler::ws:2541 Map(2542 "w1" ->2543 {2544 attached: Set(),2545 built: false,2546 expecting: false,2547 running: false,2548 session: true,2549 up: true2550 },2551 "w2" ->2552 {2553 attached: Set(),2554 built: false,2555 expecting: false,2556 running: false,2557 session: true,2558 up: true2559 }2560 )2561}25622563[State 4]2564{2565 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),2566 schedNoPush::scheduler::crashes: 1,2567 schedNoPush::scheduler::entry: [],2568 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2569 schedNoPush::scheduler::mAssigned: Set(),2570 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),2571 schedNoPush::scheduler::mDone: Set(),2572 schedNoPush::scheduler::mExpect: Set(),2573 schedNoPush::scheduler::mResult: Set(),2574 schedNoPush::scheduler::mRetry: Set(),2575 schedNoPush::scheduler::mSchedule: Set(),2576 schedNoPush::scheduler::published: 0,2577 schedNoPush::scheduler::publishedBy: Set(),2578 schedNoPush::scheduler::ws:2579 Map(2580 "w1" ->2581 {2582 attached: Set(),2583 built: false,2584 expecting: false,2585 running: false,2586 session: true,2587 up: true2588 },2589 "w2" ->2590 {2591 attached: Set(),2592 built: false,2593 expecting: false,2594 running: false,2595 session: true,2596 up: true2597 }2598 )2599}26002601[State 5]2602{2603 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),2604 schedNoPush::scheduler::crashes: 1,2605 schedNoPush::scheduler::entry: [],2606 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2607 schedNoPush::scheduler::mAssigned: Set(),2608 schedNoPush::scheduler::mBuild: Set(),2609 schedNoPush::scheduler::mDone: Set(),2610 schedNoPush::scheduler::mExpect: Set(),2611 schedNoPush::scheduler::mResult: Set(),2612 schedNoPush::scheduler::mRetry: Set(),2613 schedNoPush::scheduler::mSchedule: Set(),2614 schedNoPush::scheduler::published: 0,2615 schedNoPush::scheduler::publishedBy: Set(),2616 schedNoPush::scheduler::ws:2617 Map(2618 "w1" ->2619 {2620 attached: Set("c2"),2621 built: false,2622 expecting: true,2623 running: true,2624 session: true,2625 up: true2626 },2627 "w2" ->2628 {2629 attached: Set(),2630 built: false,2631 expecting: false,2632 running: false,2633 session: true,2634 up: true2635 }2636 )2637}26382639[violation] Found an issue (2365ms at 3930 traces/second).2640Use --verbosity=3 to show executions.2641Use --seed=0xf54e637418875411 --backend=rust to reproduce.2642error: Invariant violated2643An example execution:26442645[State 0]2646{2647 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2648 schedNoReport::scheduler::crashes: 0,2649 schedNoReport::scheduler::entry: [],2650 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2651 schedNoReport::scheduler::mAssigned: Set(),2652 schedNoReport::scheduler::mBuild: Set(),2653 schedNoReport::scheduler::mDone: Set(),2654 schedNoReport::scheduler::mExpect: Set(),2655 schedNoReport::scheduler::mResult: Set(),2656 schedNoReport::scheduler::mRetry: Set(),2657 schedNoReport::scheduler::mSchedule: Set(),2658 schedNoReport::scheduler::published: 0,2659 schedNoReport::scheduler::publishedBy: Set(),2660 schedNoReport::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: false,2676 running: false,2677 session: true,2678 up: true2679 }2680 )2681}26822683[State 1]2684{2685 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2686 schedNoReport::scheduler::crashes: 0,2687 schedNoReport::scheduler::entry: [],2688 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2689 schedNoReport::scheduler::mAssigned: Set(),2690 schedNoReport::scheduler::mBuild: Set(),2691 schedNoReport::scheduler::mDone: Set(),2692 schedNoReport::scheduler::mExpect: Set(),2693 schedNoReport::scheduler::mResult: Set(),2694 schedNoReport::scheduler::mRetry: Set(),2695 schedNoReport::scheduler::mSchedule: Set("c2"),2696 schedNoReport::scheduler::published: 0,2697 schedNoReport::scheduler::publishedBy: Set(),2698 schedNoReport::scheduler::ws:2699 Map(2700 "w1" ->2701 {2702 attached: Set(),2703 built: false,2704 expecting: false,2705 running: false,2706 session: true,2707 up: true2708 },2709 "w2" ->2710 {2711 attached: Set(),2712 built: false,2713 expecting: false,2714 running: false,2715 session: true,2716 up: true2717 }2718 )2719}27202721[State 2]2722{2723 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2724 schedNoReport::scheduler::crashes: 1,2725 schedNoReport::scheduler::entry: [],2726 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2727 schedNoReport::scheduler::mAssigned: Set(),2728 schedNoReport::scheduler::mBuild: Set(),2729 schedNoReport::scheduler::mDone: Set(),2730 schedNoReport::scheduler::mExpect: Set(),2731 schedNoReport::scheduler::mResult: Set(),2732 schedNoReport::scheduler::mRetry: Set("c2"),2733 schedNoReport::scheduler::mSchedule: Set(),2734 schedNoReport::scheduler::published: 0,2735 schedNoReport::scheduler::publishedBy: Set(),2736 schedNoReport::scheduler::ws:2737 Map(2738 "w1" ->2739 {2740 attached: Set(),2741 built: false,2742 expecting: false,2743 running: false,2744 session: true,2745 up: true2746 },2747 "w2" ->2748 {2749 attached: Set(),2750 built: false,2751 expecting: false,2752 running: false,2753 session: true,2754 up: true2755 }2756 )2757}27582759[State 3]2760{2761 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2762 schedNoReport::scheduler::crashes: 1,2763 schedNoReport::scheduler::entry: [],2764 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2765 schedNoReport::scheduler::mAssigned: Set(),2766 schedNoReport::scheduler::mBuild: Set(),2767 schedNoReport::scheduler::mDone: Set(),2768 schedNoReport::scheduler::mExpect: Set(),2769 schedNoReport::scheduler::mResult: Set(),2770 schedNoReport::scheduler::mRetry: Set("c2"),2771 schedNoReport::scheduler::mSchedule: Set("c1"),2772 schedNoReport::scheduler::published: 0,2773 schedNoReport::scheduler::publishedBy: Set(),2774 schedNoReport::scheduler::ws:2775 Map(2776 "w1" ->2777 {2778 attached: Set(),2779 built: false,2780 expecting: false,2781 running: false,2782 session: true,2783 up: true2784 },2785 "w2" ->2786 {2787 attached: Set(),2788 built: false,2789 expecting: false,2790 running: false,2791 session: true,2792 up: true2793 }2794 )2795}27962797[State 4]2798{2799 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2800 schedNoReport::scheduler::crashes: 1,2801 schedNoReport::scheduler::entry:2802 [{ followers: Set("c1"), leased: true, worker: "w2" }],2803 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2804 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2805 schedNoReport::scheduler::mBuild: Set(),2806 schedNoReport::scheduler::mDone: Set(),2807 schedNoReport::scheduler::mExpect: Set("w2"),2808 schedNoReport::scheduler::mResult: Set(),2809 schedNoReport::scheduler::mRetry: Set("c2"),2810 schedNoReport::scheduler::mSchedule: Set(),2811 schedNoReport::scheduler::published: 0,2812 schedNoReport::scheduler::publishedBy: Set(),2813 schedNoReport::scheduler::ws:2814 Map(2815 "w1" ->2816 {2817 attached: Set(),2818 built: false,2819 expecting: false,2820 running: false,2821 session: true,2822 up: true2823 },2824 "w2" ->2825 {2826 attached: Set(),2827 built: false,2828 expecting: false,2829 running: false,2830 session: true,2831 up: true2832 }2833 )2834}28352836[State 5]2837{2838 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2839 schedNoReport::scheduler::crashes: 1,2840 schedNoReport::scheduler::entry:2841 [{ followers: Set("c1"), leased: true, worker: "w2" }],2842 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2843 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2844 schedNoReport::scheduler::mBuild: Set(),2845 schedNoReport::scheduler::mDone: Set(),2846 schedNoReport::scheduler::mExpect: Set(),2847 schedNoReport::scheduler::mResult: Set(),2848 schedNoReport::scheduler::mRetry: Set("c2"),2849 schedNoReport::scheduler::mSchedule: Set(),2850 schedNoReport::scheduler::published: 0,2851 schedNoReport::scheduler::publishedBy: Set(),2852 schedNoReport::scheduler::ws:2853 Map(2854 "w1" ->2855 {2856 attached: Set(),2857 built: false,2858 expecting: false,2859 running: false,2860 session: true,2861 up: true2862 },2863 "w2" ->2864 {2865 attached: Set(),2866 built: false,2867 expecting: true,2868 running: true,2869 session: true,2870 up: true2871 }2872 )2873}28742875[State 6]2876{2877 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2878 schedNoReport::scheduler::crashes: 2,2879 schedNoReport::scheduler::entry: [],2880 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2881 schedNoReport::scheduler::mAssigned: Set(),2882 schedNoReport::scheduler::mBuild: Set(),2883 schedNoReport::scheduler::mDone: Set(),2884 schedNoReport::scheduler::mExpect: Set(),2885 schedNoReport::scheduler::mResult: Set(),2886 schedNoReport::scheduler::mRetry: Set("c1", "c2"),2887 schedNoReport::scheduler::mSchedule: Set(),2888 schedNoReport::scheduler::published: 0,2889 schedNoReport::scheduler::publishedBy: Set(),2890 schedNoReport::scheduler::ws:2891 Map(2892 "w1" ->2893 {2894 attached: Set(),2895 built: false,2896 expecting: false,2897 running: false,2898 session: true,2899 up: true2900 },2901 "w2" ->2902 {2903 attached: Set(),2904 built: false,2905 expecting: true,2906 running: true,2907 session: true,2908 up: true2909 }2910 )2911}29122913[State 7]2914{2915 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2916 schedNoReport::scheduler::crashes: 2,2917 schedNoReport::scheduler::entry: [],2918 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2919 schedNoReport::scheduler::mAssigned: Set(),2920 schedNoReport::scheduler::mBuild: Set(),2921 schedNoReport::scheduler::mDone: Set(),2922 schedNoReport::scheduler::mExpect: Set(),2923 schedNoReport::scheduler::mResult: Set(),2924 schedNoReport::scheduler::mRetry: Set("c1"),2925 schedNoReport::scheduler::mSchedule: Set("c2"),2926 schedNoReport::scheduler::published: 0,2927 schedNoReport::scheduler::publishedBy: Set(),2928 schedNoReport::scheduler::ws:2929 Map(2930 "w1" ->2931 {2932 attached: Set(),2933 built: false,2934 expecting: false,2935 running: false,2936 session: true,2937 up: true2938 },2939 "w2" ->2940 {2941 attached: Set(),2942 built: false,2943 expecting: true,2944 running: true,2945 session: true,2946 up: true2947 }2948 )2949}29502951[State 8]2952{2953 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2954 schedNoReport::scheduler::crashes: 2,2955 schedNoReport::scheduler::entry:2956 [{ followers: Set("c2"), leased: true, worker: "w1" }],2957 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2958 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),2959 schedNoReport::scheduler::mBuild: Set(),2960 schedNoReport::scheduler::mDone: Set(),2961 schedNoReport::scheduler::mExpect: Set("w1"),2962 schedNoReport::scheduler::mResult: Set(),2963 schedNoReport::scheduler::mRetry: Set("c1"),2964 schedNoReport::scheduler::mSchedule: Set(),2965 schedNoReport::scheduler::published: 0,2966 schedNoReport::scheduler::publishedBy: Set(),2967 schedNoReport::scheduler::ws:2968 Map(2969 "w1" ->2970 {2971 attached: Set(),2972 built: false,2973 expecting: false,2974 running: false,2975 session: true,2976 up: true2977 },2978 "w2" ->2979 {2980 attached: Set(),2981 built: false,2982 expecting: true,2983 running: true,2984 session: true,2985 up: true2986 }2987 )2988}29892990[State 9]2991{2992 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2993 schedNoReport::scheduler::crashes: 2,2994 schedNoReport::scheduler::entry:2995 [{ followers: Set("c2"), leased: true, worker: "w1" }],2996 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2997 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),2998 schedNoReport::scheduler::mBuild: Set(),2999 schedNoReport::scheduler::mDone: Set(),3000 schedNoReport::scheduler::mExpect: Set(),3001 schedNoReport::scheduler::mResult: Set(),3002 schedNoReport::scheduler::mRetry: Set("c1"),3003 schedNoReport::scheduler::mSchedule: Set(),3004 schedNoReport::scheduler::published: 0,3005 schedNoReport::scheduler::publishedBy: Set(),3006 schedNoReport::scheduler::ws:3007 Map(3008 "w1" ->3009 {3010 attached: Set(),3011 built: false,3012 expecting: true,3013 running: true,3014 session: true,3015 up: true3016 },3017 "w2" ->3018 {3019 attached: Set(),3020 built: false,3021 expecting: true,3022 running: true,3023 session: true,3024 up: true3025 }3026 )3027}30283029[violation] Found an issue (4691ms at 5250 traces/second).3030Use --verbosity=3 to show executions.3031Use --seed=0x3f5e6643701b172e --backend=rust to reproduce.3032error: Invariant violated3033An example execution:30343035[State 0]3036{3037 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3038 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3039 foFixed::failover::cl: Map("c1" -> "idle", "c2" -> "idle"),3040 foFixed::failover::flaps: 0,3041 foFixed::failover::mAssigned: Set(),3042 foFixed::failover::mBuild: Set(),3043 foFixed::failover::mDone: Set(),3044 foFixed::failover::mExpect: Set(),3045 foFixed::failover::mRestart: Set(),3046 foFixed::failover::mResult: Set(),3047 foFixed::failover::mRetry: Set(),3048 foFixed::failover::mWant: Set(),3049 foFixed::failover::published: 0,3050 foFixed::failover::s1up: true,3051 foFixed::failover::ss:3052 Map(3053 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3054 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3055 ),3056 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3057 foFixed::failover::ws:3058 Map(3059 "w1" ->3060 { attached: Set(), built: false, expecting: false, running: false },3061 "w2" ->3062 { attached: Set(), built: false, expecting: false, running: false }3063 )3064}30653066[State 1]3067{3068 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3069 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3070 foFixed::failover::cl: Map("c1" -> "idle", "c2" -> "idle"),3071 foFixed::failover::flaps: 1,3072 foFixed::failover::mAssigned: Set(),3073 foFixed::failover::mBuild: Set(),3074 foFixed::failover::mDone: Set(),3075 foFixed::failover::mExpect: Set(),3076 foFixed::failover::mRestart: Set("w1", "w2"),3077 foFixed::failover::mResult: Set(),3078 foFixed::failover::mRetry: Set(),3079 foFixed::failover::mWant: Set(),3080 foFixed::failover::published: 0,3081 foFixed::failover::s1up: false,3082 foFixed::failover::ss:3083 Map(3084 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3085 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3086 ),3087 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3088 foFixed::failover::ws:3089 Map(3090 "w1" ->3091 { attached: Set(), built: false, expecting: false, running: false },3092 "w2" ->3093 { attached: Set(), built: false, expecting: false, running: false }3094 )3095}30963097[State 2]3098{3099 foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> ""),3100 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3101 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),3102 foFixed::failover::flaps: 1,3103 foFixed::failover::mAssigned: Set(),3104 foFixed::failover::mBuild: Set(),3105 foFixed::failover::mDone: Set(),3106 foFixed::failover::mExpect: Set(),3107 foFixed::failover::mRestart: Set("w1", "w2"),3108 foFixed::failover::mResult: Set(),3109 foFixed::failover::mRetry: Set(),3110 foFixed::failover::mWant: Set(("c1", "s2")),3111 foFixed::failover::published: 0,3112 foFixed::failover::s1up: false,3113 foFixed::failover::ss:3114 Map(3115 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3116 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3117 ),3118 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3119 foFixed::failover::ws:3120 Map(3121 "w1" ->3122 { attached: Set(), built: false, expecting: false, running: false },3123 "w2" ->3124 { attached: Set(), built: false, expecting: false, running: false }3125 )3126}31273128[State 3]3129{3130 foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> "s2"),3131 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3132 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3133 foFixed::failover::flaps: 1,3134 foFixed::failover::mAssigned: Set(),3135 foFixed::failover::mBuild: Set(),3136 foFixed::failover::mDone: Set(),3137 foFixed::failover::mExpect: Set(),3138 foFixed::failover::mRestart: Set("w1", "w2"),3139 foFixed::failover::mResult: Set(),3140 foFixed::failover::mRetry: Set(),3141 foFixed::failover::mWant: Set(("c1", "s2"), ("c2", "s2")),3142 foFixed::failover::published: 0,3143 foFixed::failover::s1up: false,3144 foFixed::failover::ss:3145 Map(3146 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3147 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3148 ),3149 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3150 foFixed::failover::ws:3151 Map(3152 "w1" ->3153 { attached: Set(), built: false, expecting: false, running: false },3154 "w2" ->3155 { attached: Set(), built: false, expecting: false, running: false }3156 )3157}31583159[State 4]3160{3161 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3162 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3163 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3164 foFixed::failover::flaps: 1,3165 foFixed::failover::mAssigned: Set(),3166 foFixed::failover::mBuild: Set(),3167 foFixed::failover::mDone: Set(),3168 foFixed::failover::mExpect: Set(),3169 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3170 foFixed::failover::mResult: Set(),3171 foFixed::failover::mRetry: Set(),3172 foFixed::failover::mWant: Set(),3173 foFixed::failover::published: 0,3174 foFixed::failover::s1up: true,3175 foFixed::failover::ss:3176 Map(3177 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3178 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3179 ),3180 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3181 foFixed::failover::ws:3182 Map(3183 "w1" ->3184 { attached: Set(), built: false, expecting: false, running: false },3185 "w2" ->3186 { attached: Set(), built: false, expecting: false, running: false }3187 )3188}31893190[State 5]3191{3192 foFixed::failover::cOn: Map("c1" -> "", "c2" -> "s1"),3193 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3194 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3195 foFixed::failover::flaps: 1,3196 foFixed::failover::mAssigned: Set(),3197 foFixed::failover::mBuild: Set(),3198 foFixed::failover::mDone: Set(),3199 foFixed::failover::mExpect: Set(),3200 foFixed::failover::mRestart: Set("c1", "w1", "w2"),3201 foFixed::failover::mResult: Set(),3202 foFixed::failover::mRetry: Set(),3203 foFixed::failover::mWant: Set(("c2", "s1")),3204 foFixed::failover::published: 0,3205 foFixed::failover::s1up: true,3206 foFixed::failover::ss:3207 Map(3208 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3209 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3210 ),3211 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3212 foFixed::failover::ws:3213 Map(3214 "w1" ->3215 { attached: Set(), built: false, expecting: false, running: false },3216 "w2" ->3217 { attached: Set(), built: false, expecting: false, running: false }3218 )3219}32203221[State 6]3222{3223 foFixed::failover::cOn: Map("c1" -> "", "c2" -> "s1"),3224 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3225 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3226 foFixed::failover::flaps: 1,3227 foFixed::failover::mAssigned: Set(),3228 foFixed::failover::mBuild: Set(),3229 foFixed::failover::mDone: Set(),3230 foFixed::failover::mExpect: Set(),3231 foFixed::failover::mRestart: Set("c1", "w2"),3232 foFixed::failover::mResult: Set(),3233 foFixed::failover::mRetry: Set(),3234 foFixed::failover::mWant: Set(("c2", "s1")),3235 foFixed::failover::published: 0,3236 foFixed::failover::s1up: true,3237 foFixed::failover::ss:3238 Map(3239 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3240 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3241 ),3242 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> ""),3243 foFixed::failover::ws:3244 Map(3245 "w1" ->3246 { attached: Set(), built: false, expecting: false, running: false },3247 "w2" ->3248 { attached: Set(), built: false, expecting: false, running: false }3249 )3250}32513252[State 7]3253{3254 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3255 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3256 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3257 foFixed::failover::flaps: 2,3258 foFixed::failover::mAssigned: Set(),3259 foFixed::failover::mBuild: Set(),3260 foFixed::failover::mDone: Set(),3261 foFixed::failover::mExpect: Set(),3262 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3263 foFixed::failover::mResult: Set(),3264 foFixed::failover::mRetry: Set(),3265 foFixed::failover::mWant: Set(),3266 foFixed::failover::published: 0,3267 foFixed::failover::s1up: false,3268 foFixed::failover::ss:3269 Map(3270 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3271 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3272 ),3273 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3274 foFixed::failover::ws:3275 Map(3276 "w1" ->3277 { attached: Set(), built: false, expecting: false, running: false },3278 "w2" ->3279 { attached: Set(), built: false, expecting: false, running: false }3280 )3281}32823283[State 8]3284{3285 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3286 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3287 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3288 foFixed::failover::flaps: 2,3289 foFixed::failover::mAssigned: Set(),3290 foFixed::failover::mBuild: Set(),3291 foFixed::failover::mDone: Set(),3292 foFixed::failover::mExpect: Set(),3293 foFixed::failover::mRestart: Set("c1", "c2", "w2"),3294 foFixed::failover::mResult: Set(),3295 foFixed::failover::mRetry: Set(),3296 foFixed::failover::mWant: Set(),3297 foFixed::failover::published: 0,3298 foFixed::failover::s1up: false,3299 foFixed::failover::ss:3300 Map(3301 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3302 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3303 ),3304 foFixed::failover::wOn: Map("w1" -> "s2", "w2" -> ""),3305 foFixed::failover::ws:3306 Map(3307 "w1" ->3308 { attached: Set(), built: false, expecting: false, running: false },3309 "w2" ->3310 { attached: Set(), built: false, expecting: false, running: false }3311 )3312}33133314[State 9]3315{3316 foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> ""),3317 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3318 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3319 foFixed::failover::flaps: 2,3320 foFixed::failover::mAssigned: Set(),3321 foFixed::failover::mBuild: Set(),3322 foFixed::failover::mDone: Set(),3323 foFixed::failover::mExpect: Set(),3324 foFixed::failover::mRestart: Set("c2", "w2"),3325 foFixed::failover::mResult: Set(),3326 foFixed::failover::mRetry: Set(),3327 foFixed::failover::mWant: Set(("c1", "s2")),3328 foFixed::failover::published: 0,3329 foFixed::failover::s1up: false,3330 foFixed::failover::ss:3331 Map(3332 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3333 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3334 ),3335 foFixed::failover::wOn: Map("w1" -> "s2", "w2" -> ""),3336 foFixed::failover::ws:3337 Map(3338 "w1" ->3339 { attached: Set(), built: false, expecting: false, running: false },3340 "w2" ->3341 { attached: Set(), built: false, expecting: false, running: false }3342 )3343}33443345[State 10]3346{3347 foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> ""),3348 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3349 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3350 foFixed::failover::flaps: 2,3351 foFixed::failover::mAssigned: Set(("s2", "c1", "w1")),3352 foFixed::failover::mBuild: Set(),3353 foFixed::failover::mDone: Set(),3354 foFixed::failover::mExpect: Set(("s2", "w1")),3355 foFixed::failover::mRestart: Set("c2", "w2"),3356 foFixed::failover::mResult: Set(),3357 foFixed::failover::mRetry: Set(),3358 foFixed::failover::mWant: Set(),3359 foFixed::failover::published: 0,3360 foFixed::failover::s1up: false,3361 foFixed::failover::ss:3362 Map(3363 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3364 "s2" -> { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" }3365 ),3366 foFixed::failover::wOn: Map("w1" -> "s2", "w2" -> ""),3367 foFixed::failover::ws:3368 Map(3369 "w1" ->3370 { attached: Set(), built: false, expecting: false, running: false },3371 "w2" ->3372 { attached: Set(), built: false, expecting: false, running: false }3373 )3374}33753376[State 11]3377{3378 foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> ""),3379 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3380 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3381 foFixed::failover::flaps: 2,3382 foFixed::failover::mAssigned: Set(("s2", "c1", "w1")),3383 foFixed::failover::mBuild: Set(),3384 foFixed::failover::mDone: Set(),3385 foFixed::failover::mExpect: Set(("s2", "w1")),3386 foFixed::failover::mRestart: Set("c2"),3387 foFixed::failover::mResult: Set(),3388 foFixed::failover::mRetry: Set(),3389 foFixed::failover::mWant: Set(),3390 foFixed::failover::published: 0,3391 foFixed::failover::s1up: false,3392 foFixed::failover::ss:3393 Map(3394 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3395 "s2" -> { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" }3396 ),3397 foFixed::failover::wOn: Map("w1" -> "s2", "w2" -> "s2"),3398 foFixed::failover::ws:3399 Map(3400 "w1" ->3401 { attached: Set(), built: false, expecting: false, running: false },3402 "w2" ->3403 { attached: Set(), built: false, expecting: false, running: false }3404 )3405}34063407[State 12]3408{3409 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3410 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3411 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3412 foFixed::failover::flaps: 2,3413 foFixed::failover::mAssigned: Set(),3414 foFixed::failover::mBuild: Set(),3415 foFixed::failover::mDone: Set(),3416 foFixed::failover::mExpect: Set(),3417 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3418 foFixed::failover::mResult: Set(),3419 foFixed::failover::mRetry: Set(),3420 foFixed::failover::mWant: Set(),3421 foFixed::failover::published: 0,3422 foFixed::failover::s1up: true,3423 foFixed::failover::ss:3424 Map(3425 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3426 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3427 ),3428 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3429 foFixed::failover::ws:3430 Map(3431 "w1" ->3432 { attached: Set(), built: false, expecting: false, running: false },3433 "w2" ->3434 { attached: Set(), built: false, expecting: false, running: false }3435 )3436}34373438[State 13]3439{3440 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3441 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3442 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3443 foFixed::failover::flaps: 2,3444 foFixed::failover::mAssigned: Set(),3445 foFixed::failover::mBuild: Set(),3446 foFixed::failover::mDone: Set(),3447 foFixed::failover::mExpect: Set(),3448 foFixed::failover::mRestart: Set("c1", "c2", "w1"),3449 foFixed::failover::mResult: Set(),3450 foFixed::failover::mRetry: Set(),3451 foFixed::failover::mWant: Set(),3452 foFixed::failover::published: 0,3453 foFixed::failover::s1up: true,3454 foFixed::failover::ss:3455 Map(3456 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3457 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3458 ),3459 foFixed::failover::wOn: Map("w1" -> "", "w2" -> "s1"),3460 foFixed::failover::ws:3461 Map(3462 "w1" ->3463 { attached: Set(), built: false, expecting: false, running: false },3464 "w2" ->3465 { attached: Set(), built: false, expecting: false, running: false }3466 )3467}34683469[State 14]3470{3471 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3472 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3473 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3474 foFixed::failover::flaps: 2,3475 foFixed::failover::mAssigned: Set(),3476 foFixed::failover::mBuild: Set(),3477 foFixed::failover::mDone: Set(),3478 foFixed::failover::mExpect: Set(),3479 foFixed::failover::mRestart: Set("c1", "c2"),3480 foFixed::failover::mResult: Set(),3481 foFixed::failover::mRetry: Set(),3482 foFixed::failover::mWant: Set(),3483 foFixed::failover::published: 0,3484 foFixed::failover::s1up: true,3485 foFixed::failover::ss:3486 Map(3487 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3488 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3489 ),3490 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3491 foFixed::failover::ws:3492 Map(3493 "w1" ->3494 { attached: Set(), built: false, expecting: false, running: false },3495 "w2" ->3496 { attached: Set(), built: false, expecting: false, running: false }3497 )3498}34993500[State 15]3501{3502 foFixed::failover::cOn: Map("c1" -> "", "c2" -> "s1"),3503 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3504 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3505 foFixed::failover::flaps: 2,3506 foFixed::failover::mAssigned: Set(),3507 foFixed::failover::mBuild: Set(),3508 foFixed::failover::mDone: Set(),3509 foFixed::failover::mExpect: Set(),3510 foFixed::failover::mRestart: Set("c1"),3511 foFixed::failover::mResult: Set(),3512 foFixed::failover::mRetry: Set(),3513 foFixed::failover::mWant: Set(("c2", "s1")),3514 foFixed::failover::published: 0,3515 foFixed::failover::s1up: true,3516 foFixed::failover::ss:3517 Map(3518 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3519 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3520 ),3521 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3522 foFixed::failover::ws:3523 Map(3524 "w1" ->3525 { attached: Set(), built: false, expecting: false, running: false },3526 "w2" ->3527 { attached: Set(), built: false, expecting: false, running: false }3528 )3529}35303531[State 16]3532{3533 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3534 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3535 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3536 foFixed::failover::flaps: 3,3537 foFixed::failover::mAssigned: Set(),3538 foFixed::failover::mBuild: Set(),3539 foFixed::failover::mDone: Set(),3540 foFixed::failover::mExpect: Set(),3541 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3542 foFixed::failover::mResult: Set(),3543 foFixed::failover::mRetry: Set(),3544 foFixed::failover::mWant: Set(),3545 foFixed::failover::published: 0,3546 foFixed::failover::s1up: false,3547 foFixed::failover::ss:3548 Map(3549 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3550 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3551 ),3552 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3553 foFixed::failover::ws:3554 Map(3555 "w1" ->3556 { attached: Set(), built: false, expecting: false, running: false },3557 "w2" ->3558 { attached: Set(), built: false, expecting: false, running: false }3559 )3560}35613562[State 17]3563{3564 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3565 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3566 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3567 foFixed::failover::flaps: 3,3568 foFixed::failover::mAssigned: Set(),3569 foFixed::failover::mBuild: Set(),3570 foFixed::failover::mDone: Set(),3571 foFixed::failover::mExpect: Set(),3572 foFixed::failover::mRestart: Set("c1", "c2", "w1"),3573 foFixed::failover::mResult: Set(),3574 foFixed::failover::mRetry: Set(),3575 foFixed::failover::mWant: Set(),3576 foFixed::failover::published: 0,3577 foFixed::failover::s1up: false,3578 foFixed::failover::ss:3579 Map(3580 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3581 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3582 ),3583 foFixed::failover::wOn: Map("w1" -> "", "w2" -> "s2"),3584 foFixed::failover::ws:3585 Map(3586 "w1" ->3587 { attached: Set(), built: false, expecting: false, running: false },3588 "w2" ->3589 { attached: Set(), built: false, expecting: false, running: false }3590 )3591}35923593[State 18]3594{3595 foFixed::failover::cOn: Map("c1" -> "s2", "c2" -> ""),3596 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3597 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3598 foFixed::failover::flaps: 3,3599 foFixed::failover::mAssigned: Set(),3600 foFixed::failover::mBuild: Set(),3601 foFixed::failover::mDone: Set(),3602 foFixed::failover::mExpect: Set(),3603 foFixed::failover::mRestart: Set("c2", "w1"),3604 foFixed::failover::mResult: Set(),3605 foFixed::failover::mRetry: Set(),3606 foFixed::failover::mWant: Set(("c1", "s2")),3607 foFixed::failover::published: 0,3608 foFixed::failover::s1up: false,3609 foFixed::failover::ss:3610 Map(3611 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3612 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3613 ),3614 foFixed::failover::wOn: Map("w1" -> "", "w2" -> "s2"),3615 foFixed::failover::ws:3616 Map(3617 "w1" ->3618 { attached: Set(), built: false, expecting: false, running: false },3619 "w2" ->3620 { attached: Set(), built: false, expecting: false, running: false }3621 )3622}36233624[State 19]3625{3626 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3627 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3628 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3629 foFixed::failover::flaps: 3,3630 foFixed::failover::mAssigned: Set(),3631 foFixed::failover::mBuild: Set(),3632 foFixed::failover::mDone: Set(),3633 foFixed::failover::mExpect: Set(),3634 foFixed::failover::mRestart: Set("c1", "c2", "w1", "w2"),3635 foFixed::failover::mResult: Set(),3636 foFixed::failover::mRetry: Set(),3637 foFixed::failover::mWant: Set(),3638 foFixed::failover::published: 0,3639 foFixed::failover::s1up: true,3640 foFixed::failover::ss:3641 Map(3642 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3643 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3644 ),3645 foFixed::failover::wOn: Map("w1" -> "", "w2" -> ""),3646 foFixed::failover::ws:3647 Map(3648 "w1" ->3649 { attached: Set(), built: false, expecting: false, running: false },3650 "w2" ->3651 { attached: Set(), built: false, expecting: false, running: false }3652 )3653}36543655[State 20]3656{3657 foFixed::failover::cOn: Map("c1" -> "", "c2" -> ""),3658 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3659 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3660 foFixed::failover::flaps: 3,3661 foFixed::failover::mAssigned: Set(),3662 foFixed::failover::mBuild: Set(),3663 foFixed::failover::mDone: Set(),3664 foFixed::failover::mExpect: Set(),3665 foFixed::failover::mRestart: Set("c1", "c2", "w1"),3666 foFixed::failover::mResult: Set(),3667 foFixed::failover::mRetry: Set(),3668 foFixed::failover::mWant: Set(),3669 foFixed::failover::published: 0,3670 foFixed::failover::s1up: true,3671 foFixed::failover::ss:3672 Map(3673 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3674 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3675 ),3676 foFixed::failover::wOn: Map("w1" -> "", "w2" -> "s1"),3677 foFixed::failover::ws:3678 Map(3679 "w1" ->3680 { attached: Set(), built: false, expecting: false, running: false },3681 "w2" ->3682 { attached: Set(), built: false, expecting: false, running: false }3683 )3684}36853686[State 21]3687{3688 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> ""),3689 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3690 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3691 foFixed::failover::flaps: 3,3692 foFixed::failover::mAssigned: Set(),3693 foFixed::failover::mBuild: Set(),3694 foFixed::failover::mDone: Set(),3695 foFixed::failover::mExpect: Set(),3696 foFixed::failover::mRestart: Set("c2", "w1"),3697 foFixed::failover::mResult: Set(),3698 foFixed::failover::mRetry: Set(),3699 foFixed::failover::mWant: Set(("c1", "s1")),3700 foFixed::failover::published: 0,3701 foFixed::failover::s1up: true,3702 foFixed::failover::ss:3703 Map(3704 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3705 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3706 ),3707 foFixed::failover::wOn: Map("w1" -> "", "w2" -> "s1"),3708 foFixed::failover::ws:3709 Map(3710 "w1" ->3711 { attached: Set(), built: false, expecting: false, running: false },3712 "w2" ->3713 { attached: Set(), built: false, expecting: false, running: false }3714 )3715}37163717[State 22]3718{3719 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> ""),3720 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3721 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3722 foFixed::failover::flaps: 3,3723 foFixed::failover::mAssigned: Set(),3724 foFixed::failover::mBuild: Set(),3725 foFixed::failover::mDone: Set(),3726 foFixed::failover::mExpect: Set(),3727 foFixed::failover::mRestart: Set("c2"),3728 foFixed::failover::mResult: Set(),3729 foFixed::failover::mRetry: Set(),3730 foFixed::failover::mWant: Set(("c1", "s1")),3731 foFixed::failover::published: 0,3732 foFixed::failover::s1up: true,3733 foFixed::failover::ss:3734 Map(3735 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },3736 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3737 ),3738 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3739 foFixed::failover::ws:3740 Map(3741 "w1" ->3742 { attached: Set(), built: false, expecting: false, running: false },3743 "w2" ->3744 { attached: Set(), built: false, expecting: false, running: false }3745 )3746}37473748[State 23]3749{3750 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> ""),3751 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3752 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3753 foFixed::failover::flaps: 3,3754 foFixed::failover::mAssigned: Set(("s1", "c1", "w1")),3755 foFixed::failover::mBuild: Set(),3756 foFixed::failover::mDone: Set(),3757 foFixed::failover::mExpect: Set(("s1", "w1")),3758 foFixed::failover::mRestart: Set("c2"),3759 foFixed::failover::mResult: Set(),3760 foFixed::failover::mRetry: Set(),3761 foFixed::failover::mWant: Set(),3762 foFixed::failover::published: 0,3763 foFixed::failover::s1up: true,3764 foFixed::failover::ss:3765 Map(3766 "s1" ->3767 { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },3768 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3769 ),3770 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3771 foFixed::failover::ws:3772 Map(3773 "w1" ->3774 { attached: Set(), built: false, expecting: false, running: false },3775 "w2" ->3776 { attached: Set(), built: false, expecting: false, running: false }3777 )3778}37793780[State 24]3781{3782 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> ""),3783 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3784 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3785 foFixed::failover::flaps: 3,3786 foFixed::failover::mAssigned: Set(("s1", "c1", "w1")),3787 foFixed::failover::mBuild: Set(),3788 foFixed::failover::mDone: Set(),3789 foFixed::failover::mExpect: Set(),3790 foFixed::failover::mRestart: Set("c2"),3791 foFixed::failover::mResult: Set(),3792 foFixed::failover::mRetry: Set(),3793 foFixed::failover::mWant: Set(),3794 foFixed::failover::published: 0,3795 foFixed::failover::s1up: true,3796 foFixed::failover::ss:3797 Map(3798 "s1" ->3799 { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },3800 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3801 ),3802 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3803 foFixed::failover::ws:3804 Map(3805 "w1" ->3806 { attached: Set(), built: false, expecting: true, running: false },3807 "w2" ->3808 { attached: Set(), built: false, expecting: false, running: false }3809 )3810}38113812[State 25]3813{3814 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3815 foFixed::failover::cTo: Map("c1" -> "", "c2" -> ""),3816 foFixed::failover::cl: Map("c1" -> "queued", "c2" -> "queued"),3817 foFixed::failover::flaps: 3,3818 foFixed::failover::mAssigned: Set(("s1", "c1", "w1")),3819 foFixed::failover::mBuild: Set(),3820 foFixed::failover::mDone: Set(),3821 foFixed::failover::mExpect: Set(),3822 foFixed::failover::mRestart: Set(),3823 foFixed::failover::mResult: Set(),3824 foFixed::failover::mRetry: Set(),3825 foFixed::failover::mWant: Set(("c2", "s1")),3826 foFixed::failover::published: 0,3827 foFixed::failover::s1up: true,3828 foFixed::failover::ss:3829 Map(3830 "s1" ->3831 { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },3832 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3833 ),3834 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3835 foFixed::failover::ws:3836 Map(3837 "w1" ->3838 { attached: Set(), built: false, expecting: true, running: false },3839 "w2" ->3840 { attached: Set(), built: false, expecting: false, running: false }3841 )3842}38433844[State 26]3845{3846 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3847 foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),3848 foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),3849 foFixed::failover::flaps: 3,3850 foFixed::failover::mAssigned: Set(),3851 foFixed::failover::mBuild: Set(("c1", "w1")),3852 foFixed::failover::mDone: Set(),3853 foFixed::failover::mExpect: Set(),3854 foFixed::failover::mRestart: Set(),3855 foFixed::failover::mResult: Set(),3856 foFixed::failover::mRetry: Set(),3857 foFixed::failover::mWant: Set(("c2", "s1")),3858 foFixed::failover::published: 0,3859 foFixed::failover::s1up: true,3860 foFixed::failover::ss:3861 Map(3862 "s1" ->3863 { busy: Set("w1"), followers: Set("c1"), has: true, worker: "w1" },3864 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3865 ),3866 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3867 foFixed::failover::ws:3868 Map(3869 "w1" ->3870 { attached: Set(), built: false, expecting: true, running: false },3871 "w2" ->3872 { attached: Set(), built: false, expecting: false, running: false }3873 )3874}38753876[State 27]3877{3878 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3879 foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),3880 foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),3881 foFixed::failover::flaps: 3,3882 foFixed::failover::mAssigned: Set(("s1", "c2", "w1")),3883 foFixed::failover::mBuild: Set(("c1", "w1")),3884 foFixed::failover::mDone: Set(),3885 foFixed::failover::mExpect: Set(),3886 foFixed::failover::mRestart: Set(),3887 foFixed::failover::mResult: Set(),3888 foFixed::failover::mRetry: Set(),3889 foFixed::failover::mWant: Set(),3890 foFixed::failover::published: 0,3891 foFixed::failover::s1up: true,3892 foFixed::failover::ss:3893 Map(3894 "s1" ->3895 {3896 busy: Set("w1"),3897 followers: Set("c1", "c2"),3898 has: true,3899 worker: "w1"3900 },3901 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3902 ),3903 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3904 foFixed::failover::ws:3905 Map(3906 "w1" ->3907 { attached: Set(), built: false, expecting: true, running: false },3908 "w2" ->3909 { attached: Set(), built: false, expecting: false, running: false }3910 )3911}39123913[State 28]3914{3915 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3916 foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> ""),3917 foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "queued"),3918 foFixed::failover::flaps: 3,3919 foFixed::failover::mAssigned: Set(("s1", "c2", "w1")),3920 foFixed::failover::mBuild: Set(("c1", "w1")),3921 foFixed::failover::mDone: Set(("w1", "s1")),3922 foFixed::failover::mExpect: Set(),3923 foFixed::failover::mRestart: Set(),3924 foFixed::failover::mResult: Set(),3925 foFixed::failover::mRetry: Set(),3926 foFixed::failover::mWant: Set(),3927 foFixed::failover::published: 0,3928 foFixed::failover::s1up: true,3929 foFixed::failover::ss:3930 Map(3931 "s1" ->3932 {3933 busy: Set("w1"),3934 followers: Set("c1", "c2"),3935 has: true,3936 worker: "w1"3937 },3938 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3939 ),3940 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3941 foFixed::failover::ws:3942 Map(3943 "w1" ->3944 { attached: Set(), built: false, expecting: false, running: false },3945 "w2" ->3946 { attached: Set(), built: false, expecting: false, running: false }3947 )3948}39493950[State 29]3951{3952 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3953 foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> "w1"),3954 foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "sent"),3955 foFixed::failover::flaps: 3,3956 foFixed::failover::mAssigned: Set(),3957 foFixed::failover::mBuild: Set(("c1", "w1"), ("c2", "w1")),3958 foFixed::failover::mDone: Set(("w1", "s1")),3959 foFixed::failover::mExpect: Set(),3960 foFixed::failover::mRestart: Set(),3961 foFixed::failover::mResult: Set(),3962 foFixed::failover::mRetry: Set(),3963 foFixed::failover::mWant: Set(),3964 foFixed::failover::published: 0,3965 foFixed::failover::s1up: true,3966 foFixed::failover::ss:3967 Map(3968 "s1" ->3969 {3970 busy: Set("w1"),3971 followers: Set("c1", "c2"),3972 has: true,3973 worker: "w1"3974 },3975 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }3976 ),3977 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),3978 foFixed::failover::ws:3979 Map(3980 "w1" ->3981 { attached: Set(), built: false, expecting: false, running: false },3982 "w2" ->3983 { attached: Set(), built: false, expecting: false, running: false }3984 )3985}39863987[State 30]3988{3989 foFixed::failover::cOn: Map("c1" -> "s1", "c2" -> "s1"),3990 foFixed::failover::cTo: Map("c1" -> "w1", "c2" -> "w1"),3991 foFixed::failover::cl: Map("c1" -> "sent", "c2" -> "sent"),3992 foFixed::failover::flaps: 3,3993 foFixed::failover::mAssigned: Set(),3994 foFixed::failover::mBuild: Set(("c2", "w1")),3995 foFixed::failover::mDone: Set(("w1", "s1")),3996 foFixed::failover::mExpect: Set(),3997 foFixed::failover::mRestart: Set(),3998 foFixed::failover::mResult: Set(),3999 foFixed::failover::mRetry: Set("c1"),4000 foFixed::failover::mWant: Set(),4001 foFixed::failover::published: 0,4002 foFixed::failover::s1up: true,4003 foFixed::failover::ss:4004 Map(4005 "s1" ->4006 {4007 busy: Set("w1"),4008 followers: Set("c1", "c2"),4009 has: true,4010 worker: "w1"4011 },4012 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4013 ),4014 foFixed::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),4015 foFixed::failover::ws:4016 Map(4017 "w1" ->4018 { attached: Set(), built: false, expecting: false, running: false },4019 "w2" ->4020 { attached: Set(), built: false, expecting: false, running: false }4021 )4022}40234024[ok] No violation found (1946ms at 15416 traces/second).4025Trace length statistics: max=31, min=25, average=30.594026You may increase --max-samples and --max-steps.4027Use --verbosity to produce more (or less) output.4028Use --seed=0x2e2672ec9e23d1a3 --backend=rust to reproduce.4029An example execution:40304031[State 0]4032{4033 foNoStepDown::failover::cOn: Map("c1" -> "", "c2" -> ""),4034 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4035 foNoStepDown::failover::cl: Map("c1" -> "idle", "c2" -> "idle"),4036 foNoStepDown::failover::flaps: 0,4037 foNoStepDown::failover::mAssigned: Set(),4038 foNoStepDown::failover::mBuild: Set(),4039 foNoStepDown::failover::mDone: Set(),4040 foNoStepDown::failover::mExpect: Set(),4041 foNoStepDown::failover::mRestart: Set(),4042 foNoStepDown::failover::mResult: Set(),4043 foNoStepDown::failover::mRetry: Set(),4044 foNoStepDown::failover::mWant: Set(),4045 foNoStepDown::failover::published: 0,4046 foNoStepDown::failover::s1up: true,4047 foNoStepDown::failover::ss:4048 Map(4049 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4050 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4051 ),4052 foNoStepDown::failover::wOn: Map("w1" -> "s1", "w2" -> "s1"),4053 foNoStepDown::failover::ws:4054 Map(4055 "w1" ->4056 { attached: Set(), built: false, expecting: false, running: false },4057 "w2" ->4058 { attached: Set(), built: false, expecting: false, running: false }4059 )4060}40614062[State 1]4063{4064 foNoStepDown::failover::cOn: Map("c1" -> "", "c2" -> ""),4065 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4066 foNoStepDown::failover::cl: Map("c1" -> "idle", "c2" -> "idle"),4067 foNoStepDown::failover::flaps: 1,4068 foNoStepDown::failover::mAssigned: Set(),4069 foNoStepDown::failover::mBuild: Set(),4070 foNoStepDown::failover::mDone: Set(),4071 foNoStepDown::failover::mExpect: Set(),4072 foNoStepDown::failover::mRestart: Set("w1", "w2"),4073 foNoStepDown::failover::mResult: Set(),4074 foNoStepDown::failover::mRetry: Set(),4075 foNoStepDown::failover::mWant: Set(),4076 foNoStepDown::failover::published: 0,4077 foNoStepDown::failover::s1up: false,4078 foNoStepDown::failover::ss:4079 Map(4080 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4081 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4082 ),4083 foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),4084 foNoStepDown::failover::ws:4085 Map(4086 "w1" ->4087 { attached: Set(), built: false, expecting: false, running: false },4088 "w2" ->4089 { attached: Set(), built: false, expecting: false, running: false }4090 )4091}40924093[State 2]4094{4095 foNoStepDown::failover::cOn: Map("c1" -> "s2", "c2" -> ""),4096 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4097 foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),4098 foNoStepDown::failover::flaps: 1,4099 foNoStepDown::failover::mAssigned: Set(),4100 foNoStepDown::failover::mBuild: Set(),4101 foNoStepDown::failover::mDone: Set(),4102 foNoStepDown::failover::mExpect: Set(),4103 foNoStepDown::failover::mRestart: Set("w1", "w2"),4104 foNoStepDown::failover::mResult: Set(),4105 foNoStepDown::failover::mRetry: Set(),4106 foNoStepDown::failover::mWant: Set(("c1", "s2")),4107 foNoStepDown::failover::published: 0,4108 foNoStepDown::failover::s1up: false,4109 foNoStepDown::failover::ss:4110 Map(4111 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4112 "s2" -> { busy: Set(), followers: Set(), has: false, worker: "" }4113 ),4114 foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),4115 foNoStepDown::failover::ws:4116 Map(4117 "w1" ->4118 { attached: Set(), built: false, expecting: false, running: false },4119 "w2" ->4120 { attached: Set(), built: false, expecting: false, running: false }4121 )4122}41234124[State 3]4125{4126 foNoStepDown::failover::cOn: Map("c1" -> "s2", "c2" -> ""),4127 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4128 foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),4129 foNoStepDown::failover::flaps: 1,4130 foNoStepDown::failover::mAssigned: Set(),4131 foNoStepDown::failover::mBuild: Set(),4132 foNoStepDown::failover::mDone: Set(),4133 foNoStepDown::failover::mExpect: Set(),4134 foNoStepDown::failover::mRestart: Set("w1", "w2"),4135 foNoStepDown::failover::mResult: Set(),4136 foNoStepDown::failover::mRetry: Set(),4137 foNoStepDown::failover::mWant: Set(),4138 foNoStepDown::failover::published: 0,4139 foNoStepDown::failover::s1up: false,4140 foNoStepDown::failover::ss:4141 Map(4142 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4143 "s2" -> { busy: Set(), followers: Set("c1"), has: true, worker: "" }4144 ),4145 foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),4146 foNoStepDown::failover::ws:4147 Map(4148 "w1" ->4149 { attached: Set(), built: false, expecting: false, running: false },4150 "w2" ->4151 { attached: Set(), built: false, expecting: false, running: false }4152 )4153}41544155[State 4]4156{4157 foNoStepDown::failover::cOn: Map("c1" -> "s2", "c2" -> ""),4158 foNoStepDown::failover::cTo: Map("c1" -> "", "c2" -> ""),4159 foNoStepDown::failover::cl: Map("c1" -> "queued", "c2" -> "idle"),4160 foNoStepDown::failover::flaps: 1,4161 foNoStepDown::failover::mAssigned: Set(),4162 foNoStepDown::failover::mBuild: Set(),4163 foNoStepDown::failover::mDone: Set(),4164 foNoStepDown::failover::mExpect: Set(),4165 foNoStepDown::failover::mRestart: Set("w1", "w2"),4166 foNoStepDown::failover::mResult: Set(),4167 foNoStepDown::failover::mRetry: Set(),4168 foNoStepDown::failover::mWant: Set(),4169 foNoStepDown::failover::published: 0,4170 foNoStepDown::failover::s1up: true,4171 foNoStepDown::failover::ss:4172 Map(4173 "s1" -> { busy: Set(), followers: Set(), has: false, worker: "" },4174 "s2" -> { busy: Set(), followers: Set("c1"), has: true, worker: "" }4175 ),4176 foNoStepDown::failover::wOn: Map("w1" -> "", "w2" -> ""),4177 foNoStepDown::failover::ws:4178 Map(4179 "w1" ->4180 { attached: Set(), built: false, expecting: false, running: false },4181 "w2" ->4182 { attached: Set(), built: false, expecting: false, running: false }4183 )4184}41854186[violation] Found an issue (8711ms at 66 traces/second).4187Use --verbosity=3 to show executions.4188Use --seed=0xc35ed63b64e501a0 --backend=rust to reproduce.4189error: Invariant violated4190An example execution:41914192[State 0]4193{4194 hookFixed::hook::cache: Set(),4195 hookFixed::hook::drvUploaded: false,4196 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4197 hookFixed::hook::phase: Query,4198 hookFixed::hook::restarts: 0,4199 hookFixed::hook::retries: 0,4200 hookFixed::hook::toUpload: Set()4201}42024203[State 1]4204{4205 hookFixed::hook::cache: Set(),4206 hookFixed::hook::drvUploaded: false,4207 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4208 hookFixed::hook::phase: Query,4209 hookFixed::hook::restarts: 1,4210 hookFixed::hook::retries: 1,4211 hookFixed::hook::toUpload: Set()4212}42134214[State 2]4215{4216 hookFixed::hook::cache: Set("in"),4217 hookFixed::hook::drvUploaded: false,4218 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4219 hookFixed::hook::phase: Upload,4220 hookFixed::hook::restarts: 1,4221 hookFixed::hook::retries: 1,4222 hookFixed::hook::toUpload: Set("drv")4223}42244225[State 3]4226{4227 hookFixed::hook::cache: Set("in"),4228 hookFixed::hook::drvUploaded: false,4229 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4230 hookFixed::hook::phase: Upload,4231 hookFixed::hook::restarts: 2,4232 hookFixed::hook::retries: 2,4233 hookFixed::hook::toUpload: Set("drv")4234}42354236[State 4]4237{4238 hookFixed::hook::cache: Set("drv", "in"),4239 hookFixed::hook::drvUploaded: false,4240 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4241 hookFixed::hook::phase: Build,4242 hookFixed::hook::restarts: 2,4243 hookFixed::hook::retries: 2,4244 hookFixed::hook::toUpload: Set("drv")4245}42464247[State 5]4248{4249 hookFixed::hook::cache: Set("drv", "in", "out"),4250 hookFixed::hook::drvUploaded: false,4251 hookFixed::hook::local:4252 Map("w1" -> Set("in"), "w2" -> Set("drv", "in", "out")),4253 hookFixed::hook::phase: Fetch,4254 hookFixed::hook::restarts: 2,4255 hookFixed::hook::retries: 2,4256 hookFixed::hook::toUpload: Set("drv")4257}42584259[State 6]4260{4261 hookFixed::hook::cache: Set("drv", "in", "out"),4262 hookFixed::hook::drvUploaded: false,4263 hookFixed::hook::local:4264 Map("w1" -> Set("in"), "w2" -> Set("drv", "in", "out")),4265 hookFixed::hook::phase: Done,4266 hookFixed::hook::restarts: 2,4267 hookFixed::hook::retries: 2,4268 hookFixed::hook::toUpload: Set("drv")4269}42704271[ok] No violation found (1604ms at 12469 traces/second).4272Trace length statistics: max=7, min=5, average=6.734273You may increase --max-samples and --max-steps.4274Use --verbosity to produce more (or less) output.4275Use --seed=0xcd36f2022ced4f56 --backend=rust to reproduce.4276An example execution:42774278[State 0]4279{4280 hookNoSubstituteRefs::hook::cache: Set(),4281 hookNoSubstituteRefs::hook::drvUploaded: false,4282 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4283 hookNoSubstituteRefs::hook::phase: Query,4284 hookNoSubstituteRefs::hook::restarts: 0,4285 hookNoSubstituteRefs::hook::retries: 0,4286 hookNoSubstituteRefs::hook::toUpload: Set()4287}42884289[State 1]4290{4291 hookNoSubstituteRefs::hook::cache: Set("in"),4292 hookNoSubstituteRefs::hook::drvUploaded: false,4293 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4294 hookNoSubstituteRefs::hook::phase: Upload,4295 hookNoSubstituteRefs::hook::restarts: 0,4296 hookNoSubstituteRefs::hook::retries: 0,4297 hookNoSubstituteRefs::hook::toUpload: Set("drv")4298}42994300[State 2]4301{4302 hookNoSubstituteRefs::hook::cache: Set("in"),4303 hookNoSubstituteRefs::hook::drvUploaded: false,4304 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4305 hookNoSubstituteRefs::hook::phase: Failed,4306 hookNoSubstituteRefs::hook::restarts: 0,4307 hookNoSubstituteRefs::hook::retries: 0,4308 hookNoSubstituteRefs::hook::toUpload: Set("drv")4309}43104311[violation] Found an issue (68ms at 21088 traces/second).4312Use --verbosity=3 to show executions.4313Use --seed=0x8f8a48848f4a90bd --backend=rust to reproduce.4314error: Invariant violated4315An example execution:43164317[State 0]4318{4319 hookNoSubstituteDrv::hook::cache: Set(),4320 hookNoSubstituteDrv::hook::drvUploaded: false,4321 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4322 hookNoSubstituteDrv::hook::phase: Query,4323 hookNoSubstituteDrv::hook::restarts: 0,4324 hookNoSubstituteDrv::hook::retries: 0,4325 hookNoSubstituteDrv::hook::toUpload: Set()4326}43274328[State 1]4329{4330 hookNoSubstituteDrv::hook::cache: Set("in"),4331 hookNoSubstituteDrv::hook::drvUploaded: false,4332 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),4333 hookNoSubstituteDrv::hook::phase: Upload,4334 hookNoSubstituteDrv::hook::restarts: 0,4335 hookNoSubstituteDrv::hook::retries: 0,4336 hookNoSubstituteDrv::hook::toUpload: Set("drv")4337}43384339[State 2]4340{4341 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4342 hookNoSubstituteDrv::hook::drvUploaded: false,4343 hookNoSubstituteDrv::hook::local:4344 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4345 hookNoSubstituteDrv::hook::phase: Build,4346 hookNoSubstituteDrv::hook::restarts: 0,4347 hookNoSubstituteDrv::hook::retries: 0,4348 hookNoSubstituteDrv::hook::toUpload: Set("drv")4349}43504351[State 3]4352{4353 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4354 hookNoSubstituteDrv::hook::drvUploaded: false,4355 hookNoSubstituteDrv::hook::local:4356 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4357 hookNoSubstituteDrv::hook::phase: UploadDrv,4358 hookNoSubstituteDrv::hook::restarts: 0,4359 hookNoSubstituteDrv::hook::retries: 0,4360 hookNoSubstituteDrv::hook::toUpload: Set("drv")4361}43624363[State 4]4364{4365 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4366 hookNoSubstituteDrv::hook::drvUploaded: true,4367 hookNoSubstituteDrv::hook::local:4368 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4369 hookNoSubstituteDrv::hook::phase: Build,4370 hookNoSubstituteDrv::hook::restarts: 0,4371 hookNoSubstituteDrv::hook::retries: 0,4372 hookNoSubstituteDrv::hook::toUpload: Set("drv")4373}43744375[State 5]4376{4377 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4378 hookNoSubstituteDrv::hook::drvUploaded: true,4379 hookNoSubstituteDrv::hook::local:4380 Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),4381 hookNoSubstituteDrv::hook::phase: Failed,4382 hookNoSubstituteDrv::hook::restarts: 0,4383 hookNoSubstituteDrv::hook::retries: 0,4384 hookNoSubstituteDrv::hook::toUpload: Set("drv")4385}43864387[violation] Found an issue (292ms at 6021 traces/second).4388Use --verbosity=3 to show executions.4389Use --seed=0xb52a99193584d819 --backend=rust to reproduce.4390error: Invariant violated4391An example execution:43924393[State 0]4394{4395 pushFixed::push::byPath: Map(),4396 pushFixed::push::inflight: Set(),4397 pushFixed::push::left: Map(),4398 pushFixed::push::sent: Map()4399}44004401[State 1]4402{4403 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4404 pushFixed::push::inflight: Set((3, "a"), (3, "b")),4405 pushFixed::push::left: Map(3 -> 2),4406 pushFixed::push::sent: Map(3 -> Set("a", "b"))4407}44084409[State 2]4410{4411 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4412 pushFixed::push::inflight: Set((3, "b")),4413 pushFixed::push::left: Map(3 -> 1),4414 pushFixed::push::sent: Map(3 -> Set("a", "b"))4415}44164417[State 3]4418{4419 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4420 pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "b")),4421 pushFixed::push::left: Map(2 -> 2, 3 -> 1),4422 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))4423}44244425[State 4]4426{4427 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4428 pushFixed::push::inflight: Set((2, "a"), (3, "b")),4429 pushFixed::push::left: Map(2 -> 1, 3 -> 1),4430 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))4431}44324433[State 5]4434{4435 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4436 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a"), (3, "b")),4437 pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 1),4438 pushFixed::push::sent:4439 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4440}44414442[State 6]4443{4444 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4445 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "b")),4446 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 1),4447 pushFixed::push::sent:4448 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4449}44504451[State 7]4452{4453 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4454 pushFixed::push::inflight: Set((1, "b"), (3, "b")),4455 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 1),4456 pushFixed::push::sent:4457 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4458}44594460[State 8]4461{4462 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4463 pushFixed::push::inflight: Set((1, "b")),4464 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 0),4465 pushFixed::push::sent:4466 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4467}44684469[State 9]4470{4471 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4472 pushFixed::push::inflight: Set(),4473 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),4474 pushFixed::push::sent:4475 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4476}44774478[ok] No violation found (93ms at 215054 traces/second).4479Trace length statistics: max=10, min=7, average=7.944480You may increase --max-samples and --max-steps.4481Use --verbosity to produce more (or less) output.4482Use --seed=0xdba9f3d8cd94dd90 --backend=rust to reproduce.