nixbot

builds
sign in

nix-grpc-store-spec checks.aarch64-darwin.spec · build #876 · raw

1tribuchet: building on mac022An 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::seq: 0,21 schedFixed::scheduler::stolen: false,22 schedFixed::scheduler::ws:23 Map(24 "w1" ->25 {26 attached: Set(),27 built: false,28 expecting: false,29 lease: -1,30 running: false,31 session: true,32 up: true33 },34 "w2" ->35 {36 attached: Set(),37 built: false,38 expecting: false,39 lease: -1,40 running: false,41 session: true,42 up: true43 }44 )45}4647[State 1]48{49 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),50 schedFixed::scheduler::crashes: 0,51 schedFixed::scheduler::entry: [],52 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),53 schedFixed::scheduler::mAssigned: Set(),54 schedFixed::scheduler::mBuild: Set(),55 schedFixed::scheduler::mDone: Set(),56 schedFixed::scheduler::mExpect: Set(),57 schedFixed::scheduler::mResult: Set(),58 schedFixed::scheduler::mRetry: Set(),59 schedFixed::scheduler::mRevoke: Set(),60 schedFixed::scheduler::mSchedule: Set("c2"),61 schedFixed::scheduler::published: 0,62 schedFixed::scheduler::publishedBy: Set(),63 schedFixed::scheduler::seq: 0,64 schedFixed::scheduler::stolen: false,65 schedFixed::scheduler::ws:66 Map(67 "w1" ->68 {69 attached: Set(),70 built: false,71 expecting: false,72 lease: -1,73 running: false,74 session: true,75 up: true76 },77 "w2" ->78 {79 attached: Set(),80 built: false,81 expecting: false,82 lease: -1,83 running: false,84 session: true,85 up: true86 }87 )88}8990[State 2]91{92 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),93 schedFixed::scheduler::crashes: 0,94 schedFixed::scheduler::entry: [],95 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),96 schedFixed::scheduler::mAssigned: Set(),97 schedFixed::scheduler::mBuild: Set(),98 schedFixed::scheduler::mDone: Set(),99 schedFixed::scheduler::mExpect: Set(),100 schedFixed::scheduler::mResult: Set(),101 schedFixed::scheduler::mRetry: Set(),102 schedFixed::scheduler::mRevoke: Set(),103 schedFixed::scheduler::mSchedule: Set("c1", "c2"),104 schedFixed::scheduler::published: 0,105 schedFixed::scheduler::publishedBy: Set(),106 schedFixed::scheduler::seq: 0,107 schedFixed::scheduler::stolen: false,108 schedFixed::scheduler::ws:109 Map(110 "w1" ->111 {112 attached: Set(),113 built: false,114 expecting: false,115 lease: -1,116 running: false,117 session: true,118 up: true119 },120 "w2" ->121 {122 attached: Set(),123 built: false,124 expecting: false,125 lease: -1,126 running: false,127 session: true,128 up: true129 }130 )131}132133[State 3]134{135 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),136 schedFixed::scheduler::crashes: 0,137 schedFixed::scheduler::entry:138 [{ followers: Set("c1"), lease: 1, leased: true, worker: "w2" }],139 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),140 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),141 schedFixed::scheduler::mBuild: Set(),142 schedFixed::scheduler::mDone: Set(),143 schedFixed::scheduler::mExpect: Set(("w2", 1)),144 schedFixed::scheduler::mResult: Set(),145 schedFixed::scheduler::mRetry: Set(),146 schedFixed::scheduler::mRevoke: Set(),147 schedFixed::scheduler::mSchedule: Set("c2"),148 schedFixed::scheduler::published: 0,149 schedFixed::scheduler::publishedBy: Set(),150 schedFixed::scheduler::seq: 1,151 schedFixed::scheduler::stolen: false,152 schedFixed::scheduler::ws:153 Map(154 "w1" ->155 {156 attached: Set(),157 built: false,158 expecting: false,159 lease: -1,160 running: false,161 session: true,162 up: true163 },164 "w2" ->165 {166 attached: Set(),167 built: false,168 expecting: false,169 lease: -1,170 running: false,171 session: true,172 up: true173 }174 )175}176177[State 4]178{179 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),180 schedFixed::scheduler::crashes: 1,181 schedFixed::scheduler::entry: [],182 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),183 schedFixed::scheduler::mAssigned: Set(),184 schedFixed::scheduler::mBuild: Set(),185 schedFixed::scheduler::mDone: Set(),186 schedFixed::scheduler::mExpect: Set(),187 schedFixed::scheduler::mResult: Set(),188 schedFixed::scheduler::mRetry: Set("c1", "c2"),189 schedFixed::scheduler::mRevoke: Set(),190 schedFixed::scheduler::mSchedule: Set(),191 schedFixed::scheduler::published: 0,192 schedFixed::scheduler::publishedBy: Set(),193 schedFixed::scheduler::seq: 1,194 schedFixed::scheduler::stolen: false,195 schedFixed::scheduler::ws:196 Map(197 "w1" ->198 {199 attached: Set(),200 built: false,201 expecting: false,202 lease: -1,203 running: false,204 session: false,205 up: true206 },207 "w2" ->208 {209 attached: Set(),210 built: false,211 expecting: false,212 lease: -1,213 running: false,214 session: false,215 up: true216 }217 )218}219220[State 5]221{222 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),223 schedFixed::scheduler::crashes: 2,224 schedFixed::scheduler::entry: [],225 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),226 schedFixed::scheduler::mAssigned: Set(),227 schedFixed::scheduler::mBuild: Set(),228 schedFixed::scheduler::mDone: Set(),229 schedFixed::scheduler::mExpect: Set(),230 schedFixed::scheduler::mResult: Set(),231 schedFixed::scheduler::mRetry: Set("c1", "c2"),232 schedFixed::scheduler::mRevoke: Set(),233 schedFixed::scheduler::mSchedule: Set(),234 schedFixed::scheduler::published: 0,235 schedFixed::scheduler::publishedBy: Set(),236 schedFixed::scheduler::seq: 1,237 schedFixed::scheduler::stolen: false,238 schedFixed::scheduler::ws:239 Map(240 "w1" ->241 {242 attached: Set(),243 built: false,244 expecting: false,245 lease: -1,246 running: false,247 session: false,248 up: true249 },250 "w2" ->251 {252 attached: Set(),253 built: false,254 expecting: false,255 lease: -1,256 running: false,257 session: false,258 up: false259 }260 )261}262263[State 6]264{265 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),266 schedFixed::scheduler::crashes: 2,267 schedFixed::scheduler::entry: [],268 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),269 schedFixed::scheduler::mAssigned: Set(),270 schedFixed::scheduler::mBuild: Set(),271 schedFixed::scheduler::mDone: Set(),272 schedFixed::scheduler::mExpect: Set(),273 schedFixed::scheduler::mResult: Set(),274 schedFixed::scheduler::mRetry: Set("c1", "c2"),275 schedFixed::scheduler::mRevoke: Set(),276 schedFixed::scheduler::mSchedule: Set(),277 schedFixed::scheduler::published: 0,278 schedFixed::scheduler::publishedBy: Set(),279 schedFixed::scheduler::seq: 1,280 schedFixed::scheduler::stolen: false,281 schedFixed::scheduler::ws:282 Map(283 "w1" ->284 {285 attached: Set(),286 built: false,287 expecting: false,288 lease: -1,289 running: false,290 session: false,291 up: true292 },293 "w2" ->294 {295 attached: Set(),296 built: false,297 expecting: false,298 lease: -1,299 running: false,300 session: true,301 up: true302 }303 )304}305306[State 7]307{308 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),309 schedFixed::scheduler::crashes: 2,310 schedFixed::scheduler::entry: [],311 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),312 schedFixed::scheduler::mAssigned: Set(),313 schedFixed::scheduler::mBuild: Set(),314 schedFixed::scheduler::mDone: Set(),315 schedFixed::scheduler::mExpect: Set(),316 schedFixed::scheduler::mResult: Set(),317 schedFixed::scheduler::mRetry: Set("c2"),318 schedFixed::scheduler::mRevoke: Set(),319 schedFixed::scheduler::mSchedule: Set("c1"),320 schedFixed::scheduler::published: 0,321 schedFixed::scheduler::publishedBy: Set(),322 schedFixed::scheduler::seq: 1,323 schedFixed::scheduler::stolen: false,324 schedFixed::scheduler::ws:325 Map(326 "w1" ->327 {328 attached: Set(),329 built: false,330 expecting: false,331 lease: -1,332 running: false,333 session: false,334 up: true335 },336 "w2" ->337 {338 attached: Set(),339 built: false,340 expecting: false,341 lease: -1,342 running: false,343 session: true,344 up: true345 }346 )347}348349[State 8]350{351 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),352 schedFixed::scheduler::crashes: 2,353 schedFixed::scheduler::entry: [],354 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),355 schedFixed::scheduler::mAssigned: Set(),356 schedFixed::scheduler::mBuild: Set(),357 schedFixed::scheduler::mDone: Set(),358 schedFixed::scheduler::mExpect: Set(),359 schedFixed::scheduler::mResult: Set(),360 schedFixed::scheduler::mRetry: Set("c2"),361 schedFixed::scheduler::mRevoke: Set(),362 schedFixed::scheduler::mSchedule: Set("c1"),363 schedFixed::scheduler::published: 0,364 schedFixed::scheduler::publishedBy: Set(),365 schedFixed::scheduler::seq: 1,366 schedFixed::scheduler::stolen: false,367 schedFixed::scheduler::ws:368 Map(369 "w1" ->370 {371 attached: Set(),372 built: false,373 expecting: false,374 lease: -1,375 running: false,376 session: true,377 up: true378 },379 "w2" ->380 {381 attached: Set(),382 built: false,383 expecting: false,384 lease: -1,385 running: false,386 session: true,387 up: true388 }389 )390}391392[State 9]393{394 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),395 schedFixed::scheduler::crashes: 2,396 schedFixed::scheduler::entry: [],397 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),398 schedFixed::scheduler::mAssigned: Set(),399 schedFixed::scheduler::mBuild: Set(),400 schedFixed::scheduler::mDone: Set(),401 schedFixed::scheduler::mExpect: Set(),402 schedFixed::scheduler::mResult: Set(),403 schedFixed::scheduler::mRetry: Set(),404 schedFixed::scheduler::mRevoke: Set(),405 schedFixed::scheduler::mSchedule: Set("c1", "c2"),406 schedFixed::scheduler::published: 0,407 schedFixed::scheduler::publishedBy: Set(),408 schedFixed::scheduler::seq: 1,409 schedFixed::scheduler::stolen: false,410 schedFixed::scheduler::ws:411 Map(412 "w1" ->413 {414 attached: Set(),415 built: false,416 expecting: false,417 lease: -1,418 running: false,419 session: true,420 up: true421 },422 "w2" ->423 {424 attached: Set(),425 built: false,426 expecting: false,427 lease: -1,428 running: false,429 session: true,430 up: true431 }432 )433}434435[State 10]436{437 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),438 schedFixed::scheduler::crashes: 2,439 schedFixed::scheduler::entry:440 [{ followers: Set("c1"), lease: 2, leased: true, worker: "w2" }],441 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),442 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),443 schedFixed::scheduler::mBuild: Set(),444 schedFixed::scheduler::mDone: Set(),445 schedFixed::scheduler::mExpect: Set(("w2", 2)),446 schedFixed::scheduler::mResult: Set(),447 schedFixed::scheduler::mRetry: Set(),448 schedFixed::scheduler::mRevoke: Set(),449 schedFixed::scheduler::mSchedule: Set("c2"),450 schedFixed::scheduler::published: 0,451 schedFixed::scheduler::publishedBy: Set(),452 schedFixed::scheduler::seq: 2,453 schedFixed::scheduler::stolen: false,454 schedFixed::scheduler::ws:455 Map(456 "w1" ->457 {458 attached: Set(),459 built: false,460 expecting: false,461 lease: -1,462 running: false,463 session: true,464 up: true465 },466 "w2" ->467 {468 attached: Set(),469 built: false,470 expecting: false,471 lease: -1,472 running: false,473 session: true,474 up: true475 }476 )477}478479[State 11]480{481 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),482 schedFixed::scheduler::crashes: 2,483 schedFixed::scheduler::entry:484 [{ followers: Set("c1"), lease: 2, leased: true, worker: "w2" }],485 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),486 schedFixed::scheduler::mAssigned: Set(),487 schedFixed::scheduler::mBuild: Set(("c1", "w2")),488 schedFixed::scheduler::mDone: Set(),489 schedFixed::scheduler::mExpect: Set(("w2", 2)),490 schedFixed::scheduler::mResult: Set(),491 schedFixed::scheduler::mRetry: Set(),492 schedFixed::scheduler::mRevoke: Set(),493 schedFixed::scheduler::mSchedule: Set("c2"),494 schedFixed::scheduler::published: 0,495 schedFixed::scheduler::publishedBy: Set(),496 schedFixed::scheduler::seq: 2,497 schedFixed::scheduler::stolen: false,498 schedFixed::scheduler::ws:499 Map(500 "w1" ->501 {502 attached: Set(),503 built: false,504 expecting: false,505 lease: -1,506 running: false,507 session: true,508 up: true509 },510 "w2" ->511 {512 attached: Set(),513 built: false,514 expecting: false,515 lease: -1,516 running: false,517 session: true,518 up: true519 }520 )521}522523[State 12]524{525 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),526 schedFixed::scheduler::crashes: 2,527 schedFixed::scheduler::entry:528 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],529 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),530 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),531 schedFixed::scheduler::mBuild: Set(("c1", "w2")),532 schedFixed::scheduler::mDone: Set(),533 schedFixed::scheduler::mExpect: Set(("w2", 2)),534 schedFixed::scheduler::mResult: Set(),535 schedFixed::scheduler::mRetry: Set(),536 schedFixed::scheduler::mRevoke: Set(),537 schedFixed::scheduler::mSchedule: Set(),538 schedFixed::scheduler::published: 0,539 schedFixed::scheduler::publishedBy: Set(),540 schedFixed::scheduler::seq: 2,541 schedFixed::scheduler::stolen: false,542 schedFixed::scheduler::ws:543 Map(544 "w1" ->545 {546 attached: Set(),547 built: false,548 expecting: false,549 lease: -1,550 running: false,551 session: true,552 up: true553 },554 "w2" ->555 {556 attached: Set(),557 built: false,558 expecting: false,559 lease: -1,560 running: false,561 session: true,562 up: true563 }564 )565}566567[State 13]568{569 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),570 schedFixed::scheduler::crashes: 2,571 schedFixed::scheduler::entry:572 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],573 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),574 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),575 schedFixed::scheduler::mBuild: Set(),576 schedFixed::scheduler::mDone: Set(),577 schedFixed::scheduler::mExpect: Set(("w2", 2)),578 schedFixed::scheduler::mResult: Set(),579 schedFixed::scheduler::mRetry: Set("c1"),580 schedFixed::scheduler::mRevoke: Set(),581 schedFixed::scheduler::mSchedule: Set(),582 schedFixed::scheduler::published: 0,583 schedFixed::scheduler::publishedBy: Set(),584 schedFixed::scheduler::seq: 2,585 schedFixed::scheduler::stolen: false,586 schedFixed::scheduler::ws:587 Map(588 "w1" ->589 {590 attached: Set(),591 built: false,592 expecting: false,593 lease: -1,594 running: false,595 session: true,596 up: true597 },598 "w2" ->599 {600 attached: Set(),601 built: false,602 expecting: false,603 lease: -1,604 running: false,605 session: true,606 up: true607 }608 )609}610611[State 14]612{613 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),614 schedFixed::scheduler::crashes: 2,615 schedFixed::scheduler::entry:616 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],617 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),618 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),619 schedFixed::scheduler::mBuild: Set(),620 schedFixed::scheduler::mDone: Set(),621 schedFixed::scheduler::mExpect: Set(("w2", 2)),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::seq: 2,629 schedFixed::scheduler::stolen: false,630 schedFixed::scheduler::ws:631 Map(632 "w1" ->633 {634 attached: Set(),635 built: false,636 expecting: false,637 lease: -1,638 running: false,639 session: true,640 up: true641 },642 "w2" ->643 {644 attached: Set(),645 built: false,646 expecting: false,647 lease: -1,648 running: false,649 session: true,650 up: true651 }652 )653}654655[State 15]656{657 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),658 schedFixed::scheduler::crashes: 2,659 schedFixed::scheduler::entry:660 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],661 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),662 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),663 schedFixed::scheduler::mBuild: Set(),664 schedFixed::scheduler::mDone: Set(),665 schedFixed::scheduler::mExpect: Set(("w2", 2)),666 schedFixed::scheduler::mResult: Set(),667 schedFixed::scheduler::mRetry: Set(),668 schedFixed::scheduler::mRevoke: Set(),669 schedFixed::scheduler::mSchedule: Set(),670 schedFixed::scheduler::published: 0,671 schedFixed::scheduler::publishedBy: Set(),672 schedFixed::scheduler::seq: 2,673 schedFixed::scheduler::stolen: false,674 schedFixed::scheduler::ws:675 Map(676 "w1" ->677 {678 attached: Set(),679 built: false,680 expecting: false,681 lease: -1,682 running: false,683 session: true,684 up: true685 },686 "w2" ->687 {688 attached: Set(),689 built: false,690 expecting: false,691 lease: -1,692 running: false,693 session: true,694 up: true695 }696 )697}698699[State 16]700{701 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),702 schedFixed::scheduler::crashes: 2,703 schedFixed::scheduler::entry:704 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],705 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),706 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),707 schedFixed::scheduler::mBuild: Set(),708 schedFixed::scheduler::mDone: Set(),709 schedFixed::scheduler::mExpect: Set(),710 schedFixed::scheduler::mResult: Set(),711 schedFixed::scheduler::mRetry: Set(),712 schedFixed::scheduler::mRevoke: Set(),713 schedFixed::scheduler::mSchedule: Set(),714 schedFixed::scheduler::published: 0,715 schedFixed::scheduler::publishedBy: Set(),716 schedFixed::scheduler::seq: 2,717 schedFixed::scheduler::stolen: false,718 schedFixed::scheduler::ws:719 Map(720 "w1" ->721 {722 attached: Set(),723 built: false,724 expecting: false,725 lease: -1,726 running: false,727 session: true,728 up: true729 },730 "w2" ->731 {732 attached: Set(),733 built: false,734 expecting: true,735 lease: 2,736 running: false,737 session: true,738 up: true739 }740 )741}742743[State 17]744{745 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),746 schedFixed::scheduler::crashes: 2,747 schedFixed::scheduler::entry:748 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],749 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),750 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),751 schedFixed::scheduler::mBuild: Set(("c1", "w2")),752 schedFixed::scheduler::mDone: Set(),753 schedFixed::scheduler::mExpect: Set(),754 schedFixed::scheduler::mResult: Set(),755 schedFixed::scheduler::mRetry: Set(),756 schedFixed::scheduler::mRevoke: Set(),757 schedFixed::scheduler::mSchedule: Set(),758 schedFixed::scheduler::published: 0,759 schedFixed::scheduler::publishedBy: Set(),760 schedFixed::scheduler::seq: 2,761 schedFixed::scheduler::stolen: false,762 schedFixed::scheduler::ws:763 Map(764 "w1" ->765 {766 attached: Set(),767 built: false,768 expecting: false,769 lease: -1,770 running: false,771 session: true,772 up: true773 },774 "w2" ->775 {776 attached: Set(),777 built: false,778 expecting: true,779 lease: 2,780 running: false,781 session: true,782 up: true783 }784 )785}786787[State 18]788{789 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),790 schedFixed::scheduler::crashes: 2,791 schedFixed::scheduler::entry:792 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],793 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),794 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),795 schedFixed::scheduler::mBuild: Set(("c1", "w2")),796 schedFixed::scheduler::mDone: Set(("w2", 2)),797 schedFixed::scheduler::mExpect: Set(),798 schedFixed::scheduler::mResult: Set(),799 schedFixed::scheduler::mRetry: Set(),800 schedFixed::scheduler::mRevoke: Set(),801 schedFixed::scheduler::mSchedule: Set(),802 schedFixed::scheduler::published: 0,803 schedFixed::scheduler::publishedBy: Set(),804 schedFixed::scheduler::seq: 2,805 schedFixed::scheduler::stolen: false,806 schedFixed::scheduler::ws:807 Map(808 "w1" ->809 {810 attached: Set(),811 built: false,812 expecting: false,813 lease: -1,814 running: false,815 session: true,816 up: true817 },818 "w2" ->819 {820 attached: Set(),821 built: false,822 expecting: false,823 lease: -1,824 running: false,825 session: true,826 up: true827 }828 )829}830831[State 19]832{833 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),834 schedFixed::scheduler::crashes: 2,835 schedFixed::scheduler::entry:836 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],837 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),838 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),839 schedFixed::scheduler::mBuild: Set(),840 schedFixed::scheduler::mDone: Set(("w2", 2)),841 schedFixed::scheduler::mExpect: Set(),842 schedFixed::scheduler::mResult: Set(),843 schedFixed::scheduler::mRetry: Set("c1"),844 schedFixed::scheduler::mRevoke: Set(),845 schedFixed::scheduler::mSchedule: Set(),846 schedFixed::scheduler::published: 0,847 schedFixed::scheduler::publishedBy: Set(),848 schedFixed::scheduler::seq: 2,849 schedFixed::scheduler::stolen: false,850 schedFixed::scheduler::ws:851 Map(852 "w1" ->853 {854 attached: Set(),855 built: false,856 expecting: false,857 lease: -1,858 running: false,859 session: true,860 up: true861 },862 "w2" ->863 {864 attached: Set(),865 built: false,866 expecting: false,867 lease: -1,868 running: false,869 session: true,870 up: true871 }872 )873}874875[State 20]876{877 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),878 schedFixed::scheduler::crashes: 2,879 schedFixed::scheduler::entry:880 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],881 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),882 schedFixed::scheduler::mAssigned: Set(),883 schedFixed::scheduler::mBuild: Set(("c2", "w2")),884 schedFixed::scheduler::mDone: Set(("w2", 2)),885 schedFixed::scheduler::mExpect: Set(),886 schedFixed::scheduler::mResult: Set(),887 schedFixed::scheduler::mRetry: Set("c1"),888 schedFixed::scheduler::mRevoke: Set(),889 schedFixed::scheduler::mSchedule: Set(),890 schedFixed::scheduler::published: 0,891 schedFixed::scheduler::publishedBy: Set(),892 schedFixed::scheduler::seq: 2,893 schedFixed::scheduler::stolen: false,894 schedFixed::scheduler::ws:895 Map(896 "w1" ->897 {898 attached: Set(),899 built: false,900 expecting: false,901 lease: -1,902 running: false,903 session: true,904 up: true905 },906 "w2" ->907 {908 attached: Set(),909 built: false,910 expecting: false,911 lease: -1,912 running: false,913 session: true,914 up: true915 }916 )917}918919[State 21]920{921 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),922 schedFixed::scheduler::crashes: 2,923 schedFixed::scheduler::entry:924 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],925 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),926 schedFixed::scheduler::mAssigned: Set(),927 schedFixed::scheduler::mBuild: Set(),928 schedFixed::scheduler::mDone: Set(("w2", 2)),929 schedFixed::scheduler::mExpect: Set(),930 schedFixed::scheduler::mResult: Set(),931 schedFixed::scheduler::mRetry: Set("c1", "c2"),932 schedFixed::scheduler::mRevoke: Set(),933 schedFixed::scheduler::mSchedule: Set(),934 schedFixed::scheduler::published: 0,935 schedFixed::scheduler::publishedBy: Set(),936 schedFixed::scheduler::seq: 2,937 schedFixed::scheduler::stolen: false,938 schedFixed::scheduler::ws:939 Map(940 "w1" ->941 {942 attached: Set(),943 built: false,944 expecting: false,945 lease: -1,946 running: false,947 session: true,948 up: true949 },950 "w2" ->951 {952 attached: Set(),953 built: false,954 expecting: false,955 lease: -1,956 running: false,957 session: true,958 up: true959 }960 )961}962963[State 22]964{965 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),966 schedFixed::scheduler::crashes: 2,967 schedFixed::scheduler::entry:968 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],969 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),970 schedFixed::scheduler::mAssigned: Set(),971 schedFixed::scheduler::mBuild: Set(),972 schedFixed::scheduler::mDone: Set(("w2", 2)),973 schedFixed::scheduler::mExpect: Set(),974 schedFixed::scheduler::mResult: Set(),975 schedFixed::scheduler::mRetry: Set("c1"),976 schedFixed::scheduler::mRevoke: Set(),977 schedFixed::scheduler::mSchedule: Set("c2"),978 schedFixed::scheduler::published: 0,979 schedFixed::scheduler::publishedBy: Set(),980 schedFixed::scheduler::seq: 2,981 schedFixed::scheduler::stolen: false,982 schedFixed::scheduler::ws:983 Map(984 "w1" ->985 {986 attached: Set(),987 built: false,988 expecting: false,989 lease: -1,990 running: false,991 session: true,992 up: true993 },994 "w2" ->995 {996 attached: Set(),997 built: false,998 expecting: false,999 lease: -1,1000 running: false,1001 session: true,1002 up: true1003 }1004 )1005}10061007[State 23]1008{1009 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1010 schedFixed::scheduler::crashes: 2,1011 schedFixed::scheduler::entry:1012 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],1013 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1014 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1015 schedFixed::scheduler::mBuild: Set(),1016 schedFixed::scheduler::mDone: Set(("w2", 2)),1017 schedFixed::scheduler::mExpect: Set(),1018 schedFixed::scheduler::mResult: Set(),1019 schedFixed::scheduler::mRetry: Set("c1"),1020 schedFixed::scheduler::mRevoke: Set(),1021 schedFixed::scheduler::mSchedule: Set(),1022 schedFixed::scheduler::published: 0,1023 schedFixed::scheduler::publishedBy: Set(),1024 schedFixed::scheduler::seq: 2,1025 schedFixed::scheduler::stolen: false,1026 schedFixed::scheduler::ws:1027 Map(1028 "w1" ->1029 {1030 attached: Set(),1031 built: false,1032 expecting: false,1033 lease: -1,1034 running: false,1035 session: true,1036 up: true1037 },1038 "w2" ->1039 {1040 attached: Set(),1041 built: false,1042 expecting: false,1043 lease: -1,1044 running: false,1045 session: true,1046 up: true1047 }1048 )1049}10501051[State 24]1052{1053 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),1054 schedFixed::scheduler::crashes: 2,1055 schedFixed::scheduler::entry:1056 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],1057 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1058 schedFixed::scheduler::mAssigned: Set(),1059 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1060 schedFixed::scheduler::mDone: Set(("w2", 2)),1061 schedFixed::scheduler::mExpect: Set(),1062 schedFixed::scheduler::mResult: Set(),1063 schedFixed::scheduler::mRetry: Set("c1"),1064 schedFixed::scheduler::mRevoke: Set(),1065 schedFixed::scheduler::mSchedule: Set(),1066 schedFixed::scheduler::published: 0,1067 schedFixed::scheduler::publishedBy: Set(),1068 schedFixed::scheduler::seq: 2,1069 schedFixed::scheduler::stolen: false,1070 schedFixed::scheduler::ws:1071 Map(1072 "w1" ->1073 {1074 attached: Set(),1075 built: false,1076 expecting: false,1077 lease: -1,1078 running: false,1079 session: true,1080 up: true1081 },1082 "w2" ->1083 {1084 attached: Set(),1085 built: false,1086 expecting: false,1087 lease: -1,1088 running: false,1089 session: true,1090 up: true1091 }1092 )1093}10941095[State 25]1096{1097 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1098 schedFixed::scheduler::crashes: 2,1099 schedFixed::scheduler::entry:1100 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],1101 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1102 schedFixed::scheduler::mAssigned: Set(),1103 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1104 schedFixed::scheduler::mDone: Set(("w2", 2)),1105 schedFixed::scheduler::mExpect: Set(),1106 schedFixed::scheduler::mResult: Set(),1107 schedFixed::scheduler::mRetry: Set(),1108 schedFixed::scheduler::mRevoke: Set(),1109 schedFixed::scheduler::mSchedule: Set("c1"),1110 schedFixed::scheduler::published: 0,1111 schedFixed::scheduler::publishedBy: Set(),1112 schedFixed::scheduler::seq: 2,1113 schedFixed::scheduler::stolen: false,1114 schedFixed::scheduler::ws:1115 Map(1116 "w1" ->1117 {1118 attached: Set(),1119 built: false,1120 expecting: false,1121 lease: -1,1122 running: false,1123 session: true,1124 up: true1125 },1126 "w2" ->1127 {1128 attached: Set(),1129 built: false,1130 expecting: false,1131 lease: -1,1132 running: false,1133 session: true,1134 up: true1135 }1136 )1137}11381139[State 26]1140{1141 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1142 schedFixed::scheduler::crashes: 2,1143 schedFixed::scheduler::entry:1144 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],1145 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1146 schedFixed::scheduler::mAssigned: Set(),1147 schedFixed::scheduler::mBuild: Set(),1148 schedFixed::scheduler::mDone: Set(("w2", 2)),1149 schedFixed::scheduler::mExpect: Set(),1150 schedFixed::scheduler::mResult: Set(),1151 schedFixed::scheduler::mRetry: Set("c2"),1152 schedFixed::scheduler::mRevoke: Set(),1153 schedFixed::scheduler::mSchedule: Set("c1"),1154 schedFixed::scheduler::published: 0,1155 schedFixed::scheduler::publishedBy: Set(),1156 schedFixed::scheduler::seq: 2,1157 schedFixed::scheduler::stolen: false,1158 schedFixed::scheduler::ws:1159 Map(1160 "w1" ->1161 {1162 attached: Set(),1163 built: false,1164 expecting: false,1165 lease: -1,1166 running: false,1167 session: true,1168 up: true1169 },1170 "w2" ->1171 {1172 attached: Set(),1173 built: false,1174 expecting: false,1175 lease: -1,1176 running: false,1177 session: true,1178 up: true1179 }1180 )1181}11821183[State 27]1184{1185 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1186 schedFixed::scheduler::crashes: 2,1187 schedFixed::scheduler::entry:1188 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],1189 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1190 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1191 schedFixed::scheduler::mBuild: Set(),1192 schedFixed::scheduler::mDone: Set(("w2", 2)),1193 schedFixed::scheduler::mExpect: Set(),1194 schedFixed::scheduler::mResult: Set(),1195 schedFixed::scheduler::mRetry: Set("c2"),1196 schedFixed::scheduler::mRevoke: Set(),1197 schedFixed::scheduler::mSchedule: Set(),1198 schedFixed::scheduler::published: 0,1199 schedFixed::scheduler::publishedBy: Set(),1200 schedFixed::scheduler::seq: 2,1201 schedFixed::scheduler::stolen: false,1202 schedFixed::scheduler::ws:1203 Map(1204 "w1" ->1205 {1206 attached: Set(),1207 built: false,1208 expecting: false,1209 lease: -1,1210 running: false,1211 session: true,1212 up: true1213 },1214 "w2" ->1215 {1216 attached: Set(),1217 built: false,1218 expecting: false,1219 lease: -1,1220 running: false,1221 session: true,1222 up: true1223 }1224 )1225}12261227[State 28]1228{1229 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1230 schedFixed::scheduler::crashes: 2,1231 schedFixed::scheduler::entry:1232 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],1233 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1234 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),1235 schedFixed::scheduler::mBuild: Set(),1236 schedFixed::scheduler::mDone: Set(("w2", 2)),1237 schedFixed::scheduler::mExpect: Set(),1238 schedFixed::scheduler::mResult: Set(),1239 schedFixed::scheduler::mRetry: Set(),1240 schedFixed::scheduler::mRevoke: Set(),1241 schedFixed::scheduler::mSchedule: Set("c2"),1242 schedFixed::scheduler::published: 0,1243 schedFixed::scheduler::publishedBy: Set(),1244 schedFixed::scheduler::seq: 2,1245 schedFixed::scheduler::stolen: false,1246 schedFixed::scheduler::ws:1247 Map(1248 "w1" ->1249 {1250 attached: Set(),1251 built: false,1252 expecting: false,1253 lease: -1,1254 running: false,1255 session: true,1256 up: true1257 },1258 "w2" ->1259 {1260 attached: Set(),1261 built: false,1262 expecting: false,1263 lease: -1,1264 running: false,1265 session: true,1266 up: true1267 }1268 )1269}12701271[State 29]1272{1273 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1274 schedFixed::scheduler::crashes: 2,1275 schedFixed::scheduler::entry:1276 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],1277 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1278 schedFixed::scheduler::mAssigned: Set(),1279 schedFixed::scheduler::mBuild: Set(("c1", "w2")),1280 schedFixed::scheduler::mDone: Set(("w2", 2)),1281 schedFixed::scheduler::mExpect: Set(),1282 schedFixed::scheduler::mResult: Set(),1283 schedFixed::scheduler::mRetry: Set(),1284 schedFixed::scheduler::mRevoke: Set(),1285 schedFixed::scheduler::mSchedule: Set("c2"),1286 schedFixed::scheduler::published: 0,1287 schedFixed::scheduler::publishedBy: Set(),1288 schedFixed::scheduler::seq: 2,1289 schedFixed::scheduler::stolen: false,1290 schedFixed::scheduler::ws:1291 Map(1292 "w1" ->1293 {1294 attached: Set(),1295 built: false,1296 expecting: false,1297 lease: -1,1298 running: false,1299 session: true,1300 up: true1301 },1302 "w2" ->1303 {1304 attached: Set(),1305 built: false,1306 expecting: false,1307 lease: -1,1308 running: false,1309 session: true,1310 up: true1311 }1312 )1313}13141315[State 30]1316{1317 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1318 schedFixed::scheduler::crashes: 2,1319 schedFixed::scheduler::entry:1320 [{ followers: Set("c1", "c2"), lease: 2, leased: true, worker: "w2" }],1321 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),1322 schedFixed::scheduler::mAssigned: Set(),1323 schedFixed::scheduler::mBuild: Set(),1324 schedFixed::scheduler::mDone: Set(("w2", 2)),1325 schedFixed::scheduler::mExpect: Set(),1326 schedFixed::scheduler::mResult: Set(),1327 schedFixed::scheduler::mRetry: Set("c1"),1328 schedFixed::scheduler::mRevoke: Set(),1329 schedFixed::scheduler::mSchedule: Set("c2"),1330 schedFixed::scheduler::published: 0,1331 schedFixed::scheduler::publishedBy: Set(),1332 schedFixed::scheduler::seq: 2,1333 schedFixed::scheduler::stolen: false,1334 schedFixed::scheduler::ws:1335 Map(1336 "w1" ->1337 {1338 attached: Set(),1339 built: false,1340 expecting: false,1341 lease: -1,1342 running: false,1343 session: true,1344 up: true1345 },1346 "w2" ->1347 {1348 attached: Set(),1349 built: false,1350 expecting: false,1351 lease: -1,1352 running: false,1353 session: true,1354 up: true1355 }1356 )1357}13581359[ok] No violation found (4796ms at 6255 traces/second).1360Trace length statistics: max=31, min=16, average=28.841361You may increase --max-samples and --max-steps.1362Use --verbosity to produce more (or less) output.1363Use --seed=0x713b84fb244cb36a --backend=rust to reproduce.1364An example execution:13651366[State 0]1367{1368 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1369 schedNoPush::scheduler::crashes: 0,1370 schedNoPush::scheduler::entry: [],1371 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1372 schedNoPush::scheduler::mAssigned: Set(),1373 schedNoPush::scheduler::mBuild: Set(),1374 schedNoPush::scheduler::mDone: Set(),1375 schedNoPush::scheduler::mExpect: Set(),1376 schedNoPush::scheduler::mResult: Set(),1377 schedNoPush::scheduler::mRetry: Set(),1378 schedNoPush::scheduler::mRevoke: Set(),1379 schedNoPush::scheduler::mSchedule: Set(),1380 schedNoPush::scheduler::published: 0,1381 schedNoPush::scheduler::publishedBy: Set(),1382 schedNoPush::scheduler::seq: 0,1383 schedNoPush::scheduler::stolen: false,1384 schedNoPush::scheduler::ws:1385 Map(1386 "w1" ->1387 {1388 attached: Set(),1389 built: false,1390 expecting: false,1391 lease: -1,1392 running: false,1393 session: true,1394 up: true1395 },1396 "w2" ->1397 {1398 attached: Set(),1399 built: false,1400 expecting: false,1401 lease: -1,1402 running: false,1403 session: true,1404 up: true1405 }1406 )1407}14081409[State 1]1410{1411 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1412 schedNoPush::scheduler::crashes: 0,1413 schedNoPush::scheduler::entry: [],1414 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1415 schedNoPush::scheduler::mAssigned: Set(),1416 schedNoPush::scheduler::mBuild: Set(),1417 schedNoPush::scheduler::mDone: Set(),1418 schedNoPush::scheduler::mExpect: Set(),1419 schedNoPush::scheduler::mResult: Set(),1420 schedNoPush::scheduler::mRetry: Set(),1421 schedNoPush::scheduler::mRevoke: Set(),1422 schedNoPush::scheduler::mSchedule: Set("c1"),1423 schedNoPush::scheduler::published: 0,1424 schedNoPush::scheduler::publishedBy: Set(),1425 schedNoPush::scheduler::seq: 0,1426 schedNoPush::scheduler::stolen: false,1427 schedNoPush::scheduler::ws:1428 Map(1429 "w1" ->1430 {1431 attached: Set(),1432 built: false,1433 expecting: false,1434 lease: -1,1435 running: false,1436 session: true,1437 up: true1438 },1439 "w2" ->1440 {1441 attached: Set(),1442 built: false,1443 expecting: false,1444 lease: -1,1445 running: false,1446 session: true,1447 up: true1448 }1449 )1450}14511452[State 2]1453{1454 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1455 schedNoPush::scheduler::crashes: 0,1456 schedNoPush::scheduler::entry:1457 [{ followers: Set("c1"), lease: 1, leased: true, worker: "w2" }],1458 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),1459 schedNoPush::scheduler::mAssigned: Set(("c1", "w2")),1460 schedNoPush::scheduler::mBuild: Set(),1461 schedNoPush::scheduler::mDone: Set(),1462 schedNoPush::scheduler::mExpect: Set(),1463 schedNoPush::scheduler::mResult: Set(),1464 schedNoPush::scheduler::mRetry: Set(),1465 schedNoPush::scheduler::mRevoke: Set(),1466 schedNoPush::scheduler::mSchedule: Set(),1467 schedNoPush::scheduler::published: 0,1468 schedNoPush::scheduler::publishedBy: Set(),1469 schedNoPush::scheduler::seq: 1,1470 schedNoPush::scheduler::stolen: false,1471 schedNoPush::scheduler::ws:1472 Map(1473 "w1" ->1474 {1475 attached: Set(),1476 built: false,1477 expecting: false,1478 lease: -1,1479 running: false,1480 session: true,1481 up: true1482 },1483 "w2" ->1484 {1485 attached: Set(),1486 built: false,1487 expecting: false,1488 lease: -1,1489 running: false,1490 session: true,1491 up: true1492 }1493 )1494}14951496[State 3]1497{1498 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),1499 schedNoPush::scheduler::crashes: 0,1500 schedNoPush::scheduler::entry:1501 [{ followers: Set("c1"), lease: 1, leased: true, worker: "w2" }],1502 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),1503 schedNoPush::scheduler::mAssigned: Set(),1504 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),1505 schedNoPush::scheduler::mDone: Set(),1506 schedNoPush::scheduler::mExpect: Set(),1507 schedNoPush::scheduler::mResult: Set(),1508 schedNoPush::scheduler::mRetry: Set(),1509 schedNoPush::scheduler::mRevoke: Set(),1510 schedNoPush::scheduler::mSchedule: Set(),1511 schedNoPush::scheduler::published: 0,1512 schedNoPush::scheduler::publishedBy: Set(),1513 schedNoPush::scheduler::seq: 1,1514 schedNoPush::scheduler::stolen: false,1515 schedNoPush::scheduler::ws:1516 Map(1517 "w1" ->1518 {1519 attached: Set(),1520 built: false,1521 expecting: false,1522 lease: -1,1523 running: false,1524 session: true,1525 up: true1526 },1527 "w2" ->1528 {1529 attached: Set(),1530 built: false,1531 expecting: false,1532 lease: -1,1533 running: false,1534 session: true,1535 up: true1536 }1537 )1538}15391540[State 4]1541{1542 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),1543 schedNoPush::scheduler::crashes: 1,1544 schedNoPush::scheduler::entry:1545 [{ followers: Set("c1"), lease: 1, leased: true, worker: "w2" }],1546 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),1547 schedNoPush::scheduler::mAssigned: Set(),1548 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),1549 schedNoPush::scheduler::mDone: Set(),1550 schedNoPush::scheduler::mExpect: Set(),1551 schedNoPush::scheduler::mResult: Set(),1552 schedNoPush::scheduler::mRetry: Set(),1553 schedNoPush::scheduler::mRevoke: Set(),1554 schedNoPush::scheduler::mSchedule: Set(),1555 schedNoPush::scheduler::published: 0,1556 schedNoPush::scheduler::publishedBy: Set(),1557 schedNoPush::scheduler::seq: 1,1558 schedNoPush::scheduler::stolen: false,1559 schedNoPush::scheduler::ws:1560 Map(1561 "w1" ->1562 {1563 attached: Set(),1564 built: false,1565 expecting: false,1566 lease: -1,1567 running: false,1568 session: true,1569 up: true1570 },1571 "w2" ->1572 {1573 attached: Set(),1574 built: false,1575 expecting: false,1576 lease: -1,1577 running: false,1578 session: false,1579 up: false1580 }1581 )1582}15831584[State 5]1585{1586 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),1587 schedNoPush::scheduler::crashes: 2,1588 schedNoPush::scheduler::entry: [],1589 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1590 schedNoPush::scheduler::mAssigned: Set(),1591 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),1592 schedNoPush::scheduler::mDone: Set(),1593 schedNoPush::scheduler::mExpect: Set(),1594 schedNoPush::scheduler::mResult: Set(),1595 schedNoPush::scheduler::mRetry: Set(),1596 schedNoPush::scheduler::mRevoke: Set(),1597 schedNoPush::scheduler::mSchedule: Set(),1598 schedNoPush::scheduler::published: 0,1599 schedNoPush::scheduler::publishedBy: Set(),1600 schedNoPush::scheduler::seq: 1,1601 schedNoPush::scheduler::stolen: false,1602 schedNoPush::scheduler::ws:1603 Map(1604 "w1" ->1605 {1606 attached: Set(),1607 built: false,1608 expecting: false,1609 lease: -1,1610 running: false,1611 session: false,1612 up: true1613 },1614 "w2" ->1615 {1616 attached: Set(),1617 built: false,1618 expecting: false,1619 lease: -1,1620 running: false,1621 session: false,1622 up: false1623 }1624 )1625}16261627[State 6]1628{1629 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),1630 schedNoPush::scheduler::crashes: 2,1631 schedNoPush::scheduler::entry: [],1632 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1633 schedNoPush::scheduler::mAssigned: Set(),1634 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),1635 schedNoPush::scheduler::mDone: Set(),1636 schedNoPush::scheduler::mExpect: Set(),1637 schedNoPush::scheduler::mResult: Set(),1638 schedNoPush::scheduler::mRetry: Set(),1639 schedNoPush::scheduler::mRevoke: Set(),1640 schedNoPush::scheduler::mSchedule: Set(),1641 schedNoPush::scheduler::published: 0,1642 schedNoPush::scheduler::publishedBy: Set(),1643 schedNoPush::scheduler::seq: 1,1644 schedNoPush::scheduler::stolen: false,1645 schedNoPush::scheduler::ws:1646 Map(1647 "w1" ->1648 {1649 attached: Set(),1650 built: false,1651 expecting: false,1652 lease: -1,1653 running: false,1654 session: false,1655 up: true1656 },1657 "w2" ->1658 {1659 attached: Set(),1660 built: false,1661 expecting: false,1662 lease: -1,1663 running: false,1664 session: true,1665 up: true1666 }1667 )1668}16691670[State 7]1671{1672 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1673 schedNoPush::scheduler::crashes: 2,1674 schedNoPush::scheduler::entry: [],1675 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1676 schedNoPush::scheduler::mAssigned: Set(),1677 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),1678 schedNoPush::scheduler::mDone: Set(),1679 schedNoPush::scheduler::mExpect: Set(),1680 schedNoPush::scheduler::mResult: Set(),1681 schedNoPush::scheduler::mRetry: Set(),1682 schedNoPush::scheduler::mRevoke: Set(),1683 schedNoPush::scheduler::mSchedule: Set("c2"),1684 schedNoPush::scheduler::published: 0,1685 schedNoPush::scheduler::publishedBy: Set(),1686 schedNoPush::scheduler::seq: 1,1687 schedNoPush::scheduler::stolen: false,1688 schedNoPush::scheduler::ws:1689 Map(1690 "w1" ->1691 {1692 attached: Set(),1693 built: false,1694 expecting: false,1695 lease: -1,1696 running: false,1697 session: false,1698 up: true1699 },1700 "w2" ->1701 {1702 attached: Set(),1703 built: false,1704 expecting: false,1705 lease: -1,1706 running: false,1707 session: true,1708 up: true1709 }1710 )1711}17121713[State 8]1714{1715 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1716 schedNoPush::scheduler::crashes: 2,1717 schedNoPush::scheduler::entry: [],1718 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1719 schedNoPush::scheduler::mAssigned: Set(),1720 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),1721 schedNoPush::scheduler::mDone: Set(),1722 schedNoPush::scheduler::mExpect: Set(),1723 schedNoPush::scheduler::mResult: Set(),1724 schedNoPush::scheduler::mRetry: Set(),1725 schedNoPush::scheduler::mRevoke: Set(),1726 schedNoPush::scheduler::mSchedule: Set("c2"),1727 schedNoPush::scheduler::published: 0,1728 schedNoPush::scheduler::publishedBy: Set(),1729 schedNoPush::scheduler::seq: 1,1730 schedNoPush::scheduler::stolen: false,1731 schedNoPush::scheduler::ws:1732 Map(1733 "w1" ->1734 {1735 attached: Set(),1736 built: false,1737 expecting: false,1738 lease: -1,1739 running: false,1740 session: true,1741 up: true1742 },1743 "w2" ->1744 {1745 attached: Set(),1746 built: false,1747 expecting: false,1748 lease: -1,1749 running: false,1750 session: true,1751 up: true1752 }1753 )1754}17551756[State 9]1757{1758 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1759 schedNoPush::scheduler::crashes: 2,1760 schedNoPush::scheduler::entry: [],1761 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1762 schedNoPush::scheduler::mAssigned: Set(),1763 schedNoPush::scheduler::mBuild: Set(),1764 schedNoPush::scheduler::mDone: Set(),1765 schedNoPush::scheduler::mExpect: Set(),1766 schedNoPush::scheduler::mResult: Set(),1767 schedNoPush::scheduler::mRetry: Set(),1768 schedNoPush::scheduler::mRevoke: Set(),1769 schedNoPush::scheduler::mSchedule: Set("c2"),1770 schedNoPush::scheduler::published: 0,1771 schedNoPush::scheduler::publishedBy: Set(),1772 schedNoPush::scheduler::seq: 1,1773 schedNoPush::scheduler::stolen: false,1774 schedNoPush::scheduler::ws:1775 Map(1776 "w1" ->1777 {1778 attached: Set(),1779 built: false,1780 expecting: false,1781 lease: -1,1782 running: false,1783 session: true,1784 up: true1785 },1786 "w2" ->1787 {1788 attached: Set("c1"),1789 built: false,1790 expecting: false,1791 lease: -1,1792 running: true,1793 session: true,1794 up: true1795 }1796 )1797}17981799[violation] Found an issue (214ms at 4164 traces/second).1800Use --verbosity=3 to show executions.1801Use --seed=0xce4cc3fcb5a16ee6 --backend=rust to reproduce.1802error: Invariant violated1803An example execution:18041805[State 0]1806{1807 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1808 schedTerminal::scheduler::crashes: 0,1809 schedTerminal::scheduler::entry: [],1810 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1811 schedTerminal::scheduler::mAssigned: Set(),1812 schedTerminal::scheduler::mBuild: Set(),1813 schedTerminal::scheduler::mDone: Set(),1814 schedTerminal::scheduler::mExpect: Set(),1815 schedTerminal::scheduler::mResult: Set(),1816 schedTerminal::scheduler::mRetry: Set(),1817 schedTerminal::scheduler::mRevoke: Set(),1818 schedTerminal::scheduler::mSchedule: Set(),1819 schedTerminal::scheduler::published: 0,1820 schedTerminal::scheduler::publishedBy: Set(),1821 schedTerminal::scheduler::seq: 0,1822 schedTerminal::scheduler::stolen: false,1823 schedTerminal::scheduler::ws:1824 Map(1825 "w1" ->1826 {1827 attached: Set(),1828 built: false,1829 expecting: false,1830 lease: -1,1831 running: false,1832 session: true,1833 up: true1834 },1835 "w2" ->1836 {1837 attached: Set(),1838 built: false,1839 expecting: false,1840 lease: -1,1841 running: false,1842 session: true,1843 up: true1844 }1845 )1846}18471848[State 1]1849{1850 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1851 schedTerminal::scheduler::crashes: 1,1852 schedTerminal::scheduler::entry: [],1853 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1854 schedTerminal::scheduler::mAssigned: Set(),1855 schedTerminal::scheduler::mBuild: Set(),1856 schedTerminal::scheduler::mDone: Set(),1857 schedTerminal::scheduler::mExpect: Set(),1858 schedTerminal::scheduler::mResult: Set(),1859 schedTerminal::scheduler::mRetry: Set(),1860 schedTerminal::scheduler::mRevoke: Set(),1861 schedTerminal::scheduler::mSchedule: Set(),1862 schedTerminal::scheduler::published: 0,1863 schedTerminal::scheduler::publishedBy: Set(),1864 schedTerminal::scheduler::seq: 0,1865 schedTerminal::scheduler::stolen: false,1866 schedTerminal::scheduler::ws:1867 Map(1868 "w1" ->1869 {1870 attached: Set(),1871 built: false,1872 expecting: false,1873 lease: -1,1874 running: false,1875 session: false,1876 up: true1877 },1878 "w2" ->1879 {1880 attached: Set(),1881 built: false,1882 expecting: false,1883 lease: -1,1884 running: false,1885 session: false,1886 up: true1887 }1888 )1889}18901891[State 2]1892{1893 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1894 schedTerminal::scheduler::crashes: 1,1895 schedTerminal::scheduler::entry: [],1896 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1897 schedTerminal::scheduler::mAssigned: Set(),1898 schedTerminal::scheduler::mBuild: Set(),1899 schedTerminal::scheduler::mDone: Set(),1900 schedTerminal::scheduler::mExpect: Set(),1901 schedTerminal::scheduler::mResult: Set(),1902 schedTerminal::scheduler::mRetry: Set(),1903 schedTerminal::scheduler::mRevoke: Set(),1904 schedTerminal::scheduler::mSchedule: Set("c1"),1905 schedTerminal::scheduler::published: 0,1906 schedTerminal::scheduler::publishedBy: Set(),1907 schedTerminal::scheduler::seq: 0,1908 schedTerminal::scheduler::stolen: false,1909 schedTerminal::scheduler::ws:1910 Map(1911 "w1" ->1912 {1913 attached: Set(),1914 built: false,1915 expecting: false,1916 lease: -1,1917 running: false,1918 session: false,1919 up: true1920 },1921 "w2" ->1922 {1923 attached: Set(),1924 built: false,1925 expecting: false,1926 lease: -1,1927 running: false,1928 session: false,1929 up: true1930 }1931 )1932}19331934[State 3]1935{1936 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),1937 schedTerminal::scheduler::crashes: 1,1938 schedTerminal::scheduler::entry: [],1939 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1940 schedTerminal::scheduler::mAssigned: Set(),1941 schedTerminal::scheduler::mBuild: Set(),1942 schedTerminal::scheduler::mDone: Set(),1943 schedTerminal::scheduler::mExpect: Set(),1944 schedTerminal::scheduler::mResult: Set(),1945 schedTerminal::scheduler::mRetry: Set(),1946 schedTerminal::scheduler::mRevoke: Set(),1947 schedTerminal::scheduler::mSchedule: Set(),1948 schedTerminal::scheduler::published: 0,1949 schedTerminal::scheduler::publishedBy: Set(),1950 schedTerminal::scheduler::seq: 0,1951 schedTerminal::scheduler::stolen: false,1952 schedTerminal::scheduler::ws:1953 Map(1954 "w1" ->1955 {1956 attached: Set(),1957 built: false,1958 expecting: false,1959 lease: -1,1960 running: false,1961 session: false,1962 up: true1963 },1964 "w2" ->1965 {1966 attached: Set(),1967 built: false,1968 expecting: false,1969 lease: -1,1970 running: false,1971 session: false,1972 up: true1973 }1974 )1975}19761977[violation] Found an issue (45ms at 1333 traces/second).1978Use --verbosity=3 to show executions.1979Use --seed=0x6db99a1abbf0397a --backend=rust to reproduce.1980error: Invariant violated19811982 schedFixed1983 ok schedFixed::scheduler::dupBuildTest passed 100 test(s)1984 ok schedFixed::scheduler::helloStealTest passed 100 test(s)1985 ok schedFixed::scheduler::staleDoneTest passed 100 test(s)19861987 3 passing (99ms)19881989 schedNoRevoke1990 ok schedNoRevoke::scheduler::dupBuildTest passed 100 test(s)19911992 1 passing (36ms)19931994 schedNoFence1995 ok schedNoFence::scheduler::dupBuildTest passed 100 test(s)19961997 1 passing (38ms)19981999 schedNoReport2000 ok schedNoReport::scheduler::dupBuildTest passed 100 test(s)20012002 1 passing (37ms)20032004 schedHelloSteal2005 ok schedHelloSteal::scheduler::helloStealTest passed 100 test(s)20062007 1 passing (33ms)20082009 schedNoLease2010 ok schedNoLease::scheduler::staleDoneTest passed 100 test(s)20112012 1 passing (39ms)2013An example execution:20142015[State 0]2016{2017 pushFixed::push::byPath: Map(),2018 pushFixed::push::inflight: Set(),2019 pushFixed::push::left: Map(),2020 pushFixed::push::sent: Map()2021}20222023[State 1]2024{2025 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),2026 pushFixed::push::inflight: Set((1, "a"), (1, "b")),2027 pushFixed::push::left: Map(1 -> 2),2028 pushFixed::push::sent: Map(1 -> Set("a", "b"))2029}20302031[State 2]2032{2033 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),2034 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "a"), (3, "b")),2035 pushFixed::push::left: Map(1 -> 2, 3 -> 2),2036 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))2037}20382039[State 3]2040{2041 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),2042 pushFixed::push::inflight:2043 Set((1, "a"), (1, "b"), (2, "a"), (2, "b"), (3, "a"), (3, "b")),2044 pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 2),2045 pushFixed::push::sent:2046 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))2047}20482049[State 4]2050{2051 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),2052 pushFixed::push::inflight:2053 Set((1, "a"), (2, "a"), (2, "b"), (3, "a"), (3, "b")),2054 pushFixed::push::left: Map(1 -> 1, 2 -> 2, 3 -> 2),2055 pushFixed::push::sent:2056 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))2057}20582059[State 5]2060{2061 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),2062 pushFixed::push::inflight: Set((1, "a"), (2, "a"), (3, "a"), (3, "b")),2063 pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 2),2064 pushFixed::push::sent:2065 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))2066}20672068[State 6]2069{2070 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),2071 pushFixed::push::inflight: Set((1, "a"), (2, "a"), (3, "b")),2072 pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 1),2073 pushFixed::push::sent:2074 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))2075}20762077[State 7]2078{2079 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),2080 pushFixed::push::inflight: Set((1, "a"), (3, "b")),2081 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 1),2082 pushFixed::push::sent:2083 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))2084}20852086[State 8]2087{2088 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),2089 pushFixed::push::inflight: Set((3, "b")),2090 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 1),2091 pushFixed::push::sent:2092 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))2093}20942095[State 9]2096{2097 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),2098 pushFixed::push::inflight: Set(),2099 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),2100 pushFixed::push::sent:2101 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))2102}21032104[ok] No violation found (136ms at 147059 traces/second).2105Trace length statistics: max=10, min=7, average=8.012106You may increase --max-samples and --max-steps.2107Use --verbosity to produce more (or less) output.2108Use --seed=0x3e78d0e381a457a6 --backend=rust to reproduce.