nix-grpc-store-spec
checks.aarch64-linux.spec
· build #875
· 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::mRevoke: Set(),17 schedFixed::scheduler::mSchedule: Set(),18 schedFixed::scheduler::published: 0,19 schedFixed::scheduler::publishedBy: Set(),20 schedFixed::scheduler::stolen: false,21 schedFixed::scheduler::ws:22 Map(23 "w1" ->24 {25 attached: Set(),26 built: false,27 expecting: false,28 running: false,29 session: true,30 up: true31 },32 "w2" ->33 {34 attached: Set(),35 built: false,36 expecting: false,37 running: false,38 session: true,39 up: true40 }41 )42}4344[State 1]45{46 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),47 schedFixed::scheduler::crashes: 0,48 schedFixed::scheduler::entry: [],49 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),50 schedFixed::scheduler::mAssigned: Set(),51 schedFixed::scheduler::mBuild: Set(),52 schedFixed::scheduler::mDone: Set(),53 schedFixed::scheduler::mExpect: Set(),54 schedFixed::scheduler::mResult: Set(),55 schedFixed::scheduler::mRetry: Set(),56 schedFixed::scheduler::mRevoke: Set(),57 schedFixed::scheduler::mSchedule: Set("c2"),58 schedFixed::scheduler::published: 0,59 schedFixed::scheduler::publishedBy: Set(),60 schedFixed::scheduler::stolen: false,61 schedFixed::scheduler::ws:62 Map(63 "w1" ->64 {65 attached: Set(),66 built: false,67 expecting: false,68 running: false,69 session: true,70 up: true71 },72 "w2" ->73 {74 attached: Set(),75 built: false,76 expecting: false,77 running: false,78 session: true,79 up: true80 }81 )82}8384[State 2]85{86 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),87 schedFixed::scheduler::crashes: 1,88 schedFixed::scheduler::entry: [],89 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),90 schedFixed::scheduler::mAssigned: Set(),91 schedFixed::scheduler::mBuild: Set(),92 schedFixed::scheduler::mDone: Set(),93 schedFixed::scheduler::mExpect: Set(),94 schedFixed::scheduler::mResult: Set(),95 schedFixed::scheduler::mRetry: Set("c2"),96 schedFixed::scheduler::mRevoke: Set(),97 schedFixed::scheduler::mSchedule: Set(),98 schedFixed::scheduler::published: 0,99 schedFixed::scheduler::publishedBy: Set(),100 schedFixed::scheduler::stolen: false,101 schedFixed::scheduler::ws:102 Map(103 "w1" ->104 {105 attached: Set(),106 built: false,107 expecting: false,108 running: false,109 session: false,110 up: true111 },112 "w2" ->113 {114 attached: Set(),115 built: false,116 expecting: false,117 running: false,118 session: false,119 up: true120 }121 )122}123124[State 3]125{126 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),127 schedFixed::scheduler::crashes: 1,128 schedFixed::scheduler::entry: [],129 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),130 schedFixed::scheduler::mAssigned: Set(),131 schedFixed::scheduler::mBuild: Set(),132 schedFixed::scheduler::mDone: Set(),133 schedFixed::scheduler::mExpect: Set(),134 schedFixed::scheduler::mResult: Set(),135 schedFixed::scheduler::mRetry: Set(),136 schedFixed::scheduler::mRevoke: Set(),137 schedFixed::scheduler::mSchedule: Set("c2"),138 schedFixed::scheduler::published: 0,139 schedFixed::scheduler::publishedBy: Set(),140 schedFixed::scheduler::stolen: false,141 schedFixed::scheduler::ws:142 Map(143 "w1" ->144 {145 attached: Set(),146 built: false,147 expecting: false,148 running: false,149 session: false,150 up: true151 },152 "w2" ->153 {154 attached: Set(),155 built: false,156 expecting: false,157 running: false,158 session: false,159 up: true160 }161 )162}163164[State 4]165{166 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),167 schedFixed::scheduler::crashes: 1,168 schedFixed::scheduler::entry: [],169 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),170 schedFixed::scheduler::mAssigned: Set(),171 schedFixed::scheduler::mBuild: Set(),172 schedFixed::scheduler::mDone: Set(),173 schedFixed::scheduler::mExpect: Set(),174 schedFixed::scheduler::mResult: Set(),175 schedFixed::scheduler::mRetry: Set(),176 schedFixed::scheduler::mRevoke: Set(),177 schedFixed::scheduler::mSchedule: Set("c2"),178 schedFixed::scheduler::published: 0,179 schedFixed::scheduler::publishedBy: Set(),180 schedFixed::scheduler::stolen: false,181 schedFixed::scheduler::ws:182 Map(183 "w1" ->184 {185 attached: Set(),186 built: false,187 expecting: false,188 running: false,189 session: true,190 up: true191 },192 "w2" ->193 {194 attached: Set(),195 built: false,196 expecting: false,197 running: false,198 session: false,199 up: true200 }201 )202}203204[State 5]205{206 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),207 schedFixed::scheduler::crashes: 2,208 schedFixed::scheduler::entry: [],209 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),210 schedFixed::scheduler::mAssigned: Set(),211 schedFixed::scheduler::mBuild: Set(),212 schedFixed::scheduler::mDone: Set(),213 schedFixed::scheduler::mExpect: Set(),214 schedFixed::scheduler::mResult: Set(),215 schedFixed::scheduler::mRetry: Set(),216 schedFixed::scheduler::mRevoke: Set(),217 schedFixed::scheduler::mSchedule: Set("c2"),218 schedFixed::scheduler::published: 0,219 schedFixed::scheduler::publishedBy: Set(),220 schedFixed::scheduler::stolen: false,221 schedFixed::scheduler::ws:222 Map(223 "w1" ->224 {225 attached: Set(),226 built: false,227 expecting: false,228 running: false,229 session: true,230 up: true231 },232 "w2" ->233 {234 attached: Set(),235 built: false,236 expecting: false,237 running: false,238 session: false,239 up: false240 }241 )242}243244[State 6]245{246 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),247 schedFixed::scheduler::crashes: 2,248 schedFixed::scheduler::entry: [],249 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),250 schedFixed::scheduler::mAssigned: Set(),251 schedFixed::scheduler::mBuild: Set(),252 schedFixed::scheduler::mDone: Set(),253 schedFixed::scheduler::mExpect: Set(),254 schedFixed::scheduler::mResult: Set(),255 schedFixed::scheduler::mRetry: Set(),256 schedFixed::scheduler::mRevoke: Set(),257 schedFixed::scheduler::mSchedule: Set("c2"),258 schedFixed::scheduler::published: 0,259 schedFixed::scheduler::publishedBy: Set(),260 schedFixed::scheduler::stolen: false,261 schedFixed::scheduler::ws:262 Map(263 "w1" ->264 {265 attached: Set(),266 built: false,267 expecting: false,268 running: false,269 session: true,270 up: true271 },272 "w2" ->273 {274 attached: Set(),275 built: false,276 expecting: false,277 running: false,278 session: true,279 up: true280 }281 )282}283284[State 7]285{286 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),287 schedFixed::scheduler::crashes: 2,288 schedFixed::scheduler::entry: [],289 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),290 schedFixed::scheduler::mAssigned: Set(),291 schedFixed::scheduler::mBuild: Set(),292 schedFixed::scheduler::mDone: Set(),293 schedFixed::scheduler::mExpect: Set(),294 schedFixed::scheduler::mResult: Set(),295 schedFixed::scheduler::mRetry: Set(),296 schedFixed::scheduler::mRevoke: Set(),297 schedFixed::scheduler::mSchedule: Set("c1", "c2"),298 schedFixed::scheduler::published: 0,299 schedFixed::scheduler::publishedBy: Set(),300 schedFixed::scheduler::stolen: false,301 schedFixed::scheduler::ws:302 Map(303 "w1" ->304 {305 attached: Set(),306 built: false,307 expecting: false,308 running: false,309 session: true,310 up: true311 },312 "w2" ->313 {314 attached: Set(),315 built: false,316 expecting: false,317 running: false,318 session: true,319 up: true320 }321 )322}323324[State 8]325{326 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),327 schedFixed::scheduler::crashes: 2,328 schedFixed::scheduler::entry:329 [{ followers: Set("c1"), leased: true, worker: "w2" }],330 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),331 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),332 schedFixed::scheduler::mBuild: Set(),333 schedFixed::scheduler::mDone: Set(),334 schedFixed::scheduler::mExpect: Set("w2"),335 schedFixed::scheduler::mResult: Set(),336 schedFixed::scheduler::mRetry: Set(),337 schedFixed::scheduler::mRevoke: Set(),338 schedFixed::scheduler::mSchedule: Set("c2"),339 schedFixed::scheduler::published: 0,340 schedFixed::scheduler::publishedBy: Set(),341 schedFixed::scheduler::stolen: false,342 schedFixed::scheduler::ws:343 Map(344 "w1" ->345 {346 attached: Set(),347 built: false,348 expecting: false,349 running: false,350 session: true,351 up: true352 },353 "w2" ->354 {355 attached: Set(),356 built: false,357 expecting: false,358 running: false,359 session: true,360 up: true361 }362 )363}364365[State 9]366{367 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),368 schedFixed::scheduler::crashes: 2,369 schedFixed::scheduler::entry:370 [{ followers: Set("c1"), leased: true, worker: "w2" }],371 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),372 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),373 schedFixed::scheduler::mBuild: Set(),374 schedFixed::scheduler::mDone: Set(),375 schedFixed::scheduler::mExpect: Set(),376 schedFixed::scheduler::mResult: Set(),377 schedFixed::scheduler::mRetry: Set(),378 schedFixed::scheduler::mRevoke: Set(),379 schedFixed::scheduler::mSchedule: Set("c2"),380 schedFixed::scheduler::published: 0,381 schedFixed::scheduler::publishedBy: Set(),382 schedFixed::scheduler::stolen: false,383 schedFixed::scheduler::ws:384 Map(385 "w1" ->386 {387 attached: Set(),388 built: false,389 expecting: false,390 running: false,391 session: true,392 up: true393 },394 "w2" ->395 {396 attached: Set(),397 built: false,398 expecting: true,399 running: false,400 session: true,401 up: true402 }403 )404}405406[State 10]407{408 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),409 schedFixed::scheduler::crashes: 2,410 schedFixed::scheduler::entry:411 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],412 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),413 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),414 schedFixed::scheduler::mBuild: Set(),415 schedFixed::scheduler::mDone: Set(),416 schedFixed::scheduler::mExpect: Set(),417 schedFixed::scheduler::mResult: Set(),418 schedFixed::scheduler::mRetry: Set(),419 schedFixed::scheduler::mRevoke: Set(),420 schedFixed::scheduler::mSchedule: Set(),421 schedFixed::scheduler::published: 0,422 schedFixed::scheduler::publishedBy: Set(),423 schedFixed::scheduler::stolen: false,424 schedFixed::scheduler::ws:425 Map(426 "w1" ->427 {428 attached: Set(),429 built: false,430 expecting: false,431 running: false,432 session: true,433 up: true434 },435 "w2" ->436 {437 attached: Set(),438 built: false,439 expecting: true,440 running: false,441 session: true,442 up: true443 }444 )445}446447[State 11]448{449 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),450 schedFixed::scheduler::crashes: 2,451 schedFixed::scheduler::entry:452 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],453 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),454 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),455 schedFixed::scheduler::mBuild: Set(),456 schedFixed::scheduler::mDone: Set("w2"),457 schedFixed::scheduler::mExpect: Set(),458 schedFixed::scheduler::mResult: Set(),459 schedFixed::scheduler::mRetry: Set(),460 schedFixed::scheduler::mRevoke: Set(),461 schedFixed::scheduler::mSchedule: Set(),462 schedFixed::scheduler::published: 0,463 schedFixed::scheduler::publishedBy: Set(),464 schedFixed::scheduler::stolen: false,465 schedFixed::scheduler::ws:466 Map(467 "w1" ->468 {469 attached: Set(),470 built: false,471 expecting: false,472 running: false,473 session: true,474 up: true475 },476 "w2" ->477 {478 attached: Set(),479 built: false,480 expecting: false,481 running: false,482 session: true,483 up: true484 }485 )486}487488[State 12]489{490 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),491 schedFixed::scheduler::crashes: 2,492 schedFixed::scheduler::entry:493 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],494 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),495 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),496 schedFixed::scheduler::mBuild: Set(("c1", "w2")),497 schedFixed::scheduler::mDone: Set("w2"),498 schedFixed::scheduler::mExpect: Set(),499 schedFixed::scheduler::mResult: Set(),500 schedFixed::scheduler::mRetry: Set(),501 schedFixed::scheduler::mRevoke: Set(),502 schedFixed::scheduler::mSchedule: Set(),503 schedFixed::scheduler::published: 0,504 schedFixed::scheduler::publishedBy: Set(),505 schedFixed::scheduler::stolen: false,506 schedFixed::scheduler::ws:507 Map(508 "w1" ->509 {510 attached: Set(),511 built: false,512 expecting: false,513 running: false,514 session: true,515 up: true516 },517 "w2" ->518 {519 attached: Set(),520 built: false,521 expecting: false,522 running: false,523 session: true,524 up: true525 }526 )527}528529[State 13]530{531 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),532 schedFixed::scheduler::crashes: 2,533 schedFixed::scheduler::entry:534 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],535 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),536 schedFixed::scheduler::mAssigned: Set(),537 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),538 schedFixed::scheduler::mDone: Set("w2"),539 schedFixed::scheduler::mExpect: Set(),540 schedFixed::scheduler::mResult: Set(),541 schedFixed::scheduler::mRetry: Set(),542 schedFixed::scheduler::mRevoke: Set(),543 schedFixed::scheduler::mSchedule: Set(),544 schedFixed::scheduler::published: 0,545 schedFixed::scheduler::publishedBy: Set(),546 schedFixed::scheduler::stolen: false,547 schedFixed::scheduler::ws:548 Map(549 "w1" ->550 {551 attached: Set(),552 built: false,553 expecting: false,554 running: false,555 session: true,556 up: true557 },558 "w2" ->559 {560 attached: Set(),561 built: false,562 expecting: false,563 running: false,564 session: true,565 up: true566 }567 )568}569570[State 14]571{572 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),573 schedFixed::scheduler::crashes: 2,574 schedFixed::scheduler::entry:575 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],576 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),577 schedFixed::scheduler::mAssigned: Set(),578 schedFixed::scheduler::mBuild: Set(("c2", "w2")),579 schedFixed::scheduler::mDone: Set("w2"),580 schedFixed::scheduler::mExpect: Set(),581 schedFixed::scheduler::mResult: Set(),582 schedFixed::scheduler::mRetry: Set("c1"),583 schedFixed::scheduler::mRevoke: Set(),584 schedFixed::scheduler::mSchedule: Set(),585 schedFixed::scheduler::published: 0,586 schedFixed::scheduler::publishedBy: Set(),587 schedFixed::scheduler::stolen: false,588 schedFixed::scheduler::ws:589 Map(590 "w1" ->591 {592 attached: Set(),593 built: false,594 expecting: false,595 running: false,596 session: true,597 up: true598 },599 "w2" ->600 {601 attached: Set(),602 built: false,603 expecting: false,604 running: false,605 session: true,606 up: true607 }608 )609}610611[State 15]612{613 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),614 schedFixed::scheduler::crashes: 2,615 schedFixed::scheduler::entry:616 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],617 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),618 schedFixed::scheduler::mAssigned: Set(),619 schedFixed::scheduler::mBuild: Set(("c2", "w2")),620 schedFixed::scheduler::mDone: Set("w2"),621 schedFixed::scheduler::mExpect: Set(),622 schedFixed::scheduler::mResult: Set(),623 schedFixed::scheduler::mRetry: Set(),624 schedFixed::scheduler::mRevoke: Set(),625 schedFixed::scheduler::mSchedule: Set("c1"),626 schedFixed::scheduler::published: 0,627 schedFixed::scheduler::publishedBy: Set(),628 schedFixed::scheduler::stolen: false,629 schedFixed::scheduler::ws:630 Map(631 "w1" ->632 {633 attached: Set(),634 built: false,635 expecting: false,636 running: false,637 session: true,638 up: true639 },640 "w2" ->641 {642 attached: Set(),643 built: false,644 expecting: false,645 running: false,646 session: true,647 up: true648 }649 )650}651652[State 16]653{654 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),655 schedFixed::scheduler::crashes: 2,656 schedFixed::scheduler::entry:657 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],658 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),659 schedFixed::scheduler::mAssigned: Set(),660 schedFixed::scheduler::mBuild: Set(),661 schedFixed::scheduler::mDone: Set("w2"),662 schedFixed::scheduler::mExpect: Set(),663 schedFixed::scheduler::mResult: Set(),664 schedFixed::scheduler::mRetry: Set("c2"),665 schedFixed::scheduler::mRevoke: Set(),666 schedFixed::scheduler::mSchedule: Set("c1"),667 schedFixed::scheduler::published: 0,668 schedFixed::scheduler::publishedBy: Set(),669 schedFixed::scheduler::stolen: false,670 schedFixed::scheduler::ws:671 Map(672 "w1" ->673 {674 attached: Set(),675 built: false,676 expecting: false,677 running: false,678 session: true,679 up: true680 },681 "w2" ->682 {683 attached: Set(),684 built: false,685 expecting: false,686 running: false,687 session: true,688 up: true689 }690 )691}692693[State 17]694{695 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),696 schedFixed::scheduler::crashes: 2,697 schedFixed::scheduler::entry:698 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],699 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),700 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),701 schedFixed::scheduler::mBuild: Set(),702 schedFixed::scheduler::mDone: Set("w2"),703 schedFixed::scheduler::mExpect: Set(),704 schedFixed::scheduler::mResult: Set(),705 schedFixed::scheduler::mRetry: Set("c2"),706 schedFixed::scheduler::mRevoke: Set(),707 schedFixed::scheduler::mSchedule: Set(),708 schedFixed::scheduler::published: 0,709 schedFixed::scheduler::publishedBy: Set(),710 schedFixed::scheduler::stolen: false,711 schedFixed::scheduler::ws:712 Map(713 "w1" ->714 {715 attached: Set(),716 built: false,717 expecting: false,718 running: false,719 session: true,720 up: true721 },722 "w2" ->723 {724 attached: Set(),725 built: false,726 expecting: false,727 running: false,728 session: true,729 up: true730 }731 )732}733734[State 18]735{736 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),737 schedFixed::scheduler::crashes: 2,738 schedFixed::scheduler::entry:739 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],740 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),741 schedFixed::scheduler::mAssigned: Set(),742 schedFixed::scheduler::mBuild: Set(("c1", "w2")),743 schedFixed::scheduler::mDone: Set("w2"),744 schedFixed::scheduler::mExpect: Set(),745 schedFixed::scheduler::mResult: Set(),746 schedFixed::scheduler::mRetry: Set("c2"),747 schedFixed::scheduler::mRevoke: Set(),748 schedFixed::scheduler::mSchedule: Set(),749 schedFixed::scheduler::published: 0,750 schedFixed::scheduler::publishedBy: Set(),751 schedFixed::scheduler::stolen: false,752 schedFixed::scheduler::ws:753 Map(754 "w1" ->755 {756 attached: Set(),757 built: false,758 expecting: false,759 running: false,760 session: true,761 up: true762 },763 "w2" ->764 {765 attached: Set(),766 built: false,767 expecting: false,768 running: false,769 session: true,770 up: true771 }772 )773}774775[State 19]776{777 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),778 schedFixed::scheduler::crashes: 2,779 schedFixed::scheduler::entry: [],780 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),781 schedFixed::scheduler::mAssigned: Set(),782 schedFixed::scheduler::mBuild: Set(("c1", "w2")),783 schedFixed::scheduler::mDone: Set(),784 schedFixed::scheduler::mExpect: Set(),785 schedFixed::scheduler::mResult: Set(),786 schedFixed::scheduler::mRetry: Set("c2"),787 schedFixed::scheduler::mRevoke: Set(),788 schedFixed::scheduler::mSchedule: Set(),789 schedFixed::scheduler::published: 0,790 schedFixed::scheduler::publishedBy: Set(),791 schedFixed::scheduler::stolen: false,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 20]816{817 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),818 schedFixed::scheduler::crashes: 2,819 schedFixed::scheduler::entry: [],820 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),821 schedFixed::scheduler::mAssigned: Set(),822 schedFixed::scheduler::mBuild: Set(),823 schedFixed::scheduler::mDone: Set(),824 schedFixed::scheduler::mExpect: Set(),825 schedFixed::scheduler::mResult: Set(),826 schedFixed::scheduler::mRetry: Set("c1", "c2"),827 schedFixed::scheduler::mRevoke: Set(),828 schedFixed::scheduler::mSchedule: Set(),829 schedFixed::scheduler::published: 0,830 schedFixed::scheduler::publishedBy: Set(),831 schedFixed::scheduler::stolen: false,832 schedFixed::scheduler::ws:833 Map(834 "w1" ->835 {836 attached: Set(),837 built: false,838 expecting: false,839 running: false,840 session: true,841 up: true842 },843 "w2" ->844 {845 attached: Set(),846 built: false,847 expecting: false,848 running: false,849 session: true,850 up: true851 }852 )853}854855[State 21]856{857 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),858 schedFixed::scheduler::crashes: 2,859 schedFixed::scheduler::entry: [],860 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),861 schedFixed::scheduler::mAssigned: Set(),862 schedFixed::scheduler::mBuild: Set(),863 schedFixed::scheduler::mDone: Set(),864 schedFixed::scheduler::mExpect: Set(),865 schedFixed::scheduler::mResult: Set(),866 schedFixed::scheduler::mRetry: Set("c1"),867 schedFixed::scheduler::mRevoke: Set(),868 schedFixed::scheduler::mSchedule: Set("c2"),869 schedFixed::scheduler::published: 0,870 schedFixed::scheduler::publishedBy: Set(),871 schedFixed::scheduler::stolen: false,872 schedFixed::scheduler::ws:873 Map(874 "w1" ->875 {876 attached: Set(),877 built: false,878 expecting: false,879 running: false,880 session: true,881 up: true882 },883 "w2" ->884 {885 attached: Set(),886 built: false,887 expecting: false,888 running: false,889 session: true,890 up: true891 }892 )893}894895[State 22]896{897 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),898 schedFixed::scheduler::crashes: 2,899 schedFixed::scheduler::entry:900 [{ followers: Set("c2"), leased: true, worker: "w1" }],901 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),902 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),903 schedFixed::scheduler::mBuild: Set(),904 schedFixed::scheduler::mDone: Set(),905 schedFixed::scheduler::mExpect: Set("w1"),906 schedFixed::scheduler::mResult: Set(),907 schedFixed::scheduler::mRetry: Set("c1"),908 schedFixed::scheduler::mRevoke: Set(),909 schedFixed::scheduler::mSchedule: Set(),910 schedFixed::scheduler::published: 0,911 schedFixed::scheduler::publishedBy: Set(),912 schedFixed::scheduler::stolen: false,913 schedFixed::scheduler::ws:914 Map(915 "w1" ->916 {917 attached: Set(),918 built: false,919 expecting: false,920 running: false,921 session: true,922 up: true923 },924 "w2" ->925 {926 attached: Set(),927 built: false,928 expecting: false,929 running: false,930 session: true,931 up: true932 }933 )934}935936[State 23]937{938 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),939 schedFixed::scheduler::crashes: 2,940 schedFixed::scheduler::entry:941 [{ followers: Set("c2"), leased: true, worker: "w1" }],942 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),943 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),944 schedFixed::scheduler::mBuild: Set(),945 schedFixed::scheduler::mDone: Set(),946 schedFixed::scheduler::mExpect: Set(),947 schedFixed::scheduler::mResult: Set(),948 schedFixed::scheduler::mRetry: Set("c1"),949 schedFixed::scheduler::mRevoke: Set(),950 schedFixed::scheduler::mSchedule: Set(),951 schedFixed::scheduler::published: 0,952 schedFixed::scheduler::publishedBy: Set(),953 schedFixed::scheduler::stolen: false,954 schedFixed::scheduler::ws:955 Map(956 "w1" ->957 {958 attached: Set(),959 built: false,960 expecting: true,961 running: false,962 session: true,963 up: true964 },965 "w2" ->966 {967 attached: Set(),968 built: false,969 expecting: false,970 running: false,971 session: true,972 up: true973 }974 )975}976977[State 24]978{979 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),980 schedFixed::scheduler::crashes: 2,981 schedFixed::scheduler::entry:982 [{ followers: Set("c2"), leased: true, worker: "w1" }],983 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),984 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),985 schedFixed::scheduler::mBuild: Set(),986 schedFixed::scheduler::mDone: Set(),987 schedFixed::scheduler::mExpect: Set(),988 schedFixed::scheduler::mResult: Set(),989 schedFixed::scheduler::mRetry: Set(),990 schedFixed::scheduler::mRevoke: Set(),991 schedFixed::scheduler::mSchedule: Set("c1"),992 schedFixed::scheduler::published: 0,993 schedFixed::scheduler::publishedBy: Set(),994 schedFixed::scheduler::stolen: false,995 schedFixed::scheduler::ws:996 Map(997 "w1" ->998 {999 attached: Set(),1000 built: false,1001 expecting: true,1002 running: false,1003 session: true,1004 up: true1005 },1006 "w2" ->1007 {1008 attached: Set(),1009 built: false,1010 expecting: false,1011 running: false,1012 session: true,1013 up: true1014 }1015 )1016}10171018[State 25]1019{1020 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1021 schedFixed::scheduler::crashes: 2,1022 schedFixed::scheduler::entry:1023 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1024 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1025 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1026 schedFixed::scheduler::mBuild: Set(),1027 schedFixed::scheduler::mDone: Set(),1028 schedFixed::scheduler::mExpect: Set(),1029 schedFixed::scheduler::mResult: Set(),1030 schedFixed::scheduler::mRetry: Set(),1031 schedFixed::scheduler::mRevoke: Set(),1032 schedFixed::scheduler::mSchedule: Set(),1033 schedFixed::scheduler::published: 0,1034 schedFixed::scheduler::publishedBy: Set(),1035 schedFixed::scheduler::stolen: false,1036 schedFixed::scheduler::ws:1037 Map(1038 "w1" ->1039 {1040 attached: Set(),1041 built: false,1042 expecting: true,1043 running: false,1044 session: true,1045 up: true1046 },1047 "w2" ->1048 {1049 attached: Set(),1050 built: false,1051 expecting: false,1052 running: false,1053 session: true,1054 up: true1055 }1056 )1057}10581059[State 26]1060{1061 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1062 schedFixed::scheduler::crashes: 2,1063 schedFixed::scheduler::entry:1064 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1065 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1066 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1067 schedFixed::scheduler::mBuild: Set(),1068 schedFixed::scheduler::mDone: Set("w1"),1069 schedFixed::scheduler::mExpect: Set(),1070 schedFixed::scheduler::mResult: Set(),1071 schedFixed::scheduler::mRetry: Set(),1072 schedFixed::scheduler::mRevoke: Set(),1073 schedFixed::scheduler::mSchedule: Set(),1074 schedFixed::scheduler::published: 0,1075 schedFixed::scheduler::publishedBy: Set(),1076 schedFixed::scheduler::stolen: false,1077 schedFixed::scheduler::ws:1078 Map(1079 "w1" ->1080 {1081 attached: Set(),1082 built: false,1083 expecting: false,1084 running: false,1085 session: true,1086 up: true1087 },1088 "w2" ->1089 {1090 attached: Set(),1091 built: false,1092 expecting: false,1093 running: false,1094 session: true,1095 up: true1096 }1097 )1098}10991100[State 27]1101{1102 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1103 schedFixed::scheduler::crashes: 2,1104 schedFixed::scheduler::entry: [],1105 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1106 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1107 schedFixed::scheduler::mBuild: Set(),1108 schedFixed::scheduler::mDone: Set(),1109 schedFixed::scheduler::mExpect: Set(),1110 schedFixed::scheduler::mResult: Set(),1111 schedFixed::scheduler::mRetry: Set(),1112 schedFixed::scheduler::mRevoke: Set(),1113 schedFixed::scheduler::mSchedule: Set(),1114 schedFixed::scheduler::published: 0,1115 schedFixed::scheduler::publishedBy: Set(),1116 schedFixed::scheduler::stolen: false,1117 schedFixed::scheduler::ws:1118 Map(1119 "w1" ->1120 {1121 attached: Set(),1122 built: false,1123 expecting: false,1124 running: false,1125 session: true,1126 up: true1127 },1128 "w2" ->1129 {1130 attached: Set(),1131 built: false,1132 expecting: false,1133 running: false,1134 session: true,1135 up: true1136 }1137 )1138}11391140[State 28]1141{1142 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1143 schedFixed::scheduler::crashes: 2,1144 schedFixed::scheduler::entry: [],1145 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1146 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1147 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1148 schedFixed::scheduler::mDone: Set(),1149 schedFixed::scheduler::mExpect: Set(),1150 schedFixed::scheduler::mResult: Set(),1151 schedFixed::scheduler::mRetry: Set(),1152 schedFixed::scheduler::mRevoke: Set(),1153 schedFixed::scheduler::mSchedule: Set(),1154 schedFixed::scheduler::published: 0,1155 schedFixed::scheduler::publishedBy: Set(),1156 schedFixed::scheduler::stolen: false,1157 schedFixed::scheduler::ws:1158 Map(1159 "w1" ->1160 {1161 attached: Set(),1162 built: false,1163 expecting: false,1164 running: false,1165 session: true,1166 up: true1167 },1168 "w2" ->1169 {1170 attached: Set(),1171 built: false,1172 expecting: false,1173 running: false,1174 session: true,1175 up: true1176 }1177 )1178}11791180[State 29]1181{1182 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1183 schedFixed::scheduler::crashes: 2,1184 schedFixed::scheduler::entry: [],1185 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1186 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1187 schedFixed::scheduler::mBuild: Set(),1188 schedFixed::scheduler::mDone: Set(),1189 schedFixed::scheduler::mExpect: Set(),1190 schedFixed::scheduler::mResult: Set(),1191 schedFixed::scheduler::mRetry: Set("c1"),1192 schedFixed::scheduler::mRevoke: Set(),1193 schedFixed::scheduler::mSchedule: Set(),1194 schedFixed::scheduler::published: 0,1195 schedFixed::scheduler::publishedBy: Set(),1196 schedFixed::scheduler::stolen: false,1197 schedFixed::scheduler::ws:1198 Map(1199 "w1" ->1200 {1201 attached: Set(),1202 built: false,1203 expecting: false,1204 running: false,1205 session: true,1206 up: true1207 },1208 "w2" ->1209 {1210 attached: Set(),1211 built: false,1212 expecting: false,1213 running: false,1214 session: true,1215 up: true1216 }1217 )1218}12191220[State 30]1221{1222 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1223 schedFixed::scheduler::crashes: 2,1224 schedFixed::scheduler::entry: [],1225 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1226 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1227 schedFixed::scheduler::mBuild: Set(),1228 schedFixed::scheduler::mDone: Set(),1229 schedFixed::scheduler::mExpect: Set(),1230 schedFixed::scheduler::mResult: Set(),1231 schedFixed::scheduler::mRetry: Set(),1232 schedFixed::scheduler::mRevoke: Set(),1233 schedFixed::scheduler::mSchedule: Set("c1"),1234 schedFixed::scheduler::published: 0,1235 schedFixed::scheduler::publishedBy: Set(),1236 schedFixed::scheduler::stolen: false,1237 schedFixed::scheduler::ws:1238 Map(1239 "w1" ->1240 {1241 attached: Set(),1242 built: false,1243 expecting: false,1244 running: false,1245 session: true,1246 up: true1247 },1248 "w2" ->1249 {1250 attached: Set(),1251 built: false,1252 expecting: false,1253 running: false,1254 session: true,1255 up: true1256 }1257 )1258}12591260[ok] No violation found (20349ms at 1474 traces/second).1261Trace length statistics: max=31, min=16, average=28.171262You may increase --max-samples and --max-steps.1263Use --verbosity to produce more (or less) output.1264Use --seed=0xf08cb479c277de7b --backend=rust to reproduce.1265An example execution:12661267[State 0]1268{1269 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1270 schedNoPush::scheduler::crashes: 0,1271 schedNoPush::scheduler::entry: [],1272 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1273 schedNoPush::scheduler::mAssigned: Set(),1274 schedNoPush::scheduler::mBuild: Set(),1275 schedNoPush::scheduler::mDone: Set(),1276 schedNoPush::scheduler::mExpect: Set(),1277 schedNoPush::scheduler::mResult: Set(),1278 schedNoPush::scheduler::mRetry: Set(),1279 schedNoPush::scheduler::mRevoke: Set(),1280 schedNoPush::scheduler::mSchedule: Set(),1281 schedNoPush::scheduler::published: 0,1282 schedNoPush::scheduler::publishedBy: Set(),1283 schedNoPush::scheduler::stolen: false,1284 schedNoPush::scheduler::ws:1285 Map(1286 "w1" ->1287 {1288 attached: Set(),1289 built: false,1290 expecting: false,1291 running: false,1292 session: true,1293 up: true1294 },1295 "w2" ->1296 {1297 attached: Set(),1298 built: false,1299 expecting: false,1300 running: false,1301 session: true,1302 up: true1303 }1304 )1305}13061307[State 1]1308{1309 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1310 schedNoPush::scheduler::crashes: 0,1311 schedNoPush::scheduler::entry: [],1312 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1313 schedNoPush::scheduler::mAssigned: Set(),1314 schedNoPush::scheduler::mBuild: Set(),1315 schedNoPush::scheduler::mDone: Set(),1316 schedNoPush::scheduler::mExpect: Set(),1317 schedNoPush::scheduler::mResult: Set(),1318 schedNoPush::scheduler::mRetry: Set(),1319 schedNoPush::scheduler::mRevoke: Set(),1320 schedNoPush::scheduler::mSchedule: Set("c2"),1321 schedNoPush::scheduler::published: 0,1322 schedNoPush::scheduler::publishedBy: Set(),1323 schedNoPush::scheduler::stolen: false,1324 schedNoPush::scheduler::ws:1325 Map(1326 "w1" ->1327 {1328 attached: Set(),1329 built: false,1330 expecting: false,1331 running: false,1332 session: true,1333 up: true1334 },1335 "w2" ->1336 {1337 attached: Set(),1338 built: false,1339 expecting: false,1340 running: false,1341 session: true,1342 up: true1343 }1344 )1345}13461347[State 2]1348{1349 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1350 schedNoPush::scheduler::crashes: 0,1351 schedNoPush::scheduler::entry:1352 [{ followers: Set("c2"), leased: true, worker: "w2" }],1353 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),1354 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),1355 schedNoPush::scheduler::mBuild: Set(),1356 schedNoPush::scheduler::mDone: Set(),1357 schedNoPush::scheduler::mExpect: Set(),1358 schedNoPush::scheduler::mResult: Set(),1359 schedNoPush::scheduler::mRetry: Set(),1360 schedNoPush::scheduler::mRevoke: Set(),1361 schedNoPush::scheduler::mSchedule: Set(),1362 schedNoPush::scheduler::published: 0,1363 schedNoPush::scheduler::publishedBy: Set(),1364 schedNoPush::scheduler::stolen: false,1365 schedNoPush::scheduler::ws:1366 Map(1367 "w1" ->1368 {1369 attached: Set(),1370 built: false,1371 expecting: false,1372 running: false,1373 session: true,1374 up: true1375 },1376 "w2" ->1377 {1378 attached: Set(),1379 built: false,1380 expecting: false,1381 running: false,1382 session: true,1383 up: true1384 }1385 )1386}13871388[State 3]1389{1390 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),1391 schedNoPush::scheduler::crashes: 0,1392 schedNoPush::scheduler::entry:1393 [{ followers: Set("c2"), leased: true, worker: "w2" }],1394 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),1395 schedNoPush::scheduler::mAssigned: Set(),1396 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),1397 schedNoPush::scheduler::mDone: Set(),1398 schedNoPush::scheduler::mExpect: Set(),1399 schedNoPush::scheduler::mResult: Set(),1400 schedNoPush::scheduler::mRetry: Set(),1401 schedNoPush::scheduler::mRevoke: Set(),1402 schedNoPush::scheduler::mSchedule: Set(),1403 schedNoPush::scheduler::published: 0,1404 schedNoPush::scheduler::publishedBy: Set(),1405 schedNoPush::scheduler::stolen: false,1406 schedNoPush::scheduler::ws:1407 Map(1408 "w1" ->1409 {1410 attached: Set(),1411 built: false,1412 expecting: false,1413 running: false,1414 session: true,1415 up: true1416 },1417 "w2" ->1418 {1419 attached: Set(),1420 built: false,1421 expecting: false,1422 running: false,1423 session: true,1424 up: true1425 }1426 )1427}14281429[State 4]1430{1431 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),1432 schedNoPush::scheduler::crashes: 1,1433 schedNoPush::scheduler::entry: [],1434 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1435 schedNoPush::scheduler::mAssigned: Set(),1436 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),1437 schedNoPush::scheduler::mDone: Set(),1438 schedNoPush::scheduler::mExpect: Set(),1439 schedNoPush::scheduler::mResult: Set(),1440 schedNoPush::scheduler::mRetry: Set(),1441 schedNoPush::scheduler::mRevoke: Set(),1442 schedNoPush::scheduler::mSchedule: Set(),1443 schedNoPush::scheduler::published: 0,1444 schedNoPush::scheduler::publishedBy: Set(),1445 schedNoPush::scheduler::stolen: false,1446 schedNoPush::scheduler::ws:1447 Map(1448 "w1" ->1449 {1450 attached: Set(),1451 built: false,1452 expecting: false,1453 running: false,1454 session: false,1455 up: true1456 },1457 "w2" ->1458 {1459 attached: Set(),1460 built: false,1461 expecting: false,1462 running: false,1463 session: false,1464 up: true1465 }1466 )1467}14681469[State 5]1470{1471 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),1472 schedNoPush::scheduler::crashes: 2,1473 schedNoPush::scheduler::entry: [],1474 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1475 schedNoPush::scheduler::mAssigned: Set(),1476 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),1477 schedNoPush::scheduler::mDone: Set(),1478 schedNoPush::scheduler::mExpect: Set(),1479 schedNoPush::scheduler::mResult: Set(),1480 schedNoPush::scheduler::mRetry: Set(),1481 schedNoPush::scheduler::mRevoke: Set(),1482 schedNoPush::scheduler::mSchedule: Set(),1483 schedNoPush::scheduler::published: 0,1484 schedNoPush::scheduler::publishedBy: Set(),1485 schedNoPush::scheduler::stolen: false,1486 schedNoPush::scheduler::ws:1487 Map(1488 "w1" ->1489 {1490 attached: Set(),1491 built: false,1492 expecting: false,1493 running: false,1494 session: false,1495 up: true1496 },1497 "w2" ->1498 {1499 attached: Set(),1500 built: false,1501 expecting: false,1502 running: false,1503 session: false,1504 up: true1505 }1506 )1507}15081509[State 6]1510{1511 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),1512 schedNoPush::scheduler::crashes: 2,1513 schedNoPush::scheduler::entry: [],1514 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1515 schedNoPush::scheduler::mAssigned: Set(),1516 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),1517 schedNoPush::scheduler::mDone: Set(),1518 schedNoPush::scheduler::mExpect: Set(),1519 schedNoPush::scheduler::mResult: Set(),1520 schedNoPush::scheduler::mRetry: Set(),1521 schedNoPush::scheduler::mRevoke: Set(),1522 schedNoPush::scheduler::mSchedule: Set(),1523 schedNoPush::scheduler::published: 0,1524 schedNoPush::scheduler::publishedBy: Set(),1525 schedNoPush::scheduler::stolen: false,1526 schedNoPush::scheduler::ws:1527 Map(1528 "w1" ->1529 {1530 attached: Set(),1531 built: false,1532 expecting: false,1533 running: false,1534 session: false,1535 up: true1536 },1537 "w2" ->1538 {1539 attached: Set(),1540 built: false,1541 expecting: false,1542 running: false,1543 session: true,1544 up: true1545 }1546 )1547}15481549[State 7]1550{1551 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),1552 schedNoPush::scheduler::crashes: 2,1553 schedNoPush::scheduler::entry: [],1554 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1555 schedNoPush::scheduler::mAssigned: Set(),1556 schedNoPush::scheduler::mBuild: Set(),1557 schedNoPush::scheduler::mDone: Set(),1558 schedNoPush::scheduler::mExpect: Set(),1559 schedNoPush::scheduler::mResult: Set(),1560 schedNoPush::scheduler::mRetry: Set(),1561 schedNoPush::scheduler::mRevoke: Set(),1562 schedNoPush::scheduler::mSchedule: Set(),1563 schedNoPush::scheduler::published: 0,1564 schedNoPush::scheduler::publishedBy: Set(),1565 schedNoPush::scheduler::stolen: false,1566 schedNoPush::scheduler::ws:1567 Map(1568 "w1" ->1569 {1570 attached: Set(),1571 built: false,1572 expecting: false,1573 running: false,1574 session: false,1575 up: true1576 },1577 "w2" ->1578 {1579 attached: Set("c2"),1580 built: false,1581 expecting: false,1582 running: true,1583 session: true,1584 up: true1585 }1586 )1587}15881589[violation] Found an issue (20647ms at 591 traces/second).1590Use --verbosity=3 to show executions.1591Use --seed=0xfc338370af5ed33b --backend=rust to reproduce.1592error: Invariant violated1593An example execution:15941595[State 0]1596{1597 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1598 schedTerminal::scheduler::crashes: 0,1599 schedTerminal::scheduler::entry: [],1600 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1601 schedTerminal::scheduler::mAssigned: Set(),1602 schedTerminal::scheduler::mBuild: Set(),1603 schedTerminal::scheduler::mDone: Set(),1604 schedTerminal::scheduler::mExpect: Set(),1605 schedTerminal::scheduler::mResult: Set(),1606 schedTerminal::scheduler::mRetry: Set(),1607 schedTerminal::scheduler::mRevoke: Set(),1608 schedTerminal::scheduler::mSchedule: Set(),1609 schedTerminal::scheduler::published: 0,1610 schedTerminal::scheduler::publishedBy: Set(),1611 schedTerminal::scheduler::stolen: false,1612 schedTerminal::scheduler::ws:1613 Map(1614 "w1" ->1615 {1616 attached: Set(),1617 built: false,1618 expecting: false,1619 running: false,1620 session: true,1621 up: true1622 },1623 "w2" ->1624 {1625 attached: Set(),1626 built: false,1627 expecting: false,1628 running: false,1629 session: true,1630 up: true1631 }1632 )1633}16341635[State 1]1636{1637 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1638 schedTerminal::scheduler::crashes: 1,1639 schedTerminal::scheduler::entry: [],1640 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1641 schedTerminal::scheduler::mAssigned: Set(),1642 schedTerminal::scheduler::mBuild: Set(),1643 schedTerminal::scheduler::mDone: Set(),1644 schedTerminal::scheduler::mExpect: Set(),1645 schedTerminal::scheduler::mResult: Set(),1646 schedTerminal::scheduler::mRetry: Set(),1647 schedTerminal::scheduler::mRevoke: Set(),1648 schedTerminal::scheduler::mSchedule: Set(),1649 schedTerminal::scheduler::published: 0,1650 schedTerminal::scheduler::publishedBy: Set(),1651 schedTerminal::scheduler::stolen: false,1652 schedTerminal::scheduler::ws:1653 Map(1654 "w1" ->1655 {1656 attached: Set(),1657 built: false,1658 expecting: false,1659 running: false,1660 session: false,1661 up: true1662 },1663 "w2" ->1664 {1665 attached: Set(),1666 built: false,1667 expecting: false,1668 running: false,1669 session: false,1670 up: true1671 }1672 )1673}16741675[State 2]1676{1677 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1678 schedTerminal::scheduler::crashes: 1,1679 schedTerminal::scheduler::entry: [],1680 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1681 schedTerminal::scheduler::mAssigned: Set(),1682 schedTerminal::scheduler::mBuild: Set(),1683 schedTerminal::scheduler::mDone: Set(),1684 schedTerminal::scheduler::mExpect: Set(),1685 schedTerminal::scheduler::mResult: Set(),1686 schedTerminal::scheduler::mRetry: Set(),1687 schedTerminal::scheduler::mRevoke: Set(),1688 schedTerminal::scheduler::mSchedule: Set("c1"),1689 schedTerminal::scheduler::published: 0,1690 schedTerminal::scheduler::publishedBy: Set(),1691 schedTerminal::scheduler::stolen: false,1692 schedTerminal::scheduler::ws:1693 Map(1694 "w1" ->1695 {1696 attached: Set(),1697 built: false,1698 expecting: false,1699 running: false,1700 session: false,1701 up: true1702 },1703 "w2" ->1704 {1705 attached: Set(),1706 built: false,1707 expecting: false,1708 running: false,1709 session: false,1710 up: true1711 }1712 )1713}17141715[State 3]1716{1717 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),1718 schedTerminal::scheduler::crashes: 1,1719 schedTerminal::scheduler::entry: [],1720 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1721 schedTerminal::scheduler::mAssigned: Set(),1722 schedTerminal::scheduler::mBuild: Set(),1723 schedTerminal::scheduler::mDone: Set(),1724 schedTerminal::scheduler::mExpect: Set(),1725 schedTerminal::scheduler::mResult: Set(),1726 schedTerminal::scheduler::mRetry: Set(),1727 schedTerminal::scheduler::mRevoke: Set(),1728 schedTerminal::scheduler::mSchedule: Set(),1729 schedTerminal::scheduler::published: 0,1730 schedTerminal::scheduler::publishedBy: Set(),1731 schedTerminal::scheduler::stolen: false,1732 schedTerminal::scheduler::ws:1733 Map(1734 "w1" ->1735 {1736 attached: Set(),1737 built: false,1738 expecting: false,1739 running: false,1740 session: false,1741 up: true1742 },1743 "w2" ->1744 {1745 attached: Set(),1746 built: false,1747 expecting: false,1748 running: false,1749 session: false,1750 up: true1751 }1752 )1753}17541755[violation] Found an issue (21991ms at 41 traces/second).1756Use --verbosity=3 to show executions.1757Use --seed=0xbcb9d8494449e8f4 --backend=rust to reproduce.1758error: Invariant violated17591760 schedFixed1761 ok schedFixed::scheduler::dupBuildTest passed 100 test(s)1762 ok schedFixed::scheduler::helloStealTest passed 100 test(s)17631764 2 passing (17325ms)17651766 schedNoRevoke1767 ok schedNoRevoke::scheduler::dupBuildTest passed 100 test(s)1768 ok schedNoRevoke::scheduler::helloStealTest passed 100 test(s)17691770 2 passing (20985ms)17711772 schedNoFence1773 ok schedNoFence::scheduler::dupBuildTest passed 100 test(s)1774 ok schedNoFence::scheduler::helloStealTest passed 100 test(s)17751776 2 passing (2149ms)17771778 schedNoReport1779 ok schedNoReport::scheduler::dupBuildTest passed 100 test(s)1780 ok schedNoReport::scheduler::helloStealTest passed 100 test(s)17811782 2 passing (4758ms)17831784 schedHelloSteal1785 ok schedHelloSteal::scheduler::dupBuildTest passed 100 test(s)1786 ok schedHelloSteal::scheduler::helloStealTest passed 100 test(s)17871788 2 passing (14608ms)1789An example execution:17901791[State 0]1792{1793 pushFixed::push::byPath: Map(),1794 pushFixed::push::inflight: Set(),1795 pushFixed::push::left: Map(),1796 pushFixed::push::sent: Map()1797}17981799[State 1]1800{1801 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),1802 pushFixed::push::inflight: Set((2, "a"), (2, "b")),1803 pushFixed::push::left: Map(2 -> 2),1804 pushFixed::push::sent: Map(2 -> Set("a", "b"))1805}18061807[State 2]1808{1809 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),1810 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a"), (2, "b")),1811 pushFixed::push::left: Map(1 -> 2, 2 -> 2),1812 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))1813}18141815[State 3]1816{1817 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1818 pushFixed::push::inflight:1819 Set((1, "a"), (1, "b"), (2, "a"), (2, "b"), (3, "a"), (3, "b")),1820 pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 2),1821 pushFixed::push::sent:1822 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1823}18241825[State 4]1826{1827 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1828 pushFixed::push::inflight:1829 Set((1, "a"), (1, "b"), (2, "b"), (3, "a"), (3, "b")),1830 pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 2),1831 pushFixed::push::sent:1832 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1833}18341835[State 5]1836{1837 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1838 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "a"), (3, "b")),1839 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 2),1840 pushFixed::push::sent:1841 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1842}18431844[State 6]1845{1846 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1847 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "a")),1848 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 1),1849 pushFixed::push::sent:1850 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1851}18521853[State 7]1854{1855 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1856 pushFixed::push::inflight: Set((1, "b"), (3, "a")),1857 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 1),1858 pushFixed::push::sent:1859 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1860}18611862[State 8]1863{1864 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1865 pushFixed::push::inflight: Set((1, "b")),1866 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 0),1867 pushFixed::push::sent:1868 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1869}18701871[State 9]1872{1873 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1874 pushFixed::push::inflight: Set(),1875 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),1876 pushFixed::push::sent:1877 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1878}18791880[ok] No violation found (4100ms at 4878 traces/second).1881Trace length statistics: max=10, min=7, average=8.201882You may increase --max-samples and --max-steps.1883Use --verbosity to produce more (or less) output.1884Use --seed=0xfce68fc607d4a68e --backend=rust to reproduce.