nix-grpc-store-spec
checks.aarch64-linux.spec
· build #214
· raw
1tribuchet: building on eliza2An example execution:34[State 0]5{6 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),7 schedFixed::scheduler::crashes: 0,8 schedFixed::scheduler::entry: [],9 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),10 schedFixed::scheduler::mAssigned: Set(),11 schedFixed::scheduler::mBuild: Set(),12 schedFixed::scheduler::mDone: Set(),13 schedFixed::scheduler::mExpect: Set(),14 schedFixed::scheduler::mResult: Set(),15 schedFixed::scheduler::mRetry: Set(),16 schedFixed::scheduler::mSchedule: Set(),17 schedFixed::scheduler::published: 0,18 schedFixed::scheduler::publishedBy: Set(),19 schedFixed::scheduler::ws:20 Map(21 "w1" ->22 {23 attached: Set(),24 built: false,25 expecting: false,26 running: false,27 session: true,28 up: true29 },30 "w2" ->31 {32 attached: Set(),33 built: false,34 expecting: false,35 running: false,36 session: true,37 up: true38 }39 )40}4142[State 1]43{44 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),45 schedFixed::scheduler::crashes: 0,46 schedFixed::scheduler::entry: [],47 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),48 schedFixed::scheduler::mAssigned: Set(),49 schedFixed::scheduler::mBuild: Set(),50 schedFixed::scheduler::mDone: Set(),51 schedFixed::scheduler::mExpect: Set(),52 schedFixed::scheduler::mResult: Set(),53 schedFixed::scheduler::mRetry: Set(),54 schedFixed::scheduler::mSchedule: Set("c2"),55 schedFixed::scheduler::published: 0,56 schedFixed::scheduler::publishedBy: Set(),57 schedFixed::scheduler::ws:58 Map(59 "w1" ->60 {61 attached: Set(),62 built: false,63 expecting: false,64 running: false,65 session: true,66 up: true67 },68 "w2" ->69 {70 attached: Set(),71 built: false,72 expecting: false,73 running: false,74 session: true,75 up: true76 }77 )78}7980[State 2]81{82 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),83 schedFixed::scheduler::crashes: 0,84 schedFixed::scheduler::entry:85 [{ followers: Set("c2"), leased: true, worker: "w2" }],86 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),87 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),88 schedFixed::scheduler::mBuild: Set(),89 schedFixed::scheduler::mDone: Set(),90 schedFixed::scheduler::mExpect: Set("w2"),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" -> CIdle, "c2" -> CQueued),122 schedFixed::scheduler::crashes: 1,123 schedFixed::scheduler::entry:124 [{ followers: Set("c2"), leased: true, worker: "w2" }],125 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),126 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),127 schedFixed::scheduler::mBuild: Set(),128 schedFixed::scheduler::mDone: Set(),129 schedFixed::scheduler::mExpect: Set("w2"),130 schedFixed::scheduler::mResult: Set(),131 schedFixed::scheduler::mRetry: Set(),132 schedFixed::scheduler::mSchedule: Set(),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: false,144 up: false145 },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" -> CIdle, "c2" -> CQueued),161 schedFixed::scheduler::crashes: 2,162 schedFixed::scheduler::entry:163 [{ followers: Set("c2"), leased: true, worker: "w2" }],164 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),165 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),166 schedFixed::scheduler::mBuild: Set(),167 schedFixed::scheduler::mDone: Set(),168 schedFixed::scheduler::mExpect: Set(),169 schedFixed::scheduler::mResult: Set(),170 schedFixed::scheduler::mRetry: Set(),171 schedFixed::scheduler::mSchedule: Set(),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: false,183 up: false184 },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" -> CQueued, "c2" -> CQueued),200 schedFixed::scheduler::crashes: 2,201 schedFixed::scheduler::entry:202 [{ followers: Set("c2"), leased: true, worker: "w2" }],203 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),204 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),205 schedFixed::scheduler::mBuild: Set(),206 schedFixed::scheduler::mDone: Set(),207 schedFixed::scheduler::mExpect: Set(),208 schedFixed::scheduler::mResult: Set(),209 schedFixed::scheduler::mRetry: Set(),210 schedFixed::scheduler::mSchedule: Set("c1"),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: false,222 up: false223 },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" -> CQueued, "c2" -> CQueued),239 schedFixed::scheduler::crashes: 2,240 schedFixed::scheduler::entry:241 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],242 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),243 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),244 schedFixed::scheduler::mBuild: Set(),245 schedFixed::scheduler::mDone: Set(),246 schedFixed::scheduler::mExpect: Set(),247 schedFixed::scheduler::mResult: Set(),248 schedFixed::scheduler::mRetry: Set(),249 schedFixed::scheduler::mSchedule: Set(),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: false,261 up: false262 },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" -> CQueued, "c2" -> CQueued),278 schedFixed::scheduler::crashes: 2,279 schedFixed::scheduler::entry: [],280 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),281 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),282 schedFixed::scheduler::mBuild: Set(),283 schedFixed::scheduler::mDone: Set(),284 schedFixed::scheduler::mExpect: Set(),285 schedFixed::scheduler::mResult: Set(),286 schedFixed::scheduler::mRetry: Set("c1", "c2"),287 schedFixed::scheduler::mSchedule: Set(),288 schedFixed::scheduler::published: 0,289 schedFixed::scheduler::publishedBy: Set(),290 schedFixed::scheduler::ws:291 Map(292 "w1" ->293 {294 attached: Set(),295 built: false,296 expecting: false,297 running: false,298 session: false,299 up: false300 },301 "w2" ->302 {303 attached: Set(),304 built: false,305 expecting: false,306 running: false,307 session: false,308 up: false309 }310 )311}312313[State 8]314{315 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),316 schedFixed::scheduler::crashes: 2,317 schedFixed::scheduler::entry: [],318 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),319 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),320 schedFixed::scheduler::mBuild: Set(),321 schedFixed::scheduler::mDone: Set(),322 schedFixed::scheduler::mExpect: Set(),323 schedFixed::scheduler::mResult: Set(),324 schedFixed::scheduler::mRetry: Set("c1", "c2"),325 schedFixed::scheduler::mSchedule: Set(),326 schedFixed::scheduler::published: 0,327 schedFixed::scheduler::publishedBy: Set(),328 schedFixed::scheduler::ws:329 Map(330 "w1" ->331 {332 attached: Set(),333 built: false,334 expecting: false,335 running: false,336 session: false,337 up: false338 },339 "w2" ->340 {341 attached: Set(),342 built: false,343 expecting: false,344 running: false,345 session: true,346 up: true347 }348 )349}350351[State 9]352{353 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),354 schedFixed::scheduler::crashes: 2,355 schedFixed::scheduler::entry: [],356 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),357 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),358 schedFixed::scheduler::mBuild: Set(),359 schedFixed::scheduler::mDone: Set(),360 schedFixed::scheduler::mExpect: Set(),361 schedFixed::scheduler::mResult: Set(),362 schedFixed::scheduler::mRetry: Set("c1", "c2"),363 schedFixed::scheduler::mSchedule: Set(),364 schedFixed::scheduler::published: 0,365 schedFixed::scheduler::publishedBy: Set(),366 schedFixed::scheduler::ws:367 Map(368 "w1" ->369 {370 attached: Set(),371 built: false,372 expecting: false,373 running: false,374 session: true,375 up: true376 },377 "w2" ->378 {379 attached: Set(),380 built: false,381 expecting: false,382 running: false,383 session: true,384 up: true385 }386 )387}388389[State 10]390{391 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),392 schedFixed::scheduler::crashes: 2,393 schedFixed::scheduler::entry: [],394 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),395 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),396 schedFixed::scheduler::mBuild: Set(),397 schedFixed::scheduler::mDone: Set(),398 schedFixed::scheduler::mExpect: Set(),399 schedFixed::scheduler::mResult: Set(),400 schedFixed::scheduler::mRetry: Set("c2"),401 schedFixed::scheduler::mSchedule: Set("c1"),402 schedFixed::scheduler::published: 0,403 schedFixed::scheduler::publishedBy: Set(),404 schedFixed::scheduler::ws:405 Map(406 "w1" ->407 {408 attached: Set(),409 built: false,410 expecting: false,411 running: false,412 session: true,413 up: true414 },415 "w2" ->416 {417 attached: Set(),418 built: false,419 expecting: false,420 running: false,421 session: true,422 up: true423 }424 )425}426427[State 11]428{429 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),430 schedFixed::scheduler::crashes: 2,431 schedFixed::scheduler::entry: [],432 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),433 schedFixed::scheduler::mAssigned: Set(),434 schedFixed::scheduler::mBuild: Set(("c2", "w2")),435 schedFixed::scheduler::mDone: Set(),436 schedFixed::scheduler::mExpect: Set(),437 schedFixed::scheduler::mResult: Set(),438 schedFixed::scheduler::mRetry: Set("c2"),439 schedFixed::scheduler::mSchedule: Set("c1"),440 schedFixed::scheduler::published: 0,441 schedFixed::scheduler::publishedBy: Set(),442 schedFixed::scheduler::ws:443 Map(444 "w1" ->445 {446 attached: Set(),447 built: false,448 expecting: false,449 running: false,450 session: true,451 up: true452 },453 "w2" ->454 {455 attached: Set(),456 built: false,457 expecting: false,458 running: false,459 session: true,460 up: true461 }462 )463}464465[State 12]466{467 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),468 schedFixed::scheduler::crashes: 2,469 schedFixed::scheduler::entry: [],470 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),471 schedFixed::scheduler::mAssigned: Set(),472 schedFixed::scheduler::mBuild: Set(("c2", "w2")),473 schedFixed::scheduler::mDone: Set(),474 schedFixed::scheduler::mExpect: Set(),475 schedFixed::scheduler::mResult: Set(),476 schedFixed::scheduler::mRetry: Set(),477 schedFixed::scheduler::mSchedule: Set("c1", "c2"),478 schedFixed::scheduler::published: 0,479 schedFixed::scheduler::publishedBy: Set(),480 schedFixed::scheduler::ws:481 Map(482 "w1" ->483 {484 attached: Set(),485 built: false,486 expecting: false,487 running: false,488 session: true,489 up: true490 },491 "w2" ->492 {493 attached: Set(),494 built: false,495 expecting: false,496 running: false,497 session: true,498 up: true499 }500 )501}502503[State 13]504{505 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),506 schedFixed::scheduler::crashes: 2,507 schedFixed::scheduler::entry:508 [{ followers: Set("c1"), leased: true, worker: "w2" }],509 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),510 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),511 schedFixed::scheduler::mBuild: Set(("c2", "w2")),512 schedFixed::scheduler::mDone: Set(),513 schedFixed::scheduler::mExpect: Set("w2"),514 schedFixed::scheduler::mResult: Set(),515 schedFixed::scheduler::mRetry: Set(),516 schedFixed::scheduler::mSchedule: Set("c2"),517 schedFixed::scheduler::published: 0,518 schedFixed::scheduler::publishedBy: Set(),519 schedFixed::scheduler::ws:520 Map(521 "w1" ->522 {523 attached: Set(),524 built: false,525 expecting: false,526 running: false,527 session: true,528 up: true529 },530 "w2" ->531 {532 attached: Set(),533 built: false,534 expecting: false,535 running: false,536 session: true,537 up: true538 }539 )540}541542[State 14]543{544 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),545 schedFixed::scheduler::crashes: 2,546 schedFixed::scheduler::entry:547 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],548 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),549 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),550 schedFixed::scheduler::mBuild: Set(("c2", "w2")),551 schedFixed::scheduler::mDone: Set(),552 schedFixed::scheduler::mExpect: Set("w2"),553 schedFixed::scheduler::mResult: Set(),554 schedFixed::scheduler::mRetry: Set(),555 schedFixed::scheduler::mSchedule: Set(),556 schedFixed::scheduler::published: 0,557 schedFixed::scheduler::publishedBy: Set(),558 schedFixed::scheduler::ws:559 Map(560 "w1" ->561 {562 attached: Set(),563 built: false,564 expecting: false,565 running: false,566 session: true,567 up: true568 },569 "w2" ->570 {571 attached: Set(),572 built: false,573 expecting: false,574 running: false,575 session: true,576 up: true577 }578 )579}580581[State 15]582{583 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),584 schedFixed::scheduler::crashes: 2,585 schedFixed::scheduler::entry:586 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],587 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),588 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),589 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),590 schedFixed::scheduler::mDone: Set(),591 schedFixed::scheduler::mExpect: Set("w2"),592 schedFixed::scheduler::mResult: Set(),593 schedFixed::scheduler::mRetry: Set(),594 schedFixed::scheduler::mSchedule: Set(),595 schedFixed::scheduler::published: 0,596 schedFixed::scheduler::publishedBy: Set(),597 schedFixed::scheduler::ws:598 Map(599 "w1" ->600 {601 attached: Set(),602 built: false,603 expecting: false,604 running: false,605 session: true,606 up: true607 },608 "w2" ->609 {610 attached: Set(),611 built: false,612 expecting: false,613 running: false,614 session: true,615 up: true616 }617 )618}619620[State 16]621{622 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),623 schedFixed::scheduler::crashes: 2,624 schedFixed::scheduler::entry:625 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],626 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),627 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),628 schedFixed::scheduler::mBuild: Set(("c1", "w2")),629 schedFixed::scheduler::mDone: Set(),630 schedFixed::scheduler::mExpect: Set("w2"),631 schedFixed::scheduler::mResult: Set(),632 schedFixed::scheduler::mRetry: Set("c2"),633 schedFixed::scheduler::mSchedule: Set(),634 schedFixed::scheduler::published: 0,635 schedFixed::scheduler::publishedBy: Set(),636 schedFixed::scheduler::ws:637 Map(638 "w1" ->639 {640 attached: Set(),641 built: false,642 expecting: false,643 running: false,644 session: true,645 up: true646 },647 "w2" ->648 {649 attached: Set(),650 built: false,651 expecting: false,652 running: false,653 session: true,654 up: true655 }656 )657}658659[State 17]660{661 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),662 schedFixed::scheduler::crashes: 2,663 schedFixed::scheduler::entry:664 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],665 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),666 schedFixed::scheduler::mAssigned: Set(),667 schedFixed::scheduler::mBuild: Set(("c1", "w2")),668 schedFixed::scheduler::mDone: Set(),669 schedFixed::scheduler::mExpect: Set("w2"),670 schedFixed::scheduler::mResult: Set(),671 schedFixed::scheduler::mRetry: Set(),672 schedFixed::scheduler::mSchedule: Set("c2"),673 schedFixed::scheduler::published: 0,674 schedFixed::scheduler::publishedBy: Set(),675 schedFixed::scheduler::ws:676 Map(677 "w1" ->678 {679 attached: Set(),680 built: false,681 expecting: false,682 running: false,683 session: true,684 up: true685 },686 "w2" ->687 {688 attached: Set(),689 built: false,690 expecting: false,691 running: false,692 session: true,693 up: true694 }695 )696}697698[State 18]699{700 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),701 schedFixed::scheduler::crashes: 2,702 schedFixed::scheduler::entry:703 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],704 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),705 schedFixed::scheduler::mAssigned: Set(),706 schedFixed::scheduler::mBuild: Set(),707 schedFixed::scheduler::mDone: Set(),708 schedFixed::scheduler::mExpect: Set("w2"),709 schedFixed::scheduler::mResult: Set(),710 schedFixed::scheduler::mRetry: Set("c1"),711 schedFixed::scheduler::mSchedule: Set("c2"),712 schedFixed::scheduler::published: 0,713 schedFixed::scheduler::publishedBy: Set(),714 schedFixed::scheduler::ws:715 Map(716 "w1" ->717 {718 attached: Set(),719 built: false,720 expecting: false,721 running: false,722 session: true,723 up: true724 },725 "w2" ->726 {727 attached: Set(),728 built: false,729 expecting: false,730 running: false,731 session: true,732 up: true733 }734 )735}736737[State 19]738{739 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),740 schedFixed::scheduler::crashes: 2,741 schedFixed::scheduler::entry:742 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],743 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),744 schedFixed::scheduler::mAssigned: Set(),745 schedFixed::scheduler::mBuild: Set(),746 schedFixed::scheduler::mDone: Set(),747 schedFixed::scheduler::mExpect: Set("w2"),748 schedFixed::scheduler::mResult: Set(),749 schedFixed::scheduler::mRetry: Set(),750 schedFixed::scheduler::mSchedule: Set("c1", "c2"),751 schedFixed::scheduler::published: 0,752 schedFixed::scheduler::publishedBy: Set(),753 schedFixed::scheduler::ws:754 Map(755 "w1" ->756 {757 attached: Set(),758 built: false,759 expecting: false,760 running: false,761 session: true,762 up: true763 },764 "w2" ->765 {766 attached: Set(),767 built: false,768 expecting: false,769 running: false,770 session: true,771 up: true772 }773 )774}775776[State 20]777{778 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),779 schedFixed::scheduler::crashes: 2,780 schedFixed::scheduler::entry:781 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],782 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),783 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),784 schedFixed::scheduler::mBuild: Set(),785 schedFixed::scheduler::mDone: Set(),786 schedFixed::scheduler::mExpect: Set("w2"),787 schedFixed::scheduler::mResult: Set(),788 schedFixed::scheduler::mRetry: Set(),789 schedFixed::scheduler::mSchedule: Set("c2"),790 schedFixed::scheduler::published: 0,791 schedFixed::scheduler::publishedBy: Set(),792 schedFixed::scheduler::ws:793 Map(794 "w1" ->795 {796 attached: Set(),797 built: false,798 expecting: false,799 running: false,800 session: true,801 up: true802 },803 "w2" ->804 {805 attached: Set(),806 built: false,807 expecting: false,808 running: false,809 session: true,810 up: true811 }812 )813}814815[State 21]816{817 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),818 schedFixed::scheduler::crashes: 2,819 schedFixed::scheduler::entry:820 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],821 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),822 schedFixed::scheduler::mAssigned: Set(),823 schedFixed::scheduler::mBuild: Set(("c1", "w2")),824 schedFixed::scheduler::mDone: Set(),825 schedFixed::scheduler::mExpect: Set("w2"),826 schedFixed::scheduler::mResult: Set(),827 schedFixed::scheduler::mRetry: Set(),828 schedFixed::scheduler::mSchedule: Set("c2"),829 schedFixed::scheduler::published: 0,830 schedFixed::scheduler::publishedBy: Set(),831 schedFixed::scheduler::ws:832 Map(833 "w1" ->834 {835 attached: Set(),836 built: false,837 expecting: false,838 running: false,839 session: true,840 up: true841 },842 "w2" ->843 {844 attached: Set(),845 built: false,846 expecting: false,847 running: false,848 session: true,849 up: true850 }851 )852}853854[State 22]855{856 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),857 schedFixed::scheduler::crashes: 2,858 schedFixed::scheduler::entry:859 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],860 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),861 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),862 schedFixed::scheduler::mBuild: Set(("c1", "w2")),863 schedFixed::scheduler::mDone: Set(),864 schedFixed::scheduler::mExpect: Set("w2"),865 schedFixed::scheduler::mResult: Set(),866 schedFixed::scheduler::mRetry: Set(),867 schedFixed::scheduler::mSchedule: Set(),868 schedFixed::scheduler::published: 0,869 schedFixed::scheduler::publishedBy: Set(),870 schedFixed::scheduler::ws:871 Map(872 "w1" ->873 {874 attached: Set(),875 built: false,876 expecting: false,877 running: false,878 session: true,879 up: true880 },881 "w2" ->882 {883 attached: Set(),884 built: false,885 expecting: false,886 running: false,887 session: true,888 up: true889 }890 )891}892893[State 23]894{895 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),896 schedFixed::scheduler::crashes: 2,897 schedFixed::scheduler::entry:898 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],899 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),900 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),901 schedFixed::scheduler::mBuild: Set(("c1", "w2")),902 schedFixed::scheduler::mDone: Set(),903 schedFixed::scheduler::mExpect: Set(),904 schedFixed::scheduler::mResult: Set(),905 schedFixed::scheduler::mRetry: Set(),906 schedFixed::scheduler::mSchedule: Set(),907 schedFixed::scheduler::published: 0,908 schedFixed::scheduler::publishedBy: Set(),909 schedFixed::scheduler::ws:910 Map(911 "w1" ->912 {913 attached: Set(),914 built: false,915 expecting: false,916 running: false,917 session: true,918 up: true919 },920 "w2" ->921 {922 attached: Set(),923 built: false,924 expecting: true,925 running: true,926 session: true,927 up: true928 }929 )930}931932[State 24]933{934 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),935 schedFixed::scheduler::crashes: 2,936 schedFixed::scheduler::entry:937 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],938 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),939 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),940 schedFixed::scheduler::mBuild: Set(),941 schedFixed::scheduler::mDone: Set(),942 schedFixed::scheduler::mExpect: Set(),943 schedFixed::scheduler::mResult: Set(),944 schedFixed::scheduler::mRetry: Set(),945 schedFixed::scheduler::mSchedule: Set(),946 schedFixed::scheduler::published: 0,947 schedFixed::scheduler::publishedBy: Set(),948 schedFixed::scheduler::ws:949 Map(950 "w1" ->951 {952 attached: Set(),953 built: false,954 expecting: false,955 running: false,956 session: true,957 up: true958 },959 "w2" ->960 {961 attached: Set("c1"),962 built: false,963 expecting: true,964 running: true,965 session: true,966 up: true967 }968 )969}970971[State 25]972{973 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),974 schedFixed::scheduler::crashes: 2,975 schedFixed::scheduler::entry:976 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],977 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),978 schedFixed::scheduler::mAssigned: Set(),979 schedFixed::scheduler::mBuild: Set(("c2", "w2")),980 schedFixed::scheduler::mDone: Set(),981 schedFixed::scheduler::mExpect: Set(),982 schedFixed::scheduler::mResult: Set(),983 schedFixed::scheduler::mRetry: Set(),984 schedFixed::scheduler::mSchedule: Set(),985 schedFixed::scheduler::published: 0,986 schedFixed::scheduler::publishedBy: Set(),987 schedFixed::scheduler::ws:988 Map(989 "w1" ->990 {991 attached: Set(),992 built: false,993 expecting: false,994 running: false,995 session: true,996 up: true997 },998 "w2" ->999 {1000 attached: Set("c1"),1001 built: false,1002 expecting: true,1003 running: true,1004 session: true,1005 up: true1006 }1007 )1008}10091010[State 26]1011{1012 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),1013 schedFixed::scheduler::crashes: 2,1014 schedFixed::scheduler::entry:1015 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1016 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1017 schedFixed::scheduler::mAssigned: Set(),1018 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1019 schedFixed::scheduler::mDone: Set("w2"),1020 schedFixed::scheduler::mExpect: Set(),1021 schedFixed::scheduler::mResult: Set("c1"),1022 schedFixed::scheduler::mRetry: Set(),1023 schedFixed::scheduler::mSchedule: Set(),1024 schedFixed::scheduler::published: 1,1025 schedFixed::scheduler::publishedBy: Set("w2"),1026 schedFixed::scheduler::ws:1027 Map(1028 "w1" ->1029 {1030 attached: Set(),1031 built: false,1032 expecting: false,1033 running: false,1034 session: true,1035 up: true1036 },1037 "w2" ->1038 {1039 attached: Set(),1040 built: true,1041 expecting: false,1042 running: false,1043 session: true,1044 up: true1045 }1046 )1047}10481049[State 27]1050{1051 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),1052 schedFixed::scheduler::crashes: 2,1053 schedFixed::scheduler::entry:1054 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],1055 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1056 schedFixed::scheduler::mAssigned: Set(),1057 schedFixed::scheduler::mBuild: Set(),1058 schedFixed::scheduler::mDone: Set("w2"),1059 schedFixed::scheduler::mExpect: Set(),1060 schedFixed::scheduler::mResult: Set("c1", "c2"),1061 schedFixed::scheduler::mRetry: Set(),1062 schedFixed::scheduler::mSchedule: Set(),1063 schedFixed::scheduler::published: 1,1064 schedFixed::scheduler::publishedBy: Set("w2"),1065 schedFixed::scheduler::ws:1066 Map(1067 "w1" ->1068 {1069 attached: Set(),1070 built: false,1071 expecting: false,1072 running: false,1073 session: true,1074 up: true1075 },1076 "w2" ->1077 {1078 attached: Set(),1079 built: true,1080 expecting: false,1081 running: false,1082 session: true,1083 up: true1084 }1085 )1086}10871088[State 28]1089{1090 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),1091 schedFixed::scheduler::crashes: 2,1092 schedFixed::scheduler::entry: [],1093 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1094 schedFixed::scheduler::mAssigned: Set(),1095 schedFixed::scheduler::mBuild: Set(),1096 schedFixed::scheduler::mDone: Set(),1097 schedFixed::scheduler::mExpect: Set(),1098 schedFixed::scheduler::mResult: Set("c1", "c2"),1099 schedFixed::scheduler::mRetry: Set(),1100 schedFixed::scheduler::mSchedule: Set(),1101 schedFixed::scheduler::published: 1,1102 schedFixed::scheduler::publishedBy: Set("w2"),1103 schedFixed::scheduler::ws:1104 Map(1105 "w1" ->1106 {1107 attached: Set(),1108 built: false,1109 expecting: false,1110 running: false,1111 session: true,1112 up: true1113 },1114 "w2" ->1115 {1116 attached: Set(),1117 built: true,1118 expecting: false,1119 running: false,1120 session: true,1121 up: true1122 }1123 )1124}11251126[State 29]1127{1128 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CDone),1129 schedFixed::scheduler::crashes: 2,1130 schedFixed::scheduler::entry: [],1131 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1132 schedFixed::scheduler::mAssigned: Set(),1133 schedFixed::scheduler::mBuild: Set(),1134 schedFixed::scheduler::mDone: Set(),1135 schedFixed::scheduler::mExpect: Set(),1136 schedFixed::scheduler::mResult: Set("c1"),1137 schedFixed::scheduler::mRetry: Set(),1138 schedFixed::scheduler::mSchedule: Set(),1139 schedFixed::scheduler::published: 1,1140 schedFixed::scheduler::publishedBy: Set("w2"),1141 schedFixed::scheduler::ws:1142 Map(1143 "w1" ->1144 {1145 attached: Set(),1146 built: false,1147 expecting: false,1148 running: false,1149 session: true,1150 up: true1151 },1152 "w2" ->1153 {1154 attached: Set(),1155 built: true,1156 expecting: false,1157 running: false,1158 session: true,1159 up: true1160 }1161 )1162}11631164[State 30]1165{1166 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),1167 schedFixed::scheduler::crashes: 2,1168 schedFixed::scheduler::entry: [],1169 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1170 schedFixed::scheduler::mAssigned: Set(),1171 schedFixed::scheduler::mBuild: Set(),1172 schedFixed::scheduler::mDone: Set(),1173 schedFixed::scheduler::mExpect: Set(),1174 schedFixed::scheduler::mResult: Set(),1175 schedFixed::scheduler::mRetry: Set(),1176 schedFixed::scheduler::mSchedule: Set(),1177 schedFixed::scheduler::published: 1,1178 schedFixed::scheduler::publishedBy: Set("w2"),1179 schedFixed::scheduler::ws:1180 Map(1181 "w1" ->1182 {1183 attached: Set(),1184 built: false,1185 expecting: false,1186 running: false,1187 session: true,1188 up: true1189 },1190 "w2" ->1191 {1192 attached: Set(),1193 built: true,1194 expecting: false,1195 running: false,1196 session: true,1197 up: true1198 }1199 )1200}12011202[ok] No violation found (12236ms at 2452 traces/second).1203Trace length statistics: max=26, min=15, average=18.291204You may increase --max-samples and --max-steps.1205Use --verbosity to produce more (or less) output.1206Use --seed=0x93730797bcb27edb --backend=rust to reproduce.1207An example execution:12081209[State 0]1210{1211 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1212 schedFixed::scheduler::crashes: 0,1213 schedFixed::scheduler::entry: [],1214 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1215 schedFixed::scheduler::mAssigned: Set(),1216 schedFixed::scheduler::mBuild: Set(),1217 schedFixed::scheduler::mDone: Set(),1218 schedFixed::scheduler::mExpect: Set(),1219 schedFixed::scheduler::mResult: Set(),1220 schedFixed::scheduler::mRetry: Set(),1221 schedFixed::scheduler::mSchedule: Set(),1222 schedFixed::scheduler::published: 0,1223 schedFixed::scheduler::publishedBy: Set(),1224 schedFixed::scheduler::ws:1225 Map(1226 "w1" ->1227 {1228 attached: Set(),1229 built: false,1230 expecting: false,1231 running: false,1232 session: true,1233 up: true1234 },1235 "w2" ->1236 {1237 attached: Set(),1238 built: false,1239 expecting: false,1240 running: false,1241 session: true,1242 up: true1243 }1244 )1245}12461247[State 1]1248{1249 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1250 schedFixed::scheduler::crashes: 0,1251 schedFixed::scheduler::entry: [],1252 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1253 schedFixed::scheduler::mAssigned: Set(),1254 schedFixed::scheduler::mBuild: Set(),1255 schedFixed::scheduler::mDone: Set(),1256 schedFixed::scheduler::mExpect: Set(),1257 schedFixed::scheduler::mResult: Set(),1258 schedFixed::scheduler::mRetry: Set(),1259 schedFixed::scheduler::mSchedule: Set("c1"),1260 schedFixed::scheduler::published: 0,1261 schedFixed::scheduler::publishedBy: Set(),1262 schedFixed::scheduler::ws:1263 Map(1264 "w1" ->1265 {1266 attached: Set(),1267 built: false,1268 expecting: false,1269 running: false,1270 session: true,1271 up: true1272 },1273 "w2" ->1274 {1275 attached: Set(),1276 built: false,1277 expecting: false,1278 running: false,1279 session: true,1280 up: true1281 }1282 )1283}12841285[State 2]1286{1287 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1288 schedFixed::scheduler::crashes: 0,1289 schedFixed::scheduler::entry:1290 [{ followers: Set("c1"), leased: true, worker: "w1" }],1291 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1292 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1293 schedFixed::scheduler::mBuild: Set(),1294 schedFixed::scheduler::mDone: Set(),1295 schedFixed::scheduler::mExpect: Set("w1"),1296 schedFixed::scheduler::mResult: Set(),1297 schedFixed::scheduler::mRetry: Set(),1298 schedFixed::scheduler::mSchedule: Set(),1299 schedFixed::scheduler::published: 0,1300 schedFixed::scheduler::publishedBy: Set(),1301 schedFixed::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 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1327 schedFixed::scheduler::crashes: 1,1328 schedFixed::scheduler::entry:1329 [{ followers: Set("c1"), leased: true, worker: "w1" }],1330 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1331 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1332 schedFixed::scheduler::mBuild: Set(),1333 schedFixed::scheduler::mDone: Set(),1334 schedFixed::scheduler::mExpect: Set(),1335 schedFixed::scheduler::mResult: Set(),1336 schedFixed::scheduler::mRetry: Set(),1337 schedFixed::scheduler::mSchedule: Set(),1338 schedFixed::scheduler::published: 0,1339 schedFixed::scheduler::publishedBy: Set(),1340 schedFixed::scheduler::ws:1341 Map(1342 "w1" ->1343 {1344 attached: Set(),1345 built: false,1346 expecting: false,1347 running: false,1348 session: false,1349 up: false1350 },1351 "w2" ->1352 {1353 attached: Set(),1354 built: false,1355 expecting: false,1356 running: false,1357 session: true,1358 up: true1359 }1360 )1361}13621363[State 4]1364{1365 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1366 schedFixed::scheduler::crashes: 1,1367 schedFixed::scheduler::entry: [],1368 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1369 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1370 schedFixed::scheduler::mBuild: Set(),1371 schedFixed::scheduler::mDone: Set(),1372 schedFixed::scheduler::mExpect: Set(),1373 schedFixed::scheduler::mResult: Set(),1374 schedFixed::scheduler::mRetry: Set("c1"),1375 schedFixed::scheduler::mSchedule: Set(),1376 schedFixed::scheduler::published: 0,1377 schedFixed::scheduler::publishedBy: Set(),1378 schedFixed::scheduler::ws:1379 Map(1380 "w1" ->1381 {1382 attached: Set(),1383 built: false,1384 expecting: false,1385 running: false,1386 session: false,1387 up: false1388 },1389 "w2" ->1390 {1391 attached: Set(),1392 built: false,1393 expecting: false,1394 running: false,1395 session: true,1396 up: true1397 }1398 )1399}14001401[State 5]1402{1403 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1404 schedFixed::scheduler::crashes: 1,1405 schedFixed::scheduler::entry: [],1406 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1407 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1408 schedFixed::scheduler::mBuild: Set(),1409 schedFixed::scheduler::mDone: Set(),1410 schedFixed::scheduler::mExpect: Set(),1411 schedFixed::scheduler::mResult: Set(),1412 schedFixed::scheduler::mRetry: Set("c1"),1413 schedFixed::scheduler::mSchedule: Set("c2"),1414 schedFixed::scheduler::published: 0,1415 schedFixed::scheduler::publishedBy: Set(),1416 schedFixed::scheduler::ws:1417 Map(1418 "w1" ->1419 {1420 attached: Set(),1421 built: false,1422 expecting: false,1423 running: false,1424 session: false,1425 up: false1426 },1427 "w2" ->1428 {1429 attached: Set(),1430 built: false,1431 expecting: false,1432 running: false,1433 session: true,1434 up: true1435 }1436 )1437}14381439[State 6]1440{1441 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1442 schedFixed::scheduler::crashes: 1,1443 schedFixed::scheduler::entry: [],1444 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1445 schedFixed::scheduler::mAssigned: Set(),1446 schedFixed::scheduler::mBuild: Set(),1447 schedFixed::scheduler::mDone: Set(),1448 schedFixed::scheduler::mExpect: Set(),1449 schedFixed::scheduler::mResult: Set(),1450 schedFixed::scheduler::mRetry: Set(),1451 schedFixed::scheduler::mSchedule: Set("c1", "c2"),1452 schedFixed::scheduler::published: 0,1453 schedFixed::scheduler::publishedBy: Set(),1454 schedFixed::scheduler::ws:1455 Map(1456 "w1" ->1457 {1458 attached: Set(),1459 built: false,1460 expecting: false,1461 running: false,1462 session: false,1463 up: false1464 },1465 "w2" ->1466 {1467 attached: Set(),1468 built: false,1469 expecting: false,1470 running: false,1471 session: true,1472 up: true1473 }1474 )1475}14761477[State 7]1478{1479 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1480 schedFixed::scheduler::crashes: 1,1481 schedFixed::scheduler::entry:1482 [{ followers: Set("c2"), leased: true, worker: "w2" }],1483 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1484 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1485 schedFixed::scheduler::mBuild: Set(),1486 schedFixed::scheduler::mDone: Set(),1487 schedFixed::scheduler::mExpect: Set("w2"),1488 schedFixed::scheduler::mResult: Set(),1489 schedFixed::scheduler::mRetry: Set(),1490 schedFixed::scheduler::mSchedule: Set("c1"),1491 schedFixed::scheduler::published: 0,1492 schedFixed::scheduler::publishedBy: Set(),1493 schedFixed::scheduler::ws:1494 Map(1495 "w1" ->1496 {1497 attached: Set(),1498 built: false,1499 expecting: false,1500 running: false,1501 session: false,1502 up: false1503 },1504 "w2" ->1505 {1506 attached: Set(),1507 built: false,1508 expecting: false,1509 running: false,1510 session: true,1511 up: true1512 }1513 )1514}15151516[State 8]1517{1518 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1519 schedFixed::scheduler::crashes: 1,1520 schedFixed::scheduler::entry:1521 [{ followers: Set("c2"), leased: true, worker: "w2" }],1522 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1523 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1524 schedFixed::scheduler::mBuild: Set(),1525 schedFixed::scheduler::mDone: Set(),1526 schedFixed::scheduler::mExpect: Set("w2"),1527 schedFixed::scheduler::mResult: Set(),1528 schedFixed::scheduler::mRetry: Set(),1529 schedFixed::scheduler::mSchedule: Set("c1"),1530 schedFixed::scheduler::published: 0,1531 schedFixed::scheduler::publishedBy: Set(),1532 schedFixed::scheduler::ws:1533 Map(1534 "w1" ->1535 {1536 attached: Set(),1537 built: false,1538 expecting: false,1539 running: false,1540 session: true,1541 up: true1542 },1543 "w2" ->1544 {1545 attached: Set(),1546 built: false,1547 expecting: false,1548 running: false,1549 session: true,1550 up: true1551 }1552 )1553}15541555[State 9]1556{1557 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1558 schedFixed::scheduler::crashes: 2,1559 schedFixed::scheduler::entry:1560 [{ followers: Set("c2"), leased: true, worker: "w2" }],1561 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1562 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1563 schedFixed::scheduler::mBuild: Set(),1564 schedFixed::scheduler::mDone: Set(),1565 schedFixed::scheduler::mExpect: Set(),1566 schedFixed::scheduler::mResult: Set(),1567 schedFixed::scheduler::mRetry: Set(),1568 schedFixed::scheduler::mSchedule: Set("c1"),1569 schedFixed::scheduler::published: 0,1570 schedFixed::scheduler::publishedBy: Set(),1571 schedFixed::scheduler::ws:1572 Map(1573 "w1" ->1574 {1575 attached: Set(),1576 built: false,1577 expecting: false,1578 running: false,1579 session: true,1580 up: true1581 },1582 "w2" ->1583 {1584 attached: Set(),1585 built: false,1586 expecting: false,1587 running: false,1588 session: false,1589 up: false1590 }1591 )1592}15931594[State 10]1595{1596 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1597 schedFixed::scheduler::crashes: 2,1598 schedFixed::scheduler::entry: [],1599 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1600 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1601 schedFixed::scheduler::mBuild: Set(),1602 schedFixed::scheduler::mDone: Set(),1603 schedFixed::scheduler::mExpect: Set(),1604 schedFixed::scheduler::mResult: Set(),1605 schedFixed::scheduler::mRetry: Set("c2"),1606 schedFixed::scheduler::mSchedule: Set("c1"),1607 schedFixed::scheduler::published: 0,1608 schedFixed::scheduler::publishedBy: Set(),1609 schedFixed::scheduler::ws:1610 Map(1611 "w1" ->1612 {1613 attached: Set(),1614 built: false,1615 expecting: false,1616 running: false,1617 session: true,1618 up: true1619 },1620 "w2" ->1621 {1622 attached: Set(),1623 built: false,1624 expecting: false,1625 running: false,1626 session: true,1627 up: true1628 }1629 )1630}16311632[State 11]1633{1634 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1635 schedFixed::scheduler::crashes: 2,1636 schedFixed::scheduler::entry:1637 [{ followers: Set("c1"), leased: true, worker: "w1" }],1638 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1639 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w2")),1640 schedFixed::scheduler::mBuild: Set(),1641 schedFixed::scheduler::mDone: Set(),1642 schedFixed::scheduler::mExpect: Set("w1"),1643 schedFixed::scheduler::mResult: Set(),1644 schedFixed::scheduler::mRetry: Set("c2"),1645 schedFixed::scheduler::mSchedule: Set(),1646 schedFixed::scheduler::published: 0,1647 schedFixed::scheduler::publishedBy: Set(),1648 schedFixed::scheduler::ws:1649 Map(1650 "w1" ->1651 {1652 attached: Set(),1653 built: false,1654 expecting: false,1655 running: false,1656 session: true,1657 up: true1658 },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 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1674 schedFixed::scheduler::crashes: 2,1675 schedFixed::scheduler::entry:1676 [{ followers: Set("c1"), leased: true, worker: "w1" }],1677 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1678 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1679 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1680 schedFixed::scheduler::mDone: Set(),1681 schedFixed::scheduler::mExpect: Set("w1"),1682 schedFixed::scheduler::mResult: Set(),1683 schedFixed::scheduler::mRetry: Set("c2"),1684 schedFixed::scheduler::mSchedule: Set(),1685 schedFixed::scheduler::published: 0,1686 schedFixed::scheduler::publishedBy: Set(),1687 schedFixed::scheduler::ws:1688 Map(1689 "w1" ->1690 {1691 attached: Set(),1692 built: false,1693 expecting: false,1694 running: false,1695 session: true,1696 up: true1697 },1698 "w2" ->1699 {1700 attached: Set(),1701 built: false,1702 expecting: false,1703 running: false,1704 session: true,1705 up: true1706 }1707 )1708}17091710[State 13]1711{1712 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1713 schedFixed::scheduler::crashes: 2,1714 schedFixed::scheduler::entry:1715 [{ followers: Set("c1"), leased: true, worker: "w1" }],1716 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1717 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1718 schedFixed::scheduler::mBuild: Set(),1719 schedFixed::scheduler::mDone: Set(),1720 schedFixed::scheduler::mExpect: Set("w1"),1721 schedFixed::scheduler::mResult: Set(),1722 schedFixed::scheduler::mRetry: Set("c1", "c2"),1723 schedFixed::scheduler::mSchedule: Set(),1724 schedFixed::scheduler::published: 0,1725 schedFixed::scheduler::publishedBy: Set(),1726 schedFixed::scheduler::ws:1727 Map(1728 "w1" ->1729 {1730 attached: Set(),1731 built: false,1732 expecting: false,1733 running: false,1734 session: true,1735 up: true1736 },1737 "w2" ->1738 {1739 attached: Set(),1740 built: false,1741 expecting: false,1742 running: false,1743 session: true,1744 up: true1745 }1746 )1747}17481749[State 14]1750{1751 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1752 schedFixed::scheduler::crashes: 2,1753 schedFixed::scheduler::entry:1754 [{ followers: Set("c1"), leased: true, worker: "w1" }],1755 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1756 schedFixed::scheduler::mAssigned: Set(),1757 schedFixed::scheduler::mBuild: Set(),1758 schedFixed::scheduler::mDone: Set(),1759 schedFixed::scheduler::mExpect: Set("w1"),1760 schedFixed::scheduler::mResult: Set(),1761 schedFixed::scheduler::mRetry: Set("c1"),1762 schedFixed::scheduler::mSchedule: Set("c2"),1763 schedFixed::scheduler::published: 0,1764 schedFixed::scheduler::publishedBy: Set(),1765 schedFixed::scheduler::ws:1766 Map(1767 "w1" ->1768 {1769 attached: Set(),1770 built: false,1771 expecting: false,1772 running: false,1773 session: true,1774 up: true1775 },1776 "w2" ->1777 {1778 attached: Set(),1779 built: false,1780 expecting: false,1781 running: false,1782 session: true,1783 up: true1784 }1785 )1786}17871788[State 15]1789{1790 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1791 schedFixed::scheduler::crashes: 2,1792 schedFixed::scheduler::entry:1793 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1794 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1795 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1796 schedFixed::scheduler::mBuild: Set(),1797 schedFixed::scheduler::mDone: Set(),1798 schedFixed::scheduler::mExpect: Set("w1"),1799 schedFixed::scheduler::mResult: Set(),1800 schedFixed::scheduler::mRetry: Set("c1"),1801 schedFixed::scheduler::mSchedule: Set(),1802 schedFixed::scheduler::published: 0,1803 schedFixed::scheduler::publishedBy: Set(),1804 schedFixed::scheduler::ws:1805 Map(1806 "w1" ->1807 {1808 attached: Set(),1809 built: false,1810 expecting: false,1811 running: false,1812 session: true,1813 up: true1814 },1815 "w2" ->1816 {1817 attached: Set(),1818 built: false,1819 expecting: false,1820 running: false,1821 session: true,1822 up: true1823 }1824 )1825}18261827[State 16]1828{1829 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1830 schedFixed::scheduler::crashes: 2,1831 schedFixed::scheduler::entry:1832 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1833 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1834 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1835 schedFixed::scheduler::mBuild: Set(),1836 schedFixed::scheduler::mDone: Set(),1837 schedFixed::scheduler::mExpect: Set("w1"),1838 schedFixed::scheduler::mResult: Set(),1839 schedFixed::scheduler::mRetry: Set(),1840 schedFixed::scheduler::mSchedule: Set("c1"),1841 schedFixed::scheduler::published: 0,1842 schedFixed::scheduler::publishedBy: Set(),1843 schedFixed::scheduler::ws:1844 Map(1845 "w1" ->1846 {1847 attached: Set(),1848 built: false,1849 expecting: false,1850 running: false,1851 session: true,1852 up: true1853 },1854 "w2" ->1855 {1856 attached: Set(),1857 built: false,1858 expecting: false,1859 running: false,1860 session: true,1861 up: true1862 }1863 )1864}18651866[State 17]1867{1868 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1869 schedFixed::scheduler::crashes: 2,1870 schedFixed::scheduler::entry:1871 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1872 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1873 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1874 schedFixed::scheduler::mBuild: Set(),1875 schedFixed::scheduler::mDone: Set(),1876 schedFixed::scheduler::mExpect: Set("w1"),1877 schedFixed::scheduler::mResult: Set(),1878 schedFixed::scheduler::mRetry: Set(),1879 schedFixed::scheduler::mSchedule: Set(),1880 schedFixed::scheduler::published: 0,1881 schedFixed::scheduler::publishedBy: Set(),1882 schedFixed::scheduler::ws:1883 Map(1884 "w1" ->1885 {1886 attached: Set(),1887 built: false,1888 expecting: false,1889 running: false,1890 session: true,1891 up: true1892 },1893 "w2" ->1894 {1895 attached: Set(),1896 built: false,1897 expecting: false,1898 running: false,1899 session: true,1900 up: true1901 }1902 )1903}19041905[State 18]1906{1907 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1908 schedFixed::scheduler::crashes: 2,1909 schedFixed::scheduler::entry:1910 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1911 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1912 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1913 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1914 schedFixed::scheduler::mDone: Set(),1915 schedFixed::scheduler::mExpect: Set("w1"),1916 schedFixed::scheduler::mResult: Set(),1917 schedFixed::scheduler::mRetry: Set(),1918 schedFixed::scheduler::mSchedule: Set(),1919 schedFixed::scheduler::published: 0,1920 schedFixed::scheduler::publishedBy: Set(),1921 schedFixed::scheduler::ws:1922 Map(1923 "w1" ->1924 {1925 attached: Set(),1926 built: false,1927 expecting: false,1928 running: false,1929 session: true,1930 up: true1931 },1932 "w2" ->1933 {1934 attached: Set(),1935 built: false,1936 expecting: false,1937 running: false,1938 session: true,1939 up: true1940 }1941 )1942}19431944[State 19]1945{1946 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1947 schedFixed::scheduler::crashes: 2,1948 schedFixed::scheduler::entry:1949 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1950 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1951 schedFixed::scheduler::mAssigned: Set(),1952 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1953 schedFixed::scheduler::mDone: Set(),1954 schedFixed::scheduler::mExpect: Set("w1"),1955 schedFixed::scheduler::mResult: Set(),1956 schedFixed::scheduler::mRetry: Set(),1957 schedFixed::scheduler::mSchedule: Set(),1958 schedFixed::scheduler::published: 0,1959 schedFixed::scheduler::publishedBy: Set(),1960 schedFixed::scheduler::ws:1961 Map(1962 "w1" ->1963 {1964 attached: Set(),1965 built: false,1966 expecting: false,1967 running: false,1968 session: true,1969 up: true1970 },1971 "w2" ->1972 {1973 attached: Set(),1974 built: false,1975 expecting: false,1976 running: false,1977 session: true,1978 up: true1979 }1980 )1981}19821983[State 20]1984{1985 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1986 schedFixed::scheduler::crashes: 2,1987 schedFixed::scheduler::entry:1988 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1989 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1990 schedFixed::scheduler::mAssigned: Set(),1991 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1992 schedFixed::scheduler::mDone: Set(),1993 schedFixed::scheduler::mExpect: Set("w1"),1994 schedFixed::scheduler::mResult: Set(),1995 schedFixed::scheduler::mRetry: Set("c2"),1996 schedFixed::scheduler::mSchedule: Set(),1997 schedFixed::scheduler::published: 0,1998 schedFixed::scheduler::publishedBy: Set(),1999 schedFixed::scheduler::ws:2000 Map(2001 "w1" ->2002 {2003 attached: Set(),2004 built: false,2005 expecting: false,2006 running: false,2007 session: true,2008 up: true2009 },2010 "w2" ->2011 {2012 attached: Set(),2013 built: false,2014 expecting: false,2015 running: false,2016 session: true,2017 up: true2018 }2019 )2020}20212022[State 21]2023{2024 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),2025 schedFixed::scheduler::crashes: 2,2026 schedFixed::scheduler::entry:2027 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2028 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2029 schedFixed::scheduler::mAssigned: Set(),2030 schedFixed::scheduler::mBuild: Set(),2031 schedFixed::scheduler::mDone: Set(),2032 schedFixed::scheduler::mExpect: Set("w1"),2033 schedFixed::scheduler::mResult: Set(),2034 schedFixed::scheduler::mRetry: Set("c1", "c2"),2035 schedFixed::scheduler::mSchedule: Set(),2036 schedFixed::scheduler::published: 0,2037 schedFixed::scheduler::publishedBy: Set(),2038 schedFixed::scheduler::ws:2039 Map(2040 "w1" ->2041 {2042 attached: Set(),2043 built: false,2044 expecting: false,2045 running: false,2046 session: true,2047 up: true2048 },2049 "w2" ->2050 {2051 attached: Set(),2052 built: false,2053 expecting: false,2054 running: false,2055 session: true,2056 up: true2057 }2058 )2059}20602061[State 22]2062{2063 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),2064 schedFixed::scheduler::crashes: 2,2065 schedFixed::scheduler::entry:2066 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2067 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2068 schedFixed::scheduler::mAssigned: Set(),2069 schedFixed::scheduler::mBuild: Set(),2070 schedFixed::scheduler::mDone: Set(),2071 schedFixed::scheduler::mExpect: Set(),2072 schedFixed::scheduler::mResult: Set(),2073 schedFixed::scheduler::mRetry: Set("c1", "c2"),2074 schedFixed::scheduler::mSchedule: Set(),2075 schedFixed::scheduler::published: 0,2076 schedFixed::scheduler::publishedBy: Set(),2077 schedFixed::scheduler::ws:2078 Map(2079 "w1" ->2080 {2081 attached: Set(),2082 built: false,2083 expecting: true,2084 running: true,2085 session: true,2086 up: true2087 },2088 "w2" ->2089 {2090 attached: Set(),2091 built: false,2092 expecting: false,2093 running: false,2094 session: true,2095 up: true2096 }2097 )2098}20992100[State 23]2101{2102 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2103 schedFixed::scheduler::crashes: 2,2104 schedFixed::scheduler::entry:2105 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2106 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2107 schedFixed::scheduler::mAssigned: Set(),2108 schedFixed::scheduler::mBuild: Set(),2109 schedFixed::scheduler::mDone: Set(),2110 schedFixed::scheduler::mExpect: Set(),2111 schedFixed::scheduler::mResult: Set(),2112 schedFixed::scheduler::mRetry: Set("c2"),2113 schedFixed::scheduler::mSchedule: Set("c1"),2114 schedFixed::scheduler::published: 0,2115 schedFixed::scheduler::publishedBy: Set(),2116 schedFixed::scheduler::ws:2117 Map(2118 "w1" ->2119 {2120 attached: Set(),2121 built: false,2122 expecting: true,2123 running: true,2124 session: true,2125 up: true2126 },2127 "w2" ->2128 {2129 attached: Set(),2130 built: false,2131 expecting: false,2132 running: false,2133 session: true,2134 up: true2135 }2136 )2137}21382139[State 24]2140{2141 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2142 schedFixed::scheduler::crashes: 2,2143 schedFixed::scheduler::entry:2144 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2145 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2146 schedFixed::scheduler::mAssigned: Set(),2147 schedFixed::scheduler::mBuild: Set(),2148 schedFixed::scheduler::mDone: Set("w1"),2149 schedFixed::scheduler::mExpect: Set(),2150 schedFixed::scheduler::mResult: Set(),2151 schedFixed::scheduler::mRetry: Set("c2"),2152 schedFixed::scheduler::mSchedule: Set("c1"),2153 schedFixed::scheduler::published: 1,2154 schedFixed::scheduler::publishedBy: Set("w1"),2155 schedFixed::scheduler::ws:2156 Map(2157 "w1" ->2158 {2159 attached: Set(),2160 built: true,2161 expecting: false,2162 running: false,2163 session: true,2164 up: true2165 },2166 "w2" ->2167 {2168 attached: Set(),2169 built: false,2170 expecting: false,2171 running: false,2172 session: true,2173 up: true2174 }2175 )2176}21772178[State 25]2179{2180 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2181 schedFixed::scheduler::crashes: 2,2182 schedFixed::scheduler::entry:2183 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2184 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2185 schedFixed::scheduler::mAssigned: Set(),2186 schedFixed::scheduler::mBuild: Set(),2187 schedFixed::scheduler::mDone: Set("w1"),2188 schedFixed::scheduler::mExpect: Set(),2189 schedFixed::scheduler::mResult: Set(),2190 schedFixed::scheduler::mRetry: Set(),2191 schedFixed::scheduler::mSchedule: Set("c1", "c2"),2192 schedFixed::scheduler::published: 1,2193 schedFixed::scheduler::publishedBy: Set("w1"),2194 schedFixed::scheduler::ws:2195 Map(2196 "w1" ->2197 {2198 attached: Set(),2199 built: true,2200 expecting: false,2201 running: false,2202 session: true,2203 up: true2204 },2205 "w2" ->2206 {2207 attached: Set(),2208 built: false,2209 expecting: false,2210 running: false,2211 session: true,2212 up: true2213 }2214 )2215}22162217[State 26]2218{2219 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2220 schedFixed::scheduler::crashes: 2,2221 schedFixed::scheduler::entry:2222 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2223 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2224 schedFixed::scheduler::mAssigned: Set(),2225 schedFixed::scheduler::mBuild: Set(),2226 schedFixed::scheduler::mDone: Set("w1"),2227 schedFixed::scheduler::mExpect: Set(),2228 schedFixed::scheduler::mResult: Set("c1"),2229 schedFixed::scheduler::mRetry: Set(),2230 schedFixed::scheduler::mSchedule: Set("c2"),2231 schedFixed::scheduler::published: 1,2232 schedFixed::scheduler::publishedBy: Set("w1"),2233 schedFixed::scheduler::ws:2234 Map(2235 "w1" ->2236 {2237 attached: Set(),2238 built: true,2239 expecting: false,2240 running: false,2241 session: true,2242 up: true2243 },2244 "w2" ->2245 {2246 attached: Set(),2247 built: false,2248 expecting: false,2249 running: false,2250 session: true,2251 up: true2252 }2253 )2254}22552256[State 27]2257{2258 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),2259 schedFixed::scheduler::crashes: 2,2260 schedFixed::scheduler::entry:2261 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2262 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2263 schedFixed::scheduler::mAssigned: Set(),2264 schedFixed::scheduler::mBuild: Set(),2265 schedFixed::scheduler::mDone: Set("w1"),2266 schedFixed::scheduler::mExpect: Set(),2267 schedFixed::scheduler::mResult: Set(),2268 schedFixed::scheduler::mRetry: Set(),2269 schedFixed::scheduler::mSchedule: Set("c2"),2270 schedFixed::scheduler::published: 1,2271 schedFixed::scheduler::publishedBy: Set("w1"),2272 schedFixed::scheduler::ws:2273 Map(2274 "w1" ->2275 {2276 attached: Set(),2277 built: true,2278 expecting: false,2279 running: false,2280 session: true,2281 up: true2282 },2283 "w2" ->2284 {2285 attached: Set(),2286 built: false,2287 expecting: false,2288 running: false,2289 session: true,2290 up: true2291 }2292 )2293}22942295[State 28]2296{2297 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),2298 schedFixed::scheduler::crashes: 2,2299 schedFixed::scheduler::entry:2300 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2301 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),2302 schedFixed::scheduler::mAssigned: Set(),2303 schedFixed::scheduler::mBuild: Set(),2304 schedFixed::scheduler::mDone: Set("w1"),2305 schedFixed::scheduler::mExpect: Set(),2306 schedFixed::scheduler::mResult: Set("c2"),2307 schedFixed::scheduler::mRetry: Set(),2308 schedFixed::scheduler::mSchedule: Set(),2309 schedFixed::scheduler::published: 1,2310 schedFixed::scheduler::publishedBy: Set("w1"),2311 schedFixed::scheduler::ws:2312 Map(2313 "w1" ->2314 {2315 attached: Set(),2316 built: true,2317 expecting: false,2318 running: false,2319 session: true,2320 up: true2321 },2322 "w2" ->2323 {2324 attached: Set(),2325 built: false,2326 expecting: false,2327 running: false,2328 session: true,2329 up: true2330 }2331 )2332}23332334[State 29]2335{2336 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),2337 schedFixed::scheduler::crashes: 2,2338 schedFixed::scheduler::entry: [],2339 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2340 schedFixed::scheduler::mAssigned: Set(),2341 schedFixed::scheduler::mBuild: Set(),2342 schedFixed::scheduler::mDone: Set(),2343 schedFixed::scheduler::mExpect: Set(),2344 schedFixed::scheduler::mResult: Set("c2"),2345 schedFixed::scheduler::mRetry: Set(),2346 schedFixed::scheduler::mSchedule: Set(),2347 schedFixed::scheduler::published: 1,2348 schedFixed::scheduler::publishedBy: Set("w1"),2349 schedFixed::scheduler::ws:2350 Map(2351 "w1" ->2352 {2353 attached: Set(),2354 built: true,2355 expecting: false,2356 running: false,2357 session: true,2358 up: true2359 },2360 "w2" ->2361 {2362 attached: Set(),2363 built: false,2364 expecting: false,2365 running: false,2366 session: true,2367 up: true2368 }2369 )2370}23712372[State 30]2373{2374 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),2375 schedFixed::scheduler::crashes: 2,2376 schedFixed::scheduler::entry: [],2377 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),2378 schedFixed::scheduler::mAssigned: Set(),2379 schedFixed::scheduler::mBuild: Set(),2380 schedFixed::scheduler::mDone: Set(),2381 schedFixed::scheduler::mExpect: Set(),2382 schedFixed::scheduler::mResult: Set(),2383 schedFixed::scheduler::mRetry: Set(),2384 schedFixed::scheduler::mSchedule: Set(),2385 schedFixed::scheduler::published: 1,2386 schedFixed::scheduler::publishedBy: Set("w1"),2387 schedFixed::scheduler::ws:2388 Map(2389 "w1" ->2390 {2391 attached: Set(),2392 built: true,2393 expecting: false,2394 running: false,2395 session: true,2396 up: true2397 },2398 "w2" ->2399 {2400 attached: Set(),2401 built: false,2402 expecting: false,2403 running: false,2404 session: true,2405 up: true2406 }2407 )2408}24092410[ok] No violation found (2369ms at 12664 traces/second).2411Trace length statistics: max=29, min=16, average=18.882412You may increase --max-samples and --max-steps.2413Use --verbosity to produce more (or less) output.2414Use --seed=0xc4bfa423c5a8decb --backend=rust to reproduce.2415An example execution:24162417[State 0]2418{2419 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2420 schedNoFence::scheduler::crashes: 0,2421 schedNoFence::scheduler::entry: [],2422 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2423 schedNoFence::scheduler::mAssigned: Set(),2424 schedNoFence::scheduler::mBuild: Set(),2425 schedNoFence::scheduler::mDone: Set(),2426 schedNoFence::scheduler::mExpect: Set(),2427 schedNoFence::scheduler::mResult: Set(),2428 schedNoFence::scheduler::mRetry: Set(),2429 schedNoFence::scheduler::mSchedule: Set(),2430 schedNoFence::scheduler::published: 0,2431 schedNoFence::scheduler::publishedBy: Set(),2432 schedNoFence::scheduler::ws:2433 Map(2434 "w1" ->2435 {2436 attached: Set(),2437 built: false,2438 expecting: false,2439 running: false,2440 session: true,2441 up: true2442 },2443 "w2" ->2444 {2445 attached: Set(),2446 built: false,2447 expecting: false,2448 running: false,2449 session: true,2450 up: true2451 }2452 )2453}24542455[State 1]2456{2457 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2458 schedNoFence::scheduler::crashes: 0,2459 schedNoFence::scheduler::entry: [],2460 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2461 schedNoFence::scheduler::mAssigned: Set(),2462 schedNoFence::scheduler::mBuild: Set(),2463 schedNoFence::scheduler::mDone: Set(),2464 schedNoFence::scheduler::mExpect: Set(),2465 schedNoFence::scheduler::mResult: Set(),2466 schedNoFence::scheduler::mRetry: Set(),2467 schedNoFence::scheduler::mSchedule: Set("c1"),2468 schedNoFence::scheduler::published: 0,2469 schedNoFence::scheduler::publishedBy: Set(),2470 schedNoFence::scheduler::ws:2471 Map(2472 "w1" ->2473 {2474 attached: Set(),2475 built: false,2476 expecting: false,2477 running: false,2478 session: true,2479 up: true2480 },2481 "w2" ->2482 {2483 attached: Set(),2484 built: false,2485 expecting: false,2486 running: false,2487 session: true,2488 up: true2489 }2490 )2491}24922493[State 2]2494{2495 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2496 schedNoFence::scheduler::crashes: 0,2497 schedNoFence::scheduler::entry:2498 [{ followers: Set("c1"), leased: true, worker: "w1" }],2499 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2500 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2501 schedNoFence::scheduler::mBuild: Set(),2502 schedNoFence::scheduler::mDone: Set(),2503 schedNoFence::scheduler::mExpect: Set("w1"),2504 schedNoFence::scheduler::mResult: Set(),2505 schedNoFence::scheduler::mRetry: Set(),2506 schedNoFence::scheduler::mSchedule: Set(),2507 schedNoFence::scheduler::published: 0,2508 schedNoFence::scheduler::publishedBy: Set(),2509 schedNoFence::scheduler::ws:2510 Map(2511 "w1" ->2512 {2513 attached: Set(),2514 built: false,2515 expecting: false,2516 running: false,2517 session: true,2518 up: true2519 },2520 "w2" ->2521 {2522 attached: Set(),2523 built: false,2524 expecting: false,2525 running: false,2526 session: true,2527 up: true2528 }2529 )2530}25312532[State 3]2533{2534 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2535 schedNoFence::scheduler::crashes: 1,2536 schedNoFence::scheduler::entry:2537 [{ followers: Set("c1"), leased: true, worker: "w1" }],2538 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2539 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2540 schedNoFence::scheduler::mBuild: Set(),2541 schedNoFence::scheduler::mDone: Set(),2542 schedNoFence::scheduler::mExpect: Set("w1"),2543 schedNoFence::scheduler::mResult: Set(),2544 schedNoFence::scheduler::mRetry: Set(),2545 schedNoFence::scheduler::mSchedule: Set(),2546 schedNoFence::scheduler::published: 0,2547 schedNoFence::scheduler::publishedBy: Set(),2548 schedNoFence::scheduler::ws:2549 Map(2550 "w1" ->2551 {2552 attached: Set(),2553 built: false,2554 expecting: false,2555 running: false,2556 session: true,2557 up: true2558 },2559 "w2" ->2560 {2561 attached: Set(),2562 built: false,2563 expecting: false,2564 running: false,2565 session: false,2566 up: false2567 }2568 )2569}25702571[State 4]2572{2573 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2574 schedNoFence::scheduler::crashes: 1,2575 schedNoFence::scheduler::entry:2576 [{ followers: Set("c1"), leased: true, worker: "w1" }],2577 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2578 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2579 schedNoFence::scheduler::mBuild: Set(),2580 schedNoFence::scheduler::mDone: Set(),2581 schedNoFence::scheduler::mExpect: Set(),2582 schedNoFence::scheduler::mResult: Set(),2583 schedNoFence::scheduler::mRetry: Set(),2584 schedNoFence::scheduler::mSchedule: Set(),2585 schedNoFence::scheduler::published: 0,2586 schedNoFence::scheduler::publishedBy: Set(),2587 schedNoFence::scheduler::ws:2588 Map(2589 "w1" ->2590 {2591 attached: Set(),2592 built: false,2593 expecting: true,2594 running: true,2595 session: true,2596 up: true2597 },2598 "w2" ->2599 {2600 attached: Set(),2601 built: false,2602 expecting: false,2603 running: false,2604 session: false,2605 up: false2606 }2607 )2608}26092610[State 5]2611{2612 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2613 schedNoFence::scheduler::crashes: 2,2614 schedNoFence::scheduler::entry: [],2615 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2616 schedNoFence::scheduler::mAssigned: Set(),2617 schedNoFence::scheduler::mBuild: Set(),2618 schedNoFence::scheduler::mDone: Set(),2619 schedNoFence::scheduler::mExpect: Set(),2620 schedNoFence::scheduler::mResult: Set(),2621 schedNoFence::scheduler::mRetry: Set("c1"),2622 schedNoFence::scheduler::mSchedule: Set(),2623 schedNoFence::scheduler::published: 0,2624 schedNoFence::scheduler::publishedBy: Set(),2625 schedNoFence::scheduler::ws:2626 Map(2627 "w1" ->2628 {2629 attached: Set(),2630 built: false,2631 expecting: true,2632 running: true,2633 session: false,2634 up: true2635 },2636 "w2" ->2637 {2638 attached: Set(),2639 built: false,2640 expecting: false,2641 running: false,2642 session: false,2643 up: false2644 }2645 )2646}26472648[State 6]2649{2650 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2651 schedNoFence::scheduler::crashes: 2,2652 schedNoFence::scheduler::entry: [],2653 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2654 schedNoFence::scheduler::mAssigned: Set(),2655 schedNoFence::scheduler::mBuild: Set(),2656 schedNoFence::scheduler::mDone: Set(),2657 schedNoFence::scheduler::mExpect: Set(),2658 schedNoFence::scheduler::mResult: Set(),2659 schedNoFence::scheduler::mRetry: Set(),2660 schedNoFence::scheduler::mSchedule: Set("c1"),2661 schedNoFence::scheduler::published: 0,2662 schedNoFence::scheduler::publishedBy: Set(),2663 schedNoFence::scheduler::ws:2664 Map(2665 "w1" ->2666 {2667 attached: Set(),2668 built: false,2669 expecting: true,2670 running: true,2671 session: false,2672 up: true2673 },2674 "w2" ->2675 {2676 attached: Set(),2677 built: false,2678 expecting: false,2679 running: false,2680 session: false,2681 up: false2682 }2683 )2684}26852686[State 7]2687{2688 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2689 schedNoFence::scheduler::crashes: 2,2690 schedNoFence::scheduler::entry: [],2691 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2692 schedNoFence::scheduler::mAssigned: Set(),2693 schedNoFence::scheduler::mBuild: Set(),2694 schedNoFence::scheduler::mDone: Set(),2695 schedNoFence::scheduler::mExpect: Set(),2696 schedNoFence::scheduler::mResult: Set(),2697 schedNoFence::scheduler::mRetry: Set(),2698 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),2699 schedNoFence::scheduler::published: 0,2700 schedNoFence::scheduler::publishedBy: Set(),2701 schedNoFence::scheduler::ws:2702 Map(2703 "w1" ->2704 {2705 attached: Set(),2706 built: false,2707 expecting: true,2708 running: true,2709 session: false,2710 up: true2711 },2712 "w2" ->2713 {2714 attached: Set(),2715 built: false,2716 expecting: false,2717 running: false,2718 session: false,2719 up: false2720 }2721 )2722}27232724[State 8]2725{2726 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2727 schedNoFence::scheduler::crashes: 2,2728 schedNoFence::scheduler::entry: [],2729 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2730 schedNoFence::scheduler::mAssigned: Set(),2731 schedNoFence::scheduler::mBuild: Set(),2732 schedNoFence::scheduler::mDone: Set(),2733 schedNoFence::scheduler::mExpect: Set(),2734 schedNoFence::scheduler::mResult: Set(),2735 schedNoFence::scheduler::mRetry: Set(),2736 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),2737 schedNoFence::scheduler::published: 0,2738 schedNoFence::scheduler::publishedBy: Set(),2739 schedNoFence::scheduler::ws:2740 Map(2741 "w1" ->2742 {2743 attached: Set(),2744 built: false,2745 expecting: true,2746 running: true,2747 session: false,2748 up: true2749 },2750 "w2" ->2751 {2752 attached: Set(),2753 built: false,2754 expecting: false,2755 running: false,2756 session: true,2757 up: true2758 }2759 )2760}27612762[State 9]2763{2764 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2765 schedNoFence::scheduler::crashes: 2,2766 schedNoFence::scheduler::entry:2767 [{ followers: Set("c2"), leased: true, worker: "w2" }],2768 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2769 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2770 schedNoFence::scheduler::mBuild: Set(),2771 schedNoFence::scheduler::mDone: Set(),2772 schedNoFence::scheduler::mExpect: Set("w2"),2773 schedNoFence::scheduler::mResult: Set(),2774 schedNoFence::scheduler::mRetry: Set(),2775 schedNoFence::scheduler::mSchedule: Set("c1"),2776 schedNoFence::scheduler::published: 0,2777 schedNoFence::scheduler::publishedBy: Set(),2778 schedNoFence::scheduler::ws:2779 Map(2780 "w1" ->2781 {2782 attached: Set(),2783 built: false,2784 expecting: true,2785 running: true,2786 session: false,2787 up: true2788 },2789 "w2" ->2790 {2791 attached: Set(),2792 built: false,2793 expecting: false,2794 running: false,2795 session: true,2796 up: true2797 }2798 )2799}28002801[State 10]2802{2803 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2804 schedNoFence::scheduler::crashes: 2,2805 schedNoFence::scheduler::entry:2806 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2807 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2808 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),2809 schedNoFence::scheduler::mBuild: Set(),2810 schedNoFence::scheduler::mDone: Set(),2811 schedNoFence::scheduler::mExpect: Set("w2"),2812 schedNoFence::scheduler::mResult: Set(),2813 schedNoFence::scheduler::mRetry: Set(),2814 schedNoFence::scheduler::mSchedule: Set(),2815 schedNoFence::scheduler::published: 0,2816 schedNoFence::scheduler::publishedBy: Set(),2817 schedNoFence::scheduler::ws:2818 Map(2819 "w1" ->2820 {2821 attached: Set(),2822 built: false,2823 expecting: true,2824 running: true,2825 session: false,2826 up: true2827 },2828 "w2" ->2829 {2830 attached: Set(),2831 built: false,2832 expecting: false,2833 running: false,2834 session: true,2835 up: true2836 }2837 )2838}28392840[State 11]2841{2842 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2843 schedNoFence::scheduler::crashes: 2,2844 schedNoFence::scheduler::entry:2845 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2846 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2847 schedNoFence::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),2848 schedNoFence::scheduler::mBuild: Set(),2849 schedNoFence::scheduler::mDone: Set(),2850 schedNoFence::scheduler::mExpect: Set("w2"),2851 schedNoFence::scheduler::mResult: Set(),2852 schedNoFence::scheduler::mRetry: Set(),2853 schedNoFence::scheduler::mSchedule: Set(),2854 schedNoFence::scheduler::published: 1,2855 schedNoFence::scheduler::publishedBy: Set("w1"),2856 schedNoFence::scheduler::ws:2857 Map(2858 "w1" ->2859 {2860 attached: Set(),2861 built: true,2862 expecting: false,2863 running: false,2864 session: false,2865 up: true2866 },2867 "w2" ->2868 {2869 attached: Set(),2870 built: false,2871 expecting: false,2872 running: false,2873 session: true,2874 up: true2875 }2876 )2877}28782879[State 12]2880{2881 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2882 schedNoFence::scheduler::crashes: 2,2883 schedNoFence::scheduler::entry:2884 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2885 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2886 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2887 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2888 schedNoFence::scheduler::mDone: Set(),2889 schedNoFence::scheduler::mExpect: Set("w2"),2890 schedNoFence::scheduler::mResult: Set(),2891 schedNoFence::scheduler::mRetry: Set(),2892 schedNoFence::scheduler::mSchedule: Set(),2893 schedNoFence::scheduler::published: 1,2894 schedNoFence::scheduler::publishedBy: Set("w1"),2895 schedNoFence::scheduler::ws:2896 Map(2897 "w1" ->2898 {2899 attached: Set(),2900 built: true,2901 expecting: false,2902 running: false,2903 session: false,2904 up: true2905 },2906 "w2" ->2907 {2908 attached: Set(),2909 built: false,2910 expecting: false,2911 running: false,2912 session: true,2913 up: true2914 }2915 )2916}29172918[State 13]2919{2920 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2921 schedNoFence::scheduler::crashes: 2,2922 schedNoFence::scheduler::entry:2923 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2924 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2925 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2926 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2927 schedNoFence::scheduler::mDone: Set(),2928 schedNoFence::scheduler::mExpect: Set(),2929 schedNoFence::scheduler::mResult: Set(),2930 schedNoFence::scheduler::mRetry: Set(),2931 schedNoFence::scheduler::mSchedule: Set(),2932 schedNoFence::scheduler::published: 1,2933 schedNoFence::scheduler::publishedBy: Set("w1"),2934 schedNoFence::scheduler::ws:2935 Map(2936 "w1" ->2937 {2938 attached: Set(),2939 built: true,2940 expecting: false,2941 running: false,2942 session: false,2943 up: true2944 },2945 "w2" ->2946 {2947 attached: Set(),2948 built: false,2949 expecting: true,2950 running: true,2951 session: true,2952 up: true2953 }2954 )2955}29562957[State 14]2958{2959 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2960 schedNoFence::scheduler::crashes: 2,2961 schedNoFence::scheduler::entry:2962 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],2963 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2964 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2965 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),2966 schedNoFence::scheduler::mDone: Set(),2967 schedNoFence::scheduler::mExpect: Set(),2968 schedNoFence::scheduler::mResult: Set(),2969 schedNoFence::scheduler::mRetry: Set(),2970 schedNoFence::scheduler::mSchedule: Set(),2971 schedNoFence::scheduler::published: 1,2972 schedNoFence::scheduler::publishedBy: Set("w1"),2973 schedNoFence::scheduler::ws:2974 Map(2975 "w1" ->2976 {2977 attached: Set(),2978 built: true,2979 expecting: false,2980 running: false,2981 session: true,2982 up: true2983 },2984 "w2" ->2985 {2986 attached: Set(),2987 built: false,2988 expecting: true,2989 running: true,2990 session: true,2991 up: true2992 }2993 )2994}29952996[State 15]2997{2998 schedNoFence::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),2999 schedNoFence::scheduler::crashes: 2,3000 schedNoFence::scheduler::entry:3001 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],3002 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),3003 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),3004 schedNoFence::scheduler::mBuild: Set(("c1", "w2")),3005 schedNoFence::scheduler::mDone: Set("w2"),3006 schedNoFence::scheduler::mExpect: Set(),3007 schedNoFence::scheduler::mResult: Set(),3008 schedNoFence::scheduler::mRetry: Set(),3009 schedNoFence::scheduler::mSchedule: Set(),3010 schedNoFence::scheduler::published: 2,3011 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),3012 schedNoFence::scheduler::ws:3013 Map(3014 "w1" ->3015 {3016 attached: Set(),3017 built: true,3018 expecting: false,3019 running: false,3020 session: true,3021 up: true3022 },3023 "w2" ->3024 {3025 attached: Set(),3026 built: true,3027 expecting: false,3028 running: false,3029 session: true,3030 up: true3031 }3032 )3033}30343035[violation] Found an issue (2723ms at 10773 traces/second).3036Use --verbosity=3 to show executions.3037Use --seed=0x7c72004316cdd456 --backend=rust to reproduce.3038error: Invariant violated3039An example execution:30403041[State 0]3042{3043 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3044 schedNoPush::scheduler::crashes: 0,3045 schedNoPush::scheduler::entry: [],3046 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3047 schedNoPush::scheduler::mAssigned: Set(),3048 schedNoPush::scheduler::mBuild: Set(),3049 schedNoPush::scheduler::mDone: Set(),3050 schedNoPush::scheduler::mExpect: Set(),3051 schedNoPush::scheduler::mResult: Set(),3052 schedNoPush::scheduler::mRetry: Set(),3053 schedNoPush::scheduler::mSchedule: Set(),3054 schedNoPush::scheduler::published: 0,3055 schedNoPush::scheduler::publishedBy: Set(),3056 schedNoPush::scheduler::ws:3057 Map(3058 "w1" ->3059 {3060 attached: Set(),3061 built: false,3062 expecting: false,3063 running: false,3064 session: true,3065 up: true3066 },3067 "w2" ->3068 {3069 attached: Set(),3070 built: false,3071 expecting: false,3072 running: false,3073 session: true,3074 up: true3075 }3076 )3077}30783079[State 1]3080{3081 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3082 schedNoPush::scheduler::crashes: 0,3083 schedNoPush::scheduler::entry: [],3084 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3085 schedNoPush::scheduler::mAssigned: Set(),3086 schedNoPush::scheduler::mBuild: Set(),3087 schedNoPush::scheduler::mDone: Set(),3088 schedNoPush::scheduler::mExpect: Set(),3089 schedNoPush::scheduler::mResult: Set(),3090 schedNoPush::scheduler::mRetry: Set(),3091 schedNoPush::scheduler::mSchedule: Set("c1"),3092 schedNoPush::scheduler::published: 0,3093 schedNoPush::scheduler::publishedBy: Set(),3094 schedNoPush::scheduler::ws:3095 Map(3096 "w1" ->3097 {3098 attached: Set(),3099 built: false,3100 expecting: false,3101 running: false,3102 session: true,3103 up: true3104 },3105 "w2" ->3106 {3107 attached: Set(),3108 built: false,3109 expecting: false,3110 running: false,3111 session: true,3112 up: true3113 }3114 )3115}31163117[State 2]3118{3119 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3120 schedNoPush::scheduler::crashes: 0,3121 schedNoPush::scheduler::entry:3122 [{ followers: Set("c1"), leased: true, worker: "w2" }],3123 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3124 schedNoPush::scheduler::mAssigned: Set(("c1", "w2")),3125 schedNoPush::scheduler::mBuild: Set(),3126 schedNoPush::scheduler::mDone: Set(),3127 schedNoPush::scheduler::mExpect: Set(),3128 schedNoPush::scheduler::mResult: Set(),3129 schedNoPush::scheduler::mRetry: Set(),3130 schedNoPush::scheduler::mSchedule: Set(),3131 schedNoPush::scheduler::published: 0,3132 schedNoPush::scheduler::publishedBy: Set(),3133 schedNoPush::scheduler::ws:3134 Map(3135 "w1" ->3136 {3137 attached: Set(),3138 built: false,3139 expecting: false,3140 running: false,3141 session: true,3142 up: true3143 },3144 "w2" ->3145 {3146 attached: Set(),3147 built: false,3148 expecting: false,3149 running: false,3150 session: true,3151 up: true3152 }3153 )3154}31553156[State 3]3157{3158 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),3159 schedNoPush::scheduler::crashes: 0,3160 schedNoPush::scheduler::entry:3161 [{ followers: Set("c1"), leased: true, worker: "w2" }],3162 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3163 schedNoPush::scheduler::mAssigned: Set(),3164 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),3165 schedNoPush::scheduler::mDone: Set(),3166 schedNoPush::scheduler::mExpect: Set(),3167 schedNoPush::scheduler::mResult: Set(),3168 schedNoPush::scheduler::mRetry: Set(),3169 schedNoPush::scheduler::mSchedule: Set(),3170 schedNoPush::scheduler::published: 0,3171 schedNoPush::scheduler::publishedBy: Set(),3172 schedNoPush::scheduler::ws:3173 Map(3174 "w1" ->3175 {3176 attached: Set(),3177 built: false,3178 expecting: false,3179 running: false,3180 session: true,3181 up: true3182 },3183 "w2" ->3184 {3185 attached: Set(),3186 built: false,3187 expecting: false,3188 running: false,3189 session: true,3190 up: true3191 }3192 )3193}31943195[State 4]3196{3197 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),3198 schedNoPush::scheduler::crashes: 1,3199 schedNoPush::scheduler::entry: [],3200 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3201 schedNoPush::scheduler::mAssigned: Set(),3202 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),3203 schedNoPush::scheduler::mDone: Set(),3204 schedNoPush::scheduler::mExpect: Set(),3205 schedNoPush::scheduler::mResult: Set(),3206 schedNoPush::scheduler::mRetry: Set(),3207 schedNoPush::scheduler::mSchedule: Set(),3208 schedNoPush::scheduler::published: 0,3209 schedNoPush::scheduler::publishedBy: Set(),3210 schedNoPush::scheduler::ws:3211 Map(3212 "w1" ->3213 {3214 attached: Set(),3215 built: false,3216 expecting: false,3217 running: false,3218 session: false,3219 up: true3220 },3221 "w2" ->3222 {3223 attached: Set(),3224 built: false,3225 expecting: false,3226 running: false,3227 session: false,3228 up: true3229 }3230 )3231}32323233[State 5]3234{3235 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),3236 schedNoPush::scheduler::crashes: 1,3237 schedNoPush::scheduler::entry: [],3238 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3239 schedNoPush::scheduler::mAssigned: Set(),3240 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),3241 schedNoPush::scheduler::mDone: Set(),3242 schedNoPush::scheduler::mExpect: Set(),3243 schedNoPush::scheduler::mResult: Set(),3244 schedNoPush::scheduler::mRetry: Set(),3245 schedNoPush::scheduler::mSchedule: Set(),3246 schedNoPush::scheduler::published: 0,3247 schedNoPush::scheduler::publishedBy: Set(),3248 schedNoPush::scheduler::ws:3249 Map(3250 "w1" ->3251 {3252 attached: Set(),3253 built: false,3254 expecting: false,3255 running: false,3256 session: true,3257 up: true3258 },3259 "w2" ->3260 {3261 attached: Set(),3262 built: false,3263 expecting: false,3264 running: false,3265 session: true,3266 up: true3267 }3268 )3269}32703271[State 6]3272{3273 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),3274 schedNoPush::scheduler::crashes: 1,3275 schedNoPush::scheduler::entry: [],3276 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3277 schedNoPush::scheduler::mAssigned: Set(),3278 schedNoPush::scheduler::mBuild: Set(),3279 schedNoPush::scheduler::mDone: Set(),3280 schedNoPush::scheduler::mExpect: Set(),3281 schedNoPush::scheduler::mResult: Set(),3282 schedNoPush::scheduler::mRetry: Set(),3283 schedNoPush::scheduler::mSchedule: Set(),3284 schedNoPush::scheduler::published: 0,3285 schedNoPush::scheduler::publishedBy: Set(),3286 schedNoPush::scheduler::ws:3287 Map(3288 "w1" ->3289 {3290 attached: Set(),3291 built: false,3292 expecting: false,3293 running: false,3294 session: true,3295 up: true3296 },3297 "w2" ->3298 {3299 attached: Set("c1"),3300 built: false,3301 expecting: true,3302 running: true,3303 session: true,3304 up: true3305 }3306 )3307}33083309[violation] Found an issue (2829ms at 4143 traces/second).3310Use --verbosity=3 to show executions.3311Use --seed=0xe47575b278ac461d --backend=rust to reproduce.3312error: Invariant violated3313An example execution:33143315[State 0]3316{3317 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3318 schedNoPush::scheduler::crashes: 0,3319 schedNoPush::scheduler::entry: [],3320 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3321 schedNoPush::scheduler::mAssigned: Set(),3322 schedNoPush::scheduler::mBuild: Set(),3323 schedNoPush::scheduler::mDone: Set(),3324 schedNoPush::scheduler::mExpect: Set(),3325 schedNoPush::scheduler::mResult: Set(),3326 schedNoPush::scheduler::mRetry: Set(),3327 schedNoPush::scheduler::mSchedule: Set(),3328 schedNoPush::scheduler::published: 0,3329 schedNoPush::scheduler::publishedBy: Set(),3330 schedNoPush::scheduler::ws:3331 Map(3332 "w1" ->3333 {3334 attached: Set(),3335 built: false,3336 expecting: false,3337 running: false,3338 session: true,3339 up: true3340 },3341 "w2" ->3342 {3343 attached: Set(),3344 built: false,3345 expecting: false,3346 running: false,3347 session: true,3348 up: true3349 }3350 )3351}33523353[State 1]3354{3355 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3356 schedNoPush::scheduler::crashes: 1,3357 schedNoPush::scheduler::entry: [],3358 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3359 schedNoPush::scheduler::mAssigned: Set(),3360 schedNoPush::scheduler::mBuild: Set(),3361 schedNoPush::scheduler::mDone: Set(),3362 schedNoPush::scheduler::mExpect: Set(),3363 schedNoPush::scheduler::mResult: Set(),3364 schedNoPush::scheduler::mRetry: Set(),3365 schedNoPush::scheduler::mSchedule: Set(),3366 schedNoPush::scheduler::published: 0,3367 schedNoPush::scheduler::publishedBy: Set(),3368 schedNoPush::scheduler::ws:3369 Map(3370 "w1" ->3371 {3372 attached: Set(),3373 built: false,3374 expecting: false,3375 running: false,3376 session: true,3377 up: true3378 },3379 "w2" ->3380 {3381 attached: Set(),3382 built: false,3383 expecting: false,3384 running: false,3385 session: false,3386 up: false3387 }3388 )3389}33903391[State 2]3392{3393 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3394 schedNoPush::scheduler::crashes: 1,3395 schedNoPush::scheduler::entry: [],3396 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3397 schedNoPush::scheduler::mAssigned: Set(),3398 schedNoPush::scheduler::mBuild: Set(),3399 schedNoPush::scheduler::mDone: Set(),3400 schedNoPush::scheduler::mExpect: Set(),3401 schedNoPush::scheduler::mResult: Set(),3402 schedNoPush::scheduler::mRetry: Set(),3403 schedNoPush::scheduler::mSchedule: Set("c2"),3404 schedNoPush::scheduler::published: 0,3405 schedNoPush::scheduler::publishedBy: Set(),3406 schedNoPush::scheduler::ws:3407 Map(3408 "w1" ->3409 {3410 attached: Set(),3411 built: false,3412 expecting: false,3413 running: false,3414 session: true,3415 up: true3416 },3417 "w2" ->3418 {3419 attached: Set(),3420 built: false,3421 expecting: false,3422 running: false,3423 session: false,3424 up: false3425 }3426 )3427}34283429[State 3]3430{3431 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3432 schedNoPush::scheduler::crashes: 1,3433 schedNoPush::scheduler::entry: [],3434 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3435 schedNoPush::scheduler::mAssigned: Set(),3436 schedNoPush::scheduler::mBuild: Set(),3437 schedNoPush::scheduler::mDone: Set(),3438 schedNoPush::scheduler::mExpect: Set(),3439 schedNoPush::scheduler::mResult: Set(),3440 schedNoPush::scheduler::mRetry: Set(),3441 schedNoPush::scheduler::mSchedule: Set("c1", "c2"),3442 schedNoPush::scheduler::published: 0,3443 schedNoPush::scheduler::publishedBy: Set(),3444 schedNoPush::scheduler::ws:3445 Map(3446 "w1" ->3447 {3448 attached: Set(),3449 built: false,3450 expecting: false,3451 running: false,3452 session: true,3453 up: true3454 },3455 "w2" ->3456 {3457 attached: Set(),3458 built: false,3459 expecting: false,3460 running: false,3461 session: false,3462 up: false3463 }3464 )3465}34663467[State 4]3468{3469 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3470 schedNoPush::scheduler::crashes: 1,3471 schedNoPush::scheduler::entry: [],3472 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3473 schedNoPush::scheduler::mAssigned: Set(),3474 schedNoPush::scheduler::mBuild: Set(),3475 schedNoPush::scheduler::mDone: Set(),3476 schedNoPush::scheduler::mExpect: Set(),3477 schedNoPush::scheduler::mResult: Set(),3478 schedNoPush::scheduler::mRetry: Set(),3479 schedNoPush::scheduler::mSchedule: Set("c1", "c2"),3480 schedNoPush::scheduler::published: 0,3481 schedNoPush::scheduler::publishedBy: Set(),3482 schedNoPush::scheduler::ws:3483 Map(3484 "w1" ->3485 {3486 attached: Set(),3487 built: false,3488 expecting: false,3489 running: false,3490 session: true,3491 up: true3492 },3493 "w2" ->3494 {3495 attached: Set(),3496 built: false,3497 expecting: false,3498 running: false,3499 session: true,3500 up: true3501 }3502 )3503}35043505[State 5]3506{3507 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3508 schedNoPush::scheduler::crashes: 1,3509 schedNoPush::scheduler::entry:3510 [{ followers: Set("c2"), leased: true, worker: "w2" }],3511 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3512 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),3513 schedNoPush::scheduler::mBuild: Set(),3514 schedNoPush::scheduler::mDone: Set(),3515 schedNoPush::scheduler::mExpect: Set(),3516 schedNoPush::scheduler::mResult: Set(),3517 schedNoPush::scheduler::mRetry: Set(),3518 schedNoPush::scheduler::mSchedule: Set("c1"),3519 schedNoPush::scheduler::published: 0,3520 schedNoPush::scheduler::publishedBy: Set(),3521 schedNoPush::scheduler::ws:3522 Map(3523 "w1" ->3524 {3525 attached: Set(),3526 built: false,3527 expecting: false,3528 running: false,3529 session: true,3530 up: true3531 },3532 "w2" ->3533 {3534 attached: Set(),3535 built: false,3536 expecting: false,3537 running: false,3538 session: true,3539 up: true3540 }3541 )3542}35433544[State 6]3545{3546 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3547 schedNoPush::scheduler::crashes: 2,3548 schedNoPush::scheduler::entry:3549 [{ followers: Set("c2"), leased: true, worker: "w2" }],3550 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3551 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),3552 schedNoPush::scheduler::mBuild: Set(),3553 schedNoPush::scheduler::mDone: Set(),3554 schedNoPush::scheduler::mExpect: Set(),3555 schedNoPush::scheduler::mResult: Set(),3556 schedNoPush::scheduler::mRetry: Set(),3557 schedNoPush::scheduler::mSchedule: Set("c1"),3558 schedNoPush::scheduler::published: 0,3559 schedNoPush::scheduler::publishedBy: Set(),3560 schedNoPush::scheduler::ws:3561 Map(3562 "w1" ->3563 {3564 attached: Set(),3565 built: false,3566 expecting: false,3567 running: false,3568 session: true,3569 up: true3570 },3571 "w2" ->3572 {3573 attached: Set(),3574 built: false,3575 expecting: false,3576 running: false,3577 session: false,3578 up: false3579 }3580 )3581}35823583[State 7]3584{3585 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3586 schedNoPush::scheduler::crashes: 2,3587 schedNoPush::scheduler::entry:3588 [{ followers: Set("c2"), leased: true, worker: "w2" }],3589 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),3590 schedNoPush::scheduler::mAssigned: Set(),3591 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),3592 schedNoPush::scheduler::mDone: Set(),3593 schedNoPush::scheduler::mExpect: Set(),3594 schedNoPush::scheduler::mResult: Set(),3595 schedNoPush::scheduler::mRetry: Set(),3596 schedNoPush::scheduler::mSchedule: Set("c1"),3597 schedNoPush::scheduler::published: 0,3598 schedNoPush::scheduler::publishedBy: Set(),3599 schedNoPush::scheduler::ws:3600 Map(3601 "w1" ->3602 {3603 attached: Set(),3604 built: false,3605 expecting: false,3606 running: false,3607 session: true,3608 up: true3609 },3610 "w2" ->3611 {3612 attached: Set(),3613 built: false,3614 expecting: false,3615 running: false,3616 session: false,3617 up: false3618 }3619 )3620}36213622[State 8]3623{3624 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3625 schedNoPush::scheduler::crashes: 2,3626 schedNoPush::scheduler::entry: [],3627 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),3628 schedNoPush::scheduler::mAssigned: Set(),3629 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),3630 schedNoPush::scheduler::mDone: Set(),3631 schedNoPush::scheduler::mExpect: Set(),3632 schedNoPush::scheduler::mResult: Set(),3633 schedNoPush::scheduler::mRetry: Set("c2"),3634 schedNoPush::scheduler::mSchedule: Set("c1"),3635 schedNoPush::scheduler::published: 0,3636 schedNoPush::scheduler::publishedBy: Set(),3637 schedNoPush::scheduler::ws:3638 Map(3639 "w1" ->3640 {3641 attached: Set(),3642 built: false,3643 expecting: false,3644 running: false,3645 session: true,3646 up: true3647 },3648 "w2" ->3649 {3650 attached: Set(),3651 built: false,3652 expecting: false,3653 running: false,3654 session: true,3655 up: true3656 }3657 )3658}36593660[State 9]3661{3662 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),3663 schedNoPush::scheduler::crashes: 2,3664 schedNoPush::scheduler::entry:3665 [{ followers: Set("c1"), leased: true, worker: "w1" }],3666 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3667 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),3668 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),3669 schedNoPush::scheduler::mDone: Set(),3670 schedNoPush::scheduler::mExpect: Set(),3671 schedNoPush::scheduler::mResult: Set(),3672 schedNoPush::scheduler::mRetry: Set("c2"),3673 schedNoPush::scheduler::mSchedule: Set(),3674 schedNoPush::scheduler::published: 0,3675 schedNoPush::scheduler::publishedBy: Set(),3676 schedNoPush::scheduler::ws:3677 Map(3678 "w1" ->3679 {3680 attached: Set(),3681 built: false,3682 expecting: false,3683 running: false,3684 session: true,3685 up: true3686 },3687 "w2" ->3688 {3689 attached: Set(),3690 built: false,3691 expecting: false,3692 running: false,3693 session: true,3694 up: true3695 }3696 )3697}36983699[State 10]3700{3701 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w2")),3702 schedNoPush::scheduler::crashes: 2,3703 schedNoPush::scheduler::entry:3704 [{ followers: Set("c1"), leased: true, worker: "w1" }],3705 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3706 schedNoPush::scheduler::mAssigned: Set(),3707 schedNoPush::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w2")),3708 schedNoPush::scheduler::mDone: Set(),3709 schedNoPush::scheduler::mExpect: Set(),3710 schedNoPush::scheduler::mResult: Set(),3711 schedNoPush::scheduler::mRetry: Set("c2"),3712 schedNoPush::scheduler::mSchedule: Set(),3713 schedNoPush::scheduler::published: 0,3714 schedNoPush::scheduler::publishedBy: Set(),3715 schedNoPush::scheduler::ws:3716 Map(3717 "w1" ->3718 {3719 attached: Set(),3720 built: false,3721 expecting: false,3722 running: false,3723 session: true,3724 up: true3725 },3726 "w2" ->3727 {3728 attached: Set(),3729 built: false,3730 expecting: false,3731 running: false,3732 session: true,3733 up: true3734 }3735 )3736}37373738[State 11]3739{3740 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w2")),3741 schedNoPush::scheduler::crashes: 2,3742 schedNoPush::scheduler::entry:3743 [{ followers: Set("c1"), leased: true, worker: "w1" }],3744 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3745 schedNoPush::scheduler::mAssigned: Set(),3746 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),3747 schedNoPush::scheduler::mDone: Set(),3748 schedNoPush::scheduler::mExpect: Set(),3749 schedNoPush::scheduler::mResult: Set(),3750 schedNoPush::scheduler::mRetry: Set("c2"),3751 schedNoPush::scheduler::mSchedule: Set(),3752 schedNoPush::scheduler::published: 0,3753 schedNoPush::scheduler::publishedBy: Set(),3754 schedNoPush::scheduler::ws:3755 Map(3756 "w1" ->3757 {3758 attached: Set("c1"),3759 built: false,3760 expecting: true,3761 running: true,3762 session: true,3763 up: true3764 },3765 "w2" ->3766 {3767 attached: Set(),3768 built: false,3769 expecting: false,3770 running: false,3771 session: true,3772 up: true3773 }3774 )3775}37763777[State 12]3778{3779 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w2")),3780 schedNoPush::scheduler::crashes: 2,3781 schedNoPush::scheduler::entry:3782 [{ followers: Set("c1"), leased: true, worker: "w1" }],3783 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),3784 schedNoPush::scheduler::mAssigned: Set(),3785 schedNoPush::scheduler::mBuild: Set(),3786 schedNoPush::scheduler::mDone: Set(),3787 schedNoPush::scheduler::mExpect: Set(),3788 schedNoPush::scheduler::mResult: Set(),3789 schedNoPush::scheduler::mRetry: Set("c2"),3790 schedNoPush::scheduler::mSchedule: Set(),3791 schedNoPush::scheduler::published: 0,3792 schedNoPush::scheduler::publishedBy: Set(),3793 schedNoPush::scheduler::ws:3794 Map(3795 "w1" ->3796 {3797 attached: Set("c1"),3798 built: false,3799 expecting: true,3800 running: true,3801 session: true,3802 up: true3803 },3804 "w2" ->3805 {3806 attached: Set("c2"),3807 built: false,3808 expecting: true,3809 running: true,3810 session: true,3811 up: true3812 }3813 )3814}38153816[violation] Found an issue (2159ms at 4895 traces/second).3817Use --verbosity=3 to show executions.3818Use --seed=0xbc4c2afdf3942c87 --backend=rust to reproduce.3819error: Invariant violated3820An example execution:38213822[State 0]3823{3824 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3825 schedNoReport::scheduler::crashes: 0,3826 schedNoReport::scheduler::entry: [],3827 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3828 schedNoReport::scheduler::mAssigned: Set(),3829 schedNoReport::scheduler::mBuild: Set(),3830 schedNoReport::scheduler::mDone: Set(),3831 schedNoReport::scheduler::mExpect: Set(),3832 schedNoReport::scheduler::mResult: Set(),3833 schedNoReport::scheduler::mRetry: Set(),3834 schedNoReport::scheduler::mSchedule: Set(),3835 schedNoReport::scheduler::published: 0,3836 schedNoReport::scheduler::publishedBy: Set(),3837 schedNoReport::scheduler::ws:3838 Map(3839 "w1" ->3840 {3841 attached: Set(),3842 built: false,3843 expecting: false,3844 running: false,3845 session: true,3846 up: true3847 },3848 "w2" ->3849 {3850 attached: Set(),3851 built: false,3852 expecting: false,3853 running: false,3854 session: true,3855 up: true3856 }3857 )3858}38593860[State 1]3861{3862 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3863 schedNoReport::scheduler::crashes: 0,3864 schedNoReport::scheduler::entry: [],3865 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3866 schedNoReport::scheduler::mAssigned: Set(),3867 schedNoReport::scheduler::mBuild: Set(),3868 schedNoReport::scheduler::mDone: Set(),3869 schedNoReport::scheduler::mExpect: Set(),3870 schedNoReport::scheduler::mResult: Set(),3871 schedNoReport::scheduler::mRetry: Set(),3872 schedNoReport::scheduler::mSchedule: Set("c2"),3873 schedNoReport::scheduler::published: 0,3874 schedNoReport::scheduler::publishedBy: Set(),3875 schedNoReport::scheduler::ws:3876 Map(3877 "w1" ->3878 {3879 attached: Set(),3880 built: false,3881 expecting: false,3882 running: false,3883 session: true,3884 up: true3885 },3886 "w2" ->3887 {3888 attached: Set(),3889 built: false,3890 expecting: false,3891 running: false,3892 session: true,3893 up: true3894 }3895 )3896}38973898[State 2]3899{3900 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3901 schedNoReport::scheduler::crashes: 0,3902 schedNoReport::scheduler::entry:3903 [{ followers: Set("c2"), leased: true, worker: "w1" }],3904 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3905 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3906 schedNoReport::scheduler::mBuild: Set(),3907 schedNoReport::scheduler::mDone: Set(),3908 schedNoReport::scheduler::mExpect: Set("w1"),3909 schedNoReport::scheduler::mResult: Set(),3910 schedNoReport::scheduler::mRetry: Set(),3911 schedNoReport::scheduler::mSchedule: Set(),3912 schedNoReport::scheduler::published: 0,3913 schedNoReport::scheduler::publishedBy: Set(),3914 schedNoReport::scheduler::ws:3915 Map(3916 "w1" ->3917 {3918 attached: Set(),3919 built: false,3920 expecting: false,3921 running: false,3922 session: true,3923 up: true3924 },3925 "w2" ->3926 {3927 attached: Set(),3928 built: false,3929 expecting: false,3930 running: false,3931 session: true,3932 up: true3933 }3934 )3935}39363937[State 3]3938{3939 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3940 schedNoReport::scheduler::crashes: 0,3941 schedNoReport::scheduler::entry:3942 [{ followers: Set("c2"), leased: true, worker: "w1" }],3943 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3944 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3945 schedNoReport::scheduler::mBuild: Set(),3946 schedNoReport::scheduler::mDone: Set(),3947 schedNoReport::scheduler::mExpect: Set(),3948 schedNoReport::scheduler::mResult: Set(),3949 schedNoReport::scheduler::mRetry: Set(),3950 schedNoReport::scheduler::mSchedule: Set(),3951 schedNoReport::scheduler::published: 0,3952 schedNoReport::scheduler::publishedBy: Set(),3953 schedNoReport::scheduler::ws:3954 Map(3955 "w1" ->3956 {3957 attached: Set(),3958 built: false,3959 expecting: true,3960 running: true,3961 session: true,3962 up: true3963 },3964 "w2" ->3965 {3966 attached: Set(),3967 built: false,3968 expecting: false,3969 running: false,3970 session: true,3971 up: true3972 }3973 )3974}39753976[State 4]3977{3978 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3979 schedNoReport::scheduler::crashes: 1,3980 schedNoReport::scheduler::entry: [],3981 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),3982 schedNoReport::scheduler::mAssigned: Set(),3983 schedNoReport::scheduler::mBuild: Set(),3984 schedNoReport::scheduler::mDone: Set(),3985 schedNoReport::scheduler::mExpect: Set(),3986 schedNoReport::scheduler::mResult: Set(),3987 schedNoReport::scheduler::mRetry: Set("c2"),3988 schedNoReport::scheduler::mSchedule: Set(),3989 schedNoReport::scheduler::published: 0,3990 schedNoReport::scheduler::publishedBy: Set(),3991 schedNoReport::scheduler::ws:3992 Map(3993 "w1" ->3994 {3995 attached: Set(),3996 built: false,3997 expecting: true,3998 running: true,3999 session: false,4000 up: true4001 },4002 "w2" ->4003 {4004 attached: Set(),4005 built: false,4006 expecting: false,4007 running: false,4008 session: false,4009 up: true4010 }4011 )4012}40134014[State 5]4015{4016 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4017 schedNoReport::scheduler::crashes: 2,4018 schedNoReport::scheduler::entry: [],4019 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4020 schedNoReport::scheduler::mAssigned: Set(),4021 schedNoReport::scheduler::mBuild: Set(),4022 schedNoReport::scheduler::mDone: Set(),4023 schedNoReport::scheduler::mExpect: Set(),4024 schedNoReport::scheduler::mResult: Set(),4025 schedNoReport::scheduler::mRetry: Set("c2"),4026 schedNoReport::scheduler::mSchedule: Set(),4027 schedNoReport::scheduler::published: 0,4028 schedNoReport::scheduler::publishedBy: Set(),4029 schedNoReport::scheduler::ws:4030 Map(4031 "w1" ->4032 {4033 attached: Set(),4034 built: false,4035 expecting: true,4036 running: true,4037 session: false,4038 up: true4039 },4040 "w2" ->4041 {4042 attached: Set(),4043 built: false,4044 expecting: false,4045 running: false,4046 session: false,4047 up: false4048 }4049 )4050}40514052[State 6]4053{4054 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4055 schedNoReport::scheduler::crashes: 2,4056 schedNoReport::scheduler::entry: [],4057 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4058 schedNoReport::scheduler::mAssigned: Set(),4059 schedNoReport::scheduler::mBuild: Set(),4060 schedNoReport::scheduler::mDone: Set(),4061 schedNoReport::scheduler::mExpect: Set(),4062 schedNoReport::scheduler::mResult: Set(),4063 schedNoReport::scheduler::mRetry: Set("c2"),4064 schedNoReport::scheduler::mSchedule: Set(),4065 schedNoReport::scheduler::published: 0,4066 schedNoReport::scheduler::publishedBy: Set(),4067 schedNoReport::scheduler::ws:4068 Map(4069 "w1" ->4070 {4071 attached: Set(),4072 built: false,4073 expecting: true,4074 running: true,4075 session: false,4076 up: true4077 },4078 "w2" ->4079 {4080 attached: Set(),4081 built: false,4082 expecting: false,4083 running: false,4084 session: true,4085 up: true4086 }4087 )4088}40894090[State 7]4091{4092 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4093 schedNoReport::scheduler::crashes: 2,4094 schedNoReport::scheduler::entry: [],4095 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4096 schedNoReport::scheduler::mAssigned: Set(),4097 schedNoReport::scheduler::mBuild: Set(),4098 schedNoReport::scheduler::mDone: Set(),4099 schedNoReport::scheduler::mExpect: Set(),4100 schedNoReport::scheduler::mResult: Set(),4101 schedNoReport::scheduler::mRetry: Set("c2"),4102 schedNoReport::scheduler::mSchedule: Set(),4103 schedNoReport::scheduler::published: 0,4104 schedNoReport::scheduler::publishedBy: Set(),4105 schedNoReport::scheduler::ws:4106 Map(4107 "w1" ->4108 {4109 attached: Set(),4110 built: false,4111 expecting: true,4112 running: true,4113 session: true,4114 up: true4115 },4116 "w2" ->4117 {4118 attached: Set(),4119 built: false,4120 expecting: false,4121 running: false,4122 session: true,4123 up: true4124 }4125 )4126}41274128[State 8]4129{4130 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4131 schedNoReport::scheduler::crashes: 2,4132 schedNoReport::scheduler::entry: [],4133 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),4134 schedNoReport::scheduler::mAssigned: Set(),4135 schedNoReport::scheduler::mBuild: Set(),4136 schedNoReport::scheduler::mDone: Set(),4137 schedNoReport::scheduler::mExpect: Set(),4138 schedNoReport::scheduler::mResult: Set(),4139 schedNoReport::scheduler::mRetry: Set(),4140 schedNoReport::scheduler::mSchedule: Set("c2"),4141 schedNoReport::scheduler::published: 0,4142 schedNoReport::scheduler::publishedBy: Set(),4143 schedNoReport::scheduler::ws:4144 Map(4145 "w1" ->4146 {4147 attached: Set(),4148 built: false,4149 expecting: true,4150 running: true,4151 session: true,4152 up: true4153 },4154 "w2" ->4155 {4156 attached: Set(),4157 built: false,4158 expecting: false,4159 running: false,4160 session: true,4161 up: true4162 }4163 )4164}41654166[State 9]4167{4168 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4169 schedNoReport::scheduler::crashes: 2,4170 schedNoReport::scheduler::entry:4171 [{ followers: Set("c2"), leased: true, worker: "w2" }],4172 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4173 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4174 schedNoReport::scheduler::mBuild: Set(),4175 schedNoReport::scheduler::mDone: Set(),4176 schedNoReport::scheduler::mExpect: Set("w2"),4177 schedNoReport::scheduler::mResult: Set(),4178 schedNoReport::scheduler::mRetry: Set(),4179 schedNoReport::scheduler::mSchedule: Set(),4180 schedNoReport::scheduler::published: 0,4181 schedNoReport::scheduler::publishedBy: Set(),4182 schedNoReport::scheduler::ws:4183 Map(4184 "w1" ->4185 {4186 attached: Set(),4187 built: false,4188 expecting: true,4189 running: true,4190 session: true,4191 up: true4192 },4193 "w2" ->4194 {4195 attached: Set(),4196 built: false,4197 expecting: false,4198 running: false,4199 session: true,4200 up: true4201 }4202 )4203}42044205[State 10]4206{4207 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4208 schedNoReport::scheduler::crashes: 2,4209 schedNoReport::scheduler::entry:4210 [{ followers: Set("c2"), leased: true, worker: "w2" }],4211 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4212 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4213 schedNoReport::scheduler::mBuild: Set(),4214 schedNoReport::scheduler::mDone: Set("w1"),4215 schedNoReport::scheduler::mExpect: Set("w2"),4216 schedNoReport::scheduler::mResult: Set(),4217 schedNoReport::scheduler::mRetry: Set(),4218 schedNoReport::scheduler::mSchedule: Set(),4219 schedNoReport::scheduler::published: 1,4220 schedNoReport::scheduler::publishedBy: Set("w1"),4221 schedNoReport::scheduler::ws:4222 Map(4223 "w1" ->4224 {4225 attached: Set(),4226 built: true,4227 expecting: false,4228 running: false,4229 session: true,4230 up: true4231 },4232 "w2" ->4233 {4234 attached: Set(),4235 built: false,4236 expecting: false,4237 running: false,4238 session: true,4239 up: true4240 }4241 )4242}42434244[State 11]4245{4246 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4247 schedNoReport::scheduler::crashes: 2,4248 schedNoReport::scheduler::entry:4249 [{ followers: Set("c2"), leased: true, worker: "w2" }],4250 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4251 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4252 schedNoReport::scheduler::mBuild: Set(),4253 schedNoReport::scheduler::mDone: Set("w1"),4254 schedNoReport::scheduler::mExpect: Set(),4255 schedNoReport::scheduler::mResult: Set(),4256 schedNoReport::scheduler::mRetry: Set(),4257 schedNoReport::scheduler::mSchedule: Set(),4258 schedNoReport::scheduler::published: 1,4259 schedNoReport::scheduler::publishedBy: Set("w1"),4260 schedNoReport::scheduler::ws:4261 Map(4262 "w1" ->4263 {4264 attached: Set(),4265 built: true,4266 expecting: false,4267 running: false,4268 session: true,4269 up: true4270 },4271 "w2" ->4272 {4273 attached: Set(),4274 built: false,4275 expecting: true,4276 running: true,4277 session: true,4278 up: true4279 }4280 )4281}42824283[State 12]4284{4285 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),4286 schedNoReport::scheduler::crashes: 2,4287 schedNoReport::scheduler::entry:4288 [{ followers: Set("c2"), leased: true, worker: "w2" }],4289 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),4290 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),4291 schedNoReport::scheduler::mBuild: Set(),4292 schedNoReport::scheduler::mDone: Set("w1", "w2"),4293 schedNoReport::scheduler::mExpect: Set(),4294 schedNoReport::scheduler::mResult: Set(),4295 schedNoReport::scheduler::mRetry: Set(),4296 schedNoReport::scheduler::mSchedule: Set(),4297 schedNoReport::scheduler::published: 2,4298 schedNoReport::scheduler::publishedBy: Set("w1", "w2"),4299 schedNoReport::scheduler::ws:4300 Map(4301 "w1" ->4302 {4303 attached: Set(),4304 built: true,4305 expecting: false,4306 running: false,4307 session: true,4308 up: true4309 },4310 "w2" ->4311 {4312 attached: Set(),4313 built: true,4314 expecting: false,4315 running: false,4316 session: true,4317 up: true4318 }4319 )4320}43214322[violation] Found an issue (7816ms at 3262 traces/second).4323Use --verbosity=3 to show executions.4324Use --seed=0x7c5f98c8532919cf --backend=rust to reproduce.4325error: Invariant violated4326An example execution:43274328[State 0]4329{4330 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4331 schedTerminal::scheduler::crashes: 0,4332 schedTerminal::scheduler::entry: [],4333 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4334 schedTerminal::scheduler::mAssigned: Set(),4335 schedTerminal::scheduler::mBuild: Set(),4336 schedTerminal::scheduler::mDone: Set(),4337 schedTerminal::scheduler::mExpect: Set(),4338 schedTerminal::scheduler::mResult: Set(),4339 schedTerminal::scheduler::mRetry: Set(),4340 schedTerminal::scheduler::mSchedule: Set(),4341 schedTerminal::scheduler::published: 0,4342 schedTerminal::scheduler::publishedBy: Set(),4343 schedTerminal::scheduler::ws:4344 Map(4345 "w1" ->4346 {4347 attached: Set(),4348 built: false,4349 expecting: false,4350 running: false,4351 session: true,4352 up: true4353 },4354 "w2" ->4355 {4356 attached: Set(),4357 built: false,4358 expecting: false,4359 running: false,4360 session: true,4361 up: true4362 }4363 )4364}43654366[State 1]4367{4368 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),4369 schedTerminal::scheduler::crashes: 1,4370 schedTerminal::scheduler::entry: [],4371 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4372 schedTerminal::scheduler::mAssigned: Set(),4373 schedTerminal::scheduler::mBuild: Set(),4374 schedTerminal::scheduler::mDone: Set(),4375 schedTerminal::scheduler::mExpect: Set(),4376 schedTerminal::scheduler::mResult: Set(),4377 schedTerminal::scheduler::mRetry: Set(),4378 schedTerminal::scheduler::mSchedule: Set(),4379 schedTerminal::scheduler::published: 0,4380 schedTerminal::scheduler::publishedBy: Set(),4381 schedTerminal::scheduler::ws:4382 Map(4383 "w1" ->4384 {4385 attached: Set(),4386 built: false,4387 expecting: false,4388 running: false,4389 session: false,4390 up: true4391 },4392 "w2" ->4393 {4394 attached: Set(),4395 built: false,4396 expecting: false,4397 running: false,4398 session: false,4399 up: true4400 }4401 )4402}44034404[State 2]4405{4406 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),4407 schedTerminal::scheduler::crashes: 1,4408 schedTerminal::scheduler::entry: [],4409 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4410 schedTerminal::scheduler::mAssigned: Set(),4411 schedTerminal::scheduler::mBuild: Set(),4412 schedTerminal::scheduler::mDone: Set(),4413 schedTerminal::scheduler::mExpect: Set(),4414 schedTerminal::scheduler::mResult: Set(),4415 schedTerminal::scheduler::mRetry: Set(),4416 schedTerminal::scheduler::mSchedule: Set("c1"),4417 schedTerminal::scheduler::published: 0,4418 schedTerminal::scheduler::publishedBy: Set(),4419 schedTerminal::scheduler::ws:4420 Map(4421 "w1" ->4422 {4423 attached: Set(),4424 built: false,4425 expecting: false,4426 running: false,4427 session: false,4428 up: true4429 },4430 "w2" ->4431 {4432 attached: Set(),4433 built: false,4434 expecting: false,4435 running: false,4436 session: false,4437 up: true4438 }4439 )4440}44414442[State 3]4443{4444 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),4445 schedTerminal::scheduler::crashes: 1,4446 schedTerminal::scheduler::entry: [],4447 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),4448 schedTerminal::scheduler::mAssigned: Set(),4449 schedTerminal::scheduler::mBuild: Set(),4450 schedTerminal::scheduler::mDone: Set(),4451 schedTerminal::scheduler::mExpect: Set(),4452 schedTerminal::scheduler::mResult: Set(),4453 schedTerminal::scheduler::mRetry: Set(),4454 schedTerminal::scheduler::mSchedule: Set(),4455 schedTerminal::scheduler::published: 0,4456 schedTerminal::scheduler::publishedBy: Set(),4457 schedTerminal::scheduler::ws:4458 Map(4459 "w1" ->4460 {4461 attached: Set(),4462 built: false,4463 expecting: false,4464 running: false,4465 session: false,4466 up: true4467 },4468 "w2" ->4469 {4470 attached: Set(),4471 built: false,4472 expecting: false,4473 running: false,4474 session: false,4475 up: true4476 }4477 )4478}44794480[violation] Found an issue (6689ms at 173 traces/second).4481Use --verbosity=3 to show executions.4482Use --seed=0x192c54be4f64b039 --backend=rust to reproduce.4483error: Invariant violated4484An example execution:44854486[State 0]4487{4488 hookFixed::hook::cache: Set(),4489 hookFixed::hook::drvUploaded: false,4490 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),4491 hookFixed::hook::phase: Query,4492 hookFixed::hook::restarts: 0,4493 hookFixed::hook::retries: 0,4494 hookFixed::hook::toUpload: Set()4495}44964497[State 1]4498{4499 hookFixed::hook::cache: Set(),4500 hookFixed::hook::drvUploaded: false,4501 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),4502 hookFixed::hook::phase: Query,4503 hookFixed::hook::restarts: 1,4504 hookFixed::hook::retries: 1,4505 hookFixed::hook::toUpload: Set()4506}45074508[State 2]4509{4510 hookFixed::hook::cache: Set(),4511 hookFixed::hook::drvUploaded: false,4512 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set()),4513 hookFixed::hook::phase: Upload,4514 hookFixed::hook::restarts: 1,4515 hookFixed::hook::retries: 1,4516 hookFixed::hook::toUpload: Set("drv", "in")4517}45184519[State 3]4520{4521 hookFixed::hook::cache: Set(),4522 hookFixed::hook::drvUploaded: false,4523 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set("drv", "in")),4524 hookFixed::hook::phase: Upload,4525 hookFixed::hook::restarts: 2,4526 hookFixed::hook::retries: 2,4527 hookFixed::hook::toUpload: Set("drv", "in")4528}45294530[State 4]4531{4532 hookFixed::hook::cache: Set("drv", "in"),4533 hookFixed::hook::drvUploaded: false,4534 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set("drv", "in")),4535 hookFixed::hook::phase: Build,4536 hookFixed::hook::restarts: 2,4537 hookFixed::hook::retries: 2,4538 hookFixed::hook::toUpload: Set("drv", "in")4539}45404541[State 5]4542{4543 hookFixed::hook::cache: Set("drv", "in", "out"),4544 hookFixed::hook::drvUploaded: false,4545 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set("drv", "in", "out")),4546 hookFixed::hook::phase: Fetch,4547 hookFixed::hook::restarts: 2,4548 hookFixed::hook::retries: 2,4549 hookFixed::hook::toUpload: Set("drv", "in")4550}45514552[State 6]4553{4554 hookFixed::hook::cache: Set("drv", "in", "out"),4555 hookFixed::hook::drvUploaded: false,4556 hookFixed::hook::local: Map("w1" -> Set(), "w2" -> Set("drv", "in", "out")),4557 hookFixed::hook::phase: Done,4558 hookFixed::hook::restarts: 2,4559 hookFixed::hook::retries: 2,4560 hookFixed::hook::toUpload: Set("drv", "in")4561}45624563[ok] No violation found (3241ms at 6171 traces/second).4564Trace length statistics: max=7, min=5, average=6.764565You may increase --max-samples and --max-steps.4566Use --verbosity to produce more (or less) output.4567Use --seed=0x42633deb93d0ee63 --backend=rust to reproduce.4568An example execution:45694570[State 0]4571{4572 hookNoSubstituteRefs::hook::cache: Set(),4573 hookNoSubstituteRefs::hook::drvUploaded: false,4574 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4575 hookNoSubstituteRefs::hook::phase: Query,4576 hookNoSubstituteRefs::hook::restarts: 0,4577 hookNoSubstituteRefs::hook::retries: 0,4578 hookNoSubstituteRefs::hook::toUpload: Set()4579}45804581[State 1]4582{4583 hookNoSubstituteRefs::hook::cache: Set("in"),4584 hookNoSubstituteRefs::hook::drvUploaded: false,4585 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4586 hookNoSubstituteRefs::hook::phase: Upload,4587 hookNoSubstituteRefs::hook::restarts: 0,4588 hookNoSubstituteRefs::hook::retries: 0,4589 hookNoSubstituteRefs::hook::toUpload: Set("drv")4590}45914592[State 2]4593{4594 hookNoSubstituteRefs::hook::cache: Set("in"),4595 hookNoSubstituteRefs::hook::drvUploaded: false,4596 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),4597 hookNoSubstituteRefs::hook::phase: Failed,4598 hookNoSubstituteRefs::hook::restarts: 0,4599 hookNoSubstituteRefs::hook::retries: 0,4600 hookNoSubstituteRefs::hook::toUpload: Set("drv")4601}46024603[violation] Found an issue (3286ms at 449 traces/second).4604Use --verbosity=3 to show executions.4605Use --seed=0x6d13988895a649ea --backend=rust to reproduce.4606error: Invariant violated4607An example execution:46084609[State 0]4610{4611 hookNoSubstituteDrv::hook::cache: Set(),4612 hookNoSubstituteDrv::hook::drvUploaded: false,4613 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4614 hookNoSubstituteDrv::hook::phase: Query,4615 hookNoSubstituteDrv::hook::restarts: 0,4616 hookNoSubstituteDrv::hook::retries: 0,4617 hookNoSubstituteDrv::hook::toUpload: Set()4618}46194620[State 1]4621{4622 hookNoSubstituteDrv::hook::cache: Set("in"),4623 hookNoSubstituteDrv::hook::drvUploaded: false,4624 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),4625 hookNoSubstituteDrv::hook::phase: Upload,4626 hookNoSubstituteDrv::hook::restarts: 0,4627 hookNoSubstituteDrv::hook::retries: 0,4628 hookNoSubstituteDrv::hook::toUpload: Set("drv")4629}46304631[State 2]4632{4633 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4634 hookNoSubstituteDrv::hook::drvUploaded: false,4635 hookNoSubstituteDrv::hook::local:4636 Map("w1" -> Set("drv", "in"), "w2" -> Set()),4637 hookNoSubstituteDrv::hook::phase: Build,4638 hookNoSubstituteDrv::hook::restarts: 0,4639 hookNoSubstituteDrv::hook::retries: 0,4640 hookNoSubstituteDrv::hook::toUpload: Set("drv")4641}46424643[State 3]4644{4645 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4646 hookNoSubstituteDrv::hook::drvUploaded: false,4647 hookNoSubstituteDrv::hook::local:4648 Map("w1" -> Set("drv", "in"), "w2" -> Set()),4649 hookNoSubstituteDrv::hook::phase: UploadDrv,4650 hookNoSubstituteDrv::hook::restarts: 0,4651 hookNoSubstituteDrv::hook::retries: 0,4652 hookNoSubstituteDrv::hook::toUpload: Set("drv")4653}46544655[State 4]4656{4657 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4658 hookNoSubstituteDrv::hook::drvUploaded: true,4659 hookNoSubstituteDrv::hook::local:4660 Map("w1" -> Set("drv", "in"), "w2" -> Set()),4661 hookNoSubstituteDrv::hook::phase: Build,4662 hookNoSubstituteDrv::hook::restarts: 0,4663 hookNoSubstituteDrv::hook::retries: 0,4664 hookNoSubstituteDrv::hook::toUpload: Set("drv")4665}46664667[State 5]4668{4669 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),4670 hookNoSubstituteDrv::hook::drvUploaded: true,4671 hookNoSubstituteDrv::hook::local:4672 Map("w1" -> Set("drv", "in"), "w2" -> Set()),4673 hookNoSubstituteDrv::hook::phase: Failed,4674 hookNoSubstituteDrv::hook::restarts: 0,4675 hookNoSubstituteDrv::hook::retries: 0,4676 hookNoSubstituteDrv::hook::toUpload: Set("drv")4677}46784679[violation] Found an issue (1028ms at 1999 traces/second).4680Use --verbosity=3 to show executions.4681Use --seed=0x78b0e4585f1d6def --backend=rust to reproduce.4682error: Invariant violated4683An example execution:46844685[State 0]4686{4687 pushFixed::push::byPath: Map(),4688 pushFixed::push::inflight: Set(),4689 pushFixed::push::left: Map(),4690 pushFixed::push::sent: Map()4691}46924693[State 1]4694{4695 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),4696 pushFixed::push::inflight: Set((2, "a"), (2, "b")),4697 pushFixed::push::left: Map(2 -> 2),4698 pushFixed::push::sent: Map(2 -> Set("a", "b"))4699}47004701[State 2]4702{4703 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4704 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a"), (2, "b")),4705 pushFixed::push::left: Map(1 -> 2, 2 -> 2),4706 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))4707}47084709[State 3]4710{4711 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4712 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a")),4713 pushFixed::push::left: Map(1 -> 2, 2 -> 1),4714 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))4715}47164717[State 4]4718{4719 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),4720 pushFixed::push::inflight: Set((1, "a"), (2, "a")),4721 pushFixed::push::left: Map(1 -> 1, 2 -> 1),4722 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))4723}47244725[State 5]4726{4727 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4728 pushFixed::push::inflight: Set((1, "a"), (2, "a"), (3, "a"), (3, "b")),4729 pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 2),4730 pushFixed::push::sent:4731 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4732}47334734[State 6]4735{4736 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4737 pushFixed::push::inflight: Set((1, "a"), (2, "a"), (3, "b")),4738 pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 1),4739 pushFixed::push::sent:4740 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4741}47424743[State 7]4744{4745 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4746 pushFixed::push::inflight: Set((1, "a"), (2, "a")),4747 pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 0),4748 pushFixed::push::sent:4749 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4750}47514752[State 8]4753{4754 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4755 pushFixed::push::inflight: Set((2, "a")),4756 pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 0),4757 pushFixed::push::sent:4758 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4759}47604761[State 9]4762{4763 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),4764 pushFixed::push::inflight: Set(),4765 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),4766 pushFixed::push::sent:4767 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))4768}47694770[ok] No violation found (138ms at 144928 traces/second).4771Trace length statistics: max=10, min=7, average=7.984772You may increase --max-samples and --max-steps.4773Use --verbosity to produce more (or less) output.4774Use --seed=0x94b0f8ffa4f3cd94 --backend=rust to reproduce.