nixbot

builds
sign in

nix-grpc-store-spec checks.aarch64-linux.spec · build #876 · 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::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" -> CIdle),50 schedFixed::scheduler::crashes: 1,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(),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: false,75 up: true76 },77 "w2" ->78 {79 attached: Set(),80 built: false,81 expecting: false,82 lease: -1,83 running: false,84 session: false,85 up: true86 }87 )88}8990[State 2]91{92 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),93 schedFixed::scheduler::crashes: 2,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(),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: false,118 up: true119 },120 "w2" ->121 {122 attached: Set(),123 built: false,124 expecting: false,125 lease: -1,126 running: false,127 session: false,128 up: true129 }130 )131}132133[State 3]134{135 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),136 schedFixed::scheduler::crashes: 2,137 schedFixed::scheduler::entry: [],138 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),139 schedFixed::scheduler::mAssigned: Set(),140 schedFixed::scheduler::mBuild: Set(),141 schedFixed::scheduler::mDone: Set(),142 schedFixed::scheduler::mExpect: Set(),143 schedFixed::scheduler::mResult: Set(),144 schedFixed::scheduler::mRetry: Set(),145 schedFixed::scheduler::mRevoke: Set(),146 schedFixed::scheduler::mSchedule: Set(),147 schedFixed::scheduler::published: 0,148 schedFixed::scheduler::publishedBy: Set(),149 schedFixed::scheduler::seq: 0,150 schedFixed::scheduler::stolen: false,151 schedFixed::scheduler::ws:152 Map(153 "w1" ->154 {155 attached: Set(),156 built: false,157 expecting: false,158 lease: -1,159 running: false,160 session: true,161 up: true162 },163 "w2" ->164 {165 attached: Set(),166 built: false,167 expecting: false,168 lease: -1,169 running: false,170 session: false,171 up: true172 }173 )174}175176[State 4]177{178 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),179 schedFixed::scheduler::crashes: 2,180 schedFixed::scheduler::entry: [],181 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),182 schedFixed::scheduler::mAssigned: Set(),183 schedFixed::scheduler::mBuild: Set(),184 schedFixed::scheduler::mDone: Set(),185 schedFixed::scheduler::mExpect: Set(),186 schedFixed::scheduler::mResult: Set(),187 schedFixed::scheduler::mRetry: Set(),188 schedFixed::scheduler::mRevoke: Set(),189 schedFixed::scheduler::mSchedule: Set(),190 schedFixed::scheduler::published: 0,191 schedFixed::scheduler::publishedBy: Set(),192 schedFixed::scheduler::seq: 0,193 schedFixed::scheduler::stolen: false,194 schedFixed::scheduler::ws:195 Map(196 "w1" ->197 {198 attached: Set(),199 built: false,200 expecting: false,201 lease: -1,202 running: false,203 session: true,204 up: true205 },206 "w2" ->207 {208 attached: Set(),209 built: false,210 expecting: false,211 lease: -1,212 running: false,213 session: true,214 up: true215 }216 )217}218219[State 5]220{221 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),222 schedFixed::scheduler::crashes: 2,223 schedFixed::scheduler::entry: [],224 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),225 schedFixed::scheduler::mAssigned: Set(),226 schedFixed::scheduler::mBuild: Set(),227 schedFixed::scheduler::mDone: Set(),228 schedFixed::scheduler::mExpect: Set(),229 schedFixed::scheduler::mResult: Set(),230 schedFixed::scheduler::mRetry: Set(),231 schedFixed::scheduler::mRevoke: Set(),232 schedFixed::scheduler::mSchedule: Set("c2"),233 schedFixed::scheduler::published: 0,234 schedFixed::scheduler::publishedBy: Set(),235 schedFixed::scheduler::seq: 0,236 schedFixed::scheduler::stolen: false,237 schedFixed::scheduler::ws:238 Map(239 "w1" ->240 {241 attached: Set(),242 built: false,243 expecting: false,244 lease: -1,245 running: false,246 session: true,247 up: true248 },249 "w2" ->250 {251 attached: Set(),252 built: false,253 expecting: false,254 lease: -1,255 running: false,256 session: true,257 up: true258 }259 )260}261262[State 6]263{264 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),265 schedFixed::scheduler::crashes: 2,266 schedFixed::scheduler::entry:267 [{ followers: Set("c2"), lease: 1, leased: true, worker: "w1" }],268 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),269 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),270 schedFixed::scheduler::mBuild: Set(),271 schedFixed::scheduler::mDone: Set(),272 schedFixed::scheduler::mExpect: Set(("w1", 1)),273 schedFixed::scheduler::mResult: Set(),274 schedFixed::scheduler::mRetry: Set(),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: true,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 [{ followers: Set("c2"), lease: 1, leased: true, worker: "w1" }],312 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),313 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),314 schedFixed::scheduler::mBuild: Set(),315 schedFixed::scheduler::mDone: Set(),316 schedFixed::scheduler::mExpect: Set(("w1", 1)),317 schedFixed::scheduler::mResult: Set(),318 schedFixed::scheduler::mRetry: Set(),319 schedFixed::scheduler::mRevoke: Set(),320 schedFixed::scheduler::mSchedule: Set("c1"),321 schedFixed::scheduler::published: 0,322 schedFixed::scheduler::publishedBy: Set(),323 schedFixed::scheduler::seq: 1,324 schedFixed::scheduler::stolen: false,325 schedFixed::scheduler::ws:326 Map(327 "w1" ->328 {329 attached: Set(),330 built: false,331 expecting: false,332 lease: -1,333 running: false,334 session: true,335 up: true336 },337 "w2" ->338 {339 attached: Set(),340 built: false,341 expecting: false,342 lease: -1,343 running: false,344 session: true,345 up: true346 }347 )348}349350[State 8]351{352 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),353 schedFixed::scheduler::crashes: 2,354 schedFixed::scheduler::entry:355 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],356 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),357 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),358 schedFixed::scheduler::mBuild: Set(),359 schedFixed::scheduler::mDone: Set(),360 schedFixed::scheduler::mExpect: Set(("w1", 1)),361 schedFixed::scheduler::mResult: Set(),362 schedFixed::scheduler::mRetry: Set(),363 schedFixed::scheduler::mRevoke: Set(),364 schedFixed::scheduler::mSchedule: Set(),365 schedFixed::scheduler::published: 0,366 schedFixed::scheduler::publishedBy: Set(),367 schedFixed::scheduler::seq: 1,368 schedFixed::scheduler::stolen: false,369 schedFixed::scheduler::ws:370 Map(371 "w1" ->372 {373 attached: Set(),374 built: false,375 expecting: false,376 lease: -1,377 running: false,378 session: true,379 up: true380 },381 "w2" ->382 {383 attached: Set(),384 built: false,385 expecting: false,386 lease: -1,387 running: false,388 session: true,389 up: true390 }391 )392}393394[State 9]395{396 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),397 schedFixed::scheduler::crashes: 2,398 schedFixed::scheduler::entry:399 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],400 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),401 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),402 schedFixed::scheduler::mBuild: Set(("c2", "w1")),403 schedFixed::scheduler::mDone: Set(),404 schedFixed::scheduler::mExpect: Set(("w1", 1)),405 schedFixed::scheduler::mResult: Set(),406 schedFixed::scheduler::mRetry: Set(),407 schedFixed::scheduler::mRevoke: Set(),408 schedFixed::scheduler::mSchedule: Set(),409 schedFixed::scheduler::published: 0,410 schedFixed::scheduler::publishedBy: Set(),411 schedFixed::scheduler::seq: 1,412 schedFixed::scheduler::stolen: false,413 schedFixed::scheduler::ws:414 Map(415 "w1" ->416 {417 attached: Set(),418 built: false,419 expecting: false,420 lease: -1,421 running: false,422 session: true,423 up: true424 },425 "w2" ->426 {427 attached: Set(),428 built: false,429 expecting: false,430 lease: -1,431 running: false,432 session: true,433 up: true434 }435 )436}437438[State 10]439{440 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),441 schedFixed::scheduler::crashes: 2,442 schedFixed::scheduler::entry:443 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],444 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),445 schedFixed::scheduler::mAssigned: Set(),446 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),447 schedFixed::scheduler::mDone: Set(),448 schedFixed::scheduler::mExpect: Set(("w1", 1)),449 schedFixed::scheduler::mResult: Set(),450 schedFixed::scheduler::mRetry: Set(),451 schedFixed::scheduler::mRevoke: Set(),452 schedFixed::scheduler::mSchedule: Set(),453 schedFixed::scheduler::published: 0,454 schedFixed::scheduler::publishedBy: Set(),455 schedFixed::scheduler::seq: 1,456 schedFixed::scheduler::stolen: false,457 schedFixed::scheduler::ws:458 Map(459 "w1" ->460 {461 attached: Set(),462 built: false,463 expecting: false,464 lease: -1,465 running: false,466 session: true,467 up: true468 },469 "w2" ->470 {471 attached: Set(),472 built: false,473 expecting: false,474 lease: -1,475 running: false,476 session: true,477 up: true478 }479 )480}481482[State 11]483{484 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),485 schedFixed::scheduler::crashes: 2,486 schedFixed::scheduler::entry:487 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],488 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),489 schedFixed::scheduler::mAssigned: Set(),490 schedFixed::scheduler::mBuild: Set(("c2", "w1")),491 schedFixed::scheduler::mDone: Set(),492 schedFixed::scheduler::mExpect: Set(("w1", 1)),493 schedFixed::scheduler::mResult: Set(),494 schedFixed::scheduler::mRetry: Set("c1"),495 schedFixed::scheduler::mRevoke: Set(),496 schedFixed::scheduler::mSchedule: Set(),497 schedFixed::scheduler::published: 0,498 schedFixed::scheduler::publishedBy: Set(),499 schedFixed::scheduler::seq: 1,500 schedFixed::scheduler::stolen: false,501 schedFixed::scheduler::ws:502 Map(503 "w1" ->504 {505 attached: Set(),506 built: false,507 expecting: false,508 lease: -1,509 running: false,510 session: true,511 up: true512 },513 "w2" ->514 {515 attached: Set(),516 built: false,517 expecting: false,518 lease: -1,519 running: false,520 session: true,521 up: true522 }523 )524}525526[State 12]527{528 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),529 schedFixed::scheduler::crashes: 2,530 schedFixed::scheduler::entry:531 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],532 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),533 schedFixed::scheduler::mAssigned: Set(),534 schedFixed::scheduler::mBuild: Set(("c2", "w1")),535 schedFixed::scheduler::mDone: Set(),536 schedFixed::scheduler::mExpect: Set(("w1", 1)),537 schedFixed::scheduler::mResult: Set(),538 schedFixed::scheduler::mRetry: Set(),539 schedFixed::scheduler::mRevoke: Set(),540 schedFixed::scheduler::mSchedule: Set("c1"),541 schedFixed::scheduler::published: 0,542 schedFixed::scheduler::publishedBy: Set(),543 schedFixed::scheduler::seq: 1,544 schedFixed::scheduler::stolen: false,545 schedFixed::scheduler::ws:546 Map(547 "w1" ->548 {549 attached: Set(),550 built: false,551 expecting: false,552 lease: -1,553 running: false,554 session: true,555 up: true556 },557 "w2" ->558 {559 attached: Set(),560 built: false,561 expecting: false,562 lease: -1,563 running: false,564 session: true,565 up: true566 }567 )568}569570[State 13]571{572 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),573 schedFixed::scheduler::crashes: 2,574 schedFixed::scheduler::entry:575 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],576 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),577 schedFixed::scheduler::mAssigned: Set(),578 schedFixed::scheduler::mBuild: Set(),579 schedFixed::scheduler::mDone: Set(),580 schedFixed::scheduler::mExpect: Set(("w1", 1)),581 schedFixed::scheduler::mResult: Set(),582 schedFixed::scheduler::mRetry: Set("c2"),583 schedFixed::scheduler::mRevoke: Set(),584 schedFixed::scheduler::mSchedule: Set("c1"),585 schedFixed::scheduler::published: 0,586 schedFixed::scheduler::publishedBy: Set(),587 schedFixed::scheduler::seq: 1,588 schedFixed::scheduler::stolen: false,589 schedFixed::scheduler::ws:590 Map(591 "w1" ->592 {593 attached: Set(),594 built: false,595 expecting: false,596 lease: -1,597 running: false,598 session: true,599 up: true600 },601 "w2" ->602 {603 attached: Set(),604 built: false,605 expecting: false,606 lease: -1,607 running: false,608 session: true,609 up: true610 }611 )612}613614[State 14]615{616 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),617 schedFixed::scheduler::crashes: 2,618 schedFixed::scheduler::entry:619 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],620 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),621 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),622 schedFixed::scheduler::mBuild: Set(),623 schedFixed::scheduler::mDone: Set(),624 schedFixed::scheduler::mExpect: Set(("w1", 1)),625 schedFixed::scheduler::mResult: Set(),626 schedFixed::scheduler::mRetry: Set("c2"),627 schedFixed::scheduler::mRevoke: Set(),628 schedFixed::scheduler::mSchedule: Set(),629 schedFixed::scheduler::published: 0,630 schedFixed::scheduler::publishedBy: Set(),631 schedFixed::scheduler::seq: 1,632 schedFixed::scheduler::stolen: false,633 schedFixed::scheduler::ws:634 Map(635 "w1" ->636 {637 attached: Set(),638 built: false,639 expecting: false,640 lease: -1,641 running: false,642 session: true,643 up: true644 },645 "w2" ->646 {647 attached: Set(),648 built: false,649 expecting: false,650 lease: -1,651 running: false,652 session: true,653 up: true654 }655 )656}657658[State 15]659{660 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),661 schedFixed::scheduler::crashes: 2,662 schedFixed::scheduler::entry:663 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],664 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),665 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),666 schedFixed::scheduler::mBuild: Set(),667 schedFixed::scheduler::mDone: Set(),668 schedFixed::scheduler::mExpect: Set(("w1", 1)),669 schedFixed::scheduler::mResult: Set(),670 schedFixed::scheduler::mRetry: Set(),671 schedFixed::scheduler::mRevoke: Set(),672 schedFixed::scheduler::mSchedule: Set("c2"),673 schedFixed::scheduler::published: 0,674 schedFixed::scheduler::publishedBy: Set(),675 schedFixed::scheduler::seq: 1,676 schedFixed::scheduler::stolen: false,677 schedFixed::scheduler::ws:678 Map(679 "w1" ->680 {681 attached: Set(),682 built: false,683 expecting: false,684 lease: -1,685 running: false,686 session: true,687 up: true688 },689 "w2" ->690 {691 attached: Set(),692 built: false,693 expecting: false,694 lease: -1,695 running: false,696 session: true,697 up: true698 }699 )700}701702[State 16]703{704 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),705 schedFixed::scheduler::crashes: 2,706 schedFixed::scheduler::entry:707 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],708 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),709 schedFixed::scheduler::mAssigned: Set(),710 schedFixed::scheduler::mBuild: Set(("c1", "w1")),711 schedFixed::scheduler::mDone: Set(),712 schedFixed::scheduler::mExpect: Set(("w1", 1)),713 schedFixed::scheduler::mResult: Set(),714 schedFixed::scheduler::mRetry: Set(),715 schedFixed::scheduler::mRevoke: Set(),716 schedFixed::scheduler::mSchedule: Set("c2"),717 schedFixed::scheduler::published: 0,718 schedFixed::scheduler::publishedBy: Set(),719 schedFixed::scheduler::seq: 1,720 schedFixed::scheduler::stolen: false,721 schedFixed::scheduler::ws:722 Map(723 "w1" ->724 {725 attached: Set(),726 built: false,727 expecting: false,728 lease: -1,729 running: false,730 session: true,731 up: true732 },733 "w2" ->734 {735 attached: Set(),736 built: false,737 expecting: false,738 lease: -1,739 running: false,740 session: true,741 up: true742 }743 )744}745746[State 17]747{748 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),749 schedFixed::scheduler::crashes: 2,750 schedFixed::scheduler::entry:751 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],752 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),753 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),754 schedFixed::scheduler::mBuild: Set(("c1", "w1")),755 schedFixed::scheduler::mDone: Set(),756 schedFixed::scheduler::mExpect: Set(("w1", 1)),757 schedFixed::scheduler::mResult: Set(),758 schedFixed::scheduler::mRetry: Set(),759 schedFixed::scheduler::mRevoke: Set(),760 schedFixed::scheduler::mSchedule: Set(),761 schedFixed::scheduler::published: 0,762 schedFixed::scheduler::publishedBy: Set(),763 schedFixed::scheduler::seq: 1,764 schedFixed::scheduler::stolen: false,765 schedFixed::scheduler::ws:766 Map(767 "w1" ->768 {769 attached: Set(),770 built: false,771 expecting: false,772 lease: -1,773 running: false,774 session: true,775 up: true776 },777 "w2" ->778 {779 attached: Set(),780 built: false,781 expecting: false,782 lease: -1,783 running: false,784 session: true,785 up: true786 }787 )788}789790[State 18]791{792 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),793 schedFixed::scheduler::crashes: 2,794 schedFixed::scheduler::entry:795 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],796 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),797 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),798 schedFixed::scheduler::mBuild: Set(),799 schedFixed::scheduler::mDone: Set(),800 schedFixed::scheduler::mExpect: Set(("w1", 1)),801 schedFixed::scheduler::mResult: Set(),802 schedFixed::scheduler::mRetry: Set("c1"),803 schedFixed::scheduler::mRevoke: Set(),804 schedFixed::scheduler::mSchedule: Set(),805 schedFixed::scheduler::published: 0,806 schedFixed::scheduler::publishedBy: Set(),807 schedFixed::scheduler::seq: 1,808 schedFixed::scheduler::stolen: false,809 schedFixed::scheduler::ws:810 Map(811 "w1" ->812 {813 attached: Set(),814 built: false,815 expecting: false,816 lease: -1,817 running: false,818 session: true,819 up: true820 },821 "w2" ->822 {823 attached: Set(),824 built: false,825 expecting: false,826 lease: -1,827 running: false,828 session: true,829 up: true830 }831 )832}833834[State 19]835{836 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),837 schedFixed::scheduler::crashes: 2,838 schedFixed::scheduler::entry:839 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],840 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),841 schedFixed::scheduler::mAssigned: Set(),842 schedFixed::scheduler::mBuild: Set(("c2", "w1")),843 schedFixed::scheduler::mDone: Set(),844 schedFixed::scheduler::mExpect: Set(("w1", 1)),845 schedFixed::scheduler::mResult: Set(),846 schedFixed::scheduler::mRetry: Set("c1"),847 schedFixed::scheduler::mRevoke: Set(),848 schedFixed::scheduler::mSchedule: Set(),849 schedFixed::scheduler::published: 0,850 schedFixed::scheduler::publishedBy: Set(),851 schedFixed::scheduler::seq: 1,852 schedFixed::scheduler::stolen: false,853 schedFixed::scheduler::ws:854 Map(855 "w1" ->856 {857 attached: Set(),858 built: false,859 expecting: false,860 lease: -1,861 running: false,862 session: true,863 up: true864 },865 "w2" ->866 {867 attached: Set(),868 built: false,869 expecting: false,870 lease: -1,871 running: false,872 session: true,873 up: true874 }875 )876}877878[State 20]879{880 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),881 schedFixed::scheduler::crashes: 2,882 schedFixed::scheduler::entry:883 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],884 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),885 schedFixed::scheduler::mAssigned: Set(),886 schedFixed::scheduler::mBuild: Set(),887 schedFixed::scheduler::mDone: Set(),888 schedFixed::scheduler::mExpect: Set(("w1", 1)),889 schedFixed::scheduler::mResult: Set(),890 schedFixed::scheduler::mRetry: Set("c1", "c2"),891 schedFixed::scheduler::mRevoke: Set(),892 schedFixed::scheduler::mSchedule: Set(),893 schedFixed::scheduler::published: 0,894 schedFixed::scheduler::publishedBy: Set(),895 schedFixed::scheduler::seq: 1,896 schedFixed::scheduler::stolen: false,897 schedFixed::scheduler::ws:898 Map(899 "w1" ->900 {901 attached: Set(),902 built: false,903 expecting: false,904 lease: -1,905 running: false,906 session: true,907 up: true908 },909 "w2" ->910 {911 attached: Set(),912 built: false,913 expecting: false,914 lease: -1,915 running: false,916 session: true,917 up: true918 }919 )920}921922[State 21]923{924 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),925 schedFixed::scheduler::crashes: 2,926 schedFixed::scheduler::entry:927 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],928 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),929 schedFixed::scheduler::mAssigned: Set(),930 schedFixed::scheduler::mBuild: Set(),931 schedFixed::scheduler::mDone: Set(),932 schedFixed::scheduler::mExpect: Set(("w1", 1)),933 schedFixed::scheduler::mResult: Set(),934 schedFixed::scheduler::mRetry: Set("c2"),935 schedFixed::scheduler::mRevoke: Set(),936 schedFixed::scheduler::mSchedule: Set("c1"),937 schedFixed::scheduler::published: 0,938 schedFixed::scheduler::publishedBy: Set(),939 schedFixed::scheduler::seq: 1,940 schedFixed::scheduler::stolen: false,941 schedFixed::scheduler::ws:942 Map(943 "w1" ->944 {945 attached: Set(),946 built: false,947 expecting: false,948 lease: -1,949 running: false,950 session: true,951 up: true952 },953 "w2" ->954 {955 attached: Set(),956 built: false,957 expecting: false,958 lease: -1,959 running: false,960 session: true,961 up: true962 }963 )964}965966[State 22]967{968 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),969 schedFixed::scheduler::crashes: 2,970 schedFixed::scheduler::entry:971 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],972 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),973 schedFixed::scheduler::mAssigned: Set(),974 schedFixed::scheduler::mBuild: Set(),975 schedFixed::scheduler::mDone: Set(),976 schedFixed::scheduler::mExpect: Set(("w1", 1)),977 schedFixed::scheduler::mResult: Set(),978 schedFixed::scheduler::mRetry: Set(),979 schedFixed::scheduler::mRevoke: Set(),980 schedFixed::scheduler::mSchedule: Set("c1", "c2"),981 schedFixed::scheduler::published: 0,982 schedFixed::scheduler::publishedBy: Set(),983 schedFixed::scheduler::seq: 1,984 schedFixed::scheduler::stolen: false,985 schedFixed::scheduler::ws:986 Map(987 "w1" ->988 {989 attached: Set(),990 built: false,991 expecting: false,992 lease: -1,993 running: false,994 session: true,995 up: true996 },997 "w2" ->998 {999 attached: Set(),1000 built: false,1001 expecting: false,1002 lease: -1,1003 running: false,1004 session: true,1005 up: true1006 }1007 )1008}10091010[State 23]1011{1012 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1013 schedFixed::scheduler::crashes: 2,1014 schedFixed::scheduler::entry:1015 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],1016 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1017 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1018 schedFixed::scheduler::mBuild: Set(),1019 schedFixed::scheduler::mDone: Set(),1020 schedFixed::scheduler::mExpect: Set(("w1", 1)),1021 schedFixed::scheduler::mResult: Set(),1022 schedFixed::scheduler::mRetry: Set(),1023 schedFixed::scheduler::mRevoke: Set(),1024 schedFixed::scheduler::mSchedule: Set("c1"),1025 schedFixed::scheduler::published: 0,1026 schedFixed::scheduler::publishedBy: Set(),1027 schedFixed::scheduler::seq: 1,1028 schedFixed::scheduler::stolen: false,1029 schedFixed::scheduler::ws:1030 Map(1031 "w1" ->1032 {1033 attached: Set(),1034 built: false,1035 expecting: false,1036 lease: -1,1037 running: false,1038 session: true,1039 up: true1040 },1041 "w2" ->1042 {1043 attached: Set(),1044 built: false,1045 expecting: false,1046 lease: -1,1047 running: false,1048 session: true,1049 up: true1050 }1051 )1052}10531054[State 24]1055{1056 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1057 schedFixed::scheduler::crashes: 2,1058 schedFixed::scheduler::entry:1059 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],1060 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1061 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1062 schedFixed::scheduler::mBuild: Set(),1063 schedFixed::scheduler::mDone: Set(),1064 schedFixed::scheduler::mExpect: Set(("w1", 1)),1065 schedFixed::scheduler::mResult: Set(),1066 schedFixed::scheduler::mRetry: Set(),1067 schedFixed::scheduler::mRevoke: Set(),1068 schedFixed::scheduler::mSchedule: Set(),1069 schedFixed::scheduler::published: 0,1070 schedFixed::scheduler::publishedBy: Set(),1071 schedFixed::scheduler::seq: 1,1072 schedFixed::scheduler::stolen: false,1073 schedFixed::scheduler::ws:1074 Map(1075 "w1" ->1076 {1077 attached: Set(),1078 built: false,1079 expecting: false,1080 lease: -1,1081 running: false,1082 session: true,1083 up: true1084 },1085 "w2" ->1086 {1087 attached: Set(),1088 built: false,1089 expecting: false,1090 lease: -1,1091 running: false,1092 session: true,1093 up: true1094 }1095 )1096}10971098[State 25]1099{1100 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1101 schedFixed::scheduler::crashes: 2,1102 schedFixed::scheduler::entry:1103 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],1104 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1105 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1106 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1107 schedFixed::scheduler::mDone: Set(),1108 schedFixed::scheduler::mExpect: Set(("w1", 1)),1109 schedFixed::scheduler::mResult: Set(),1110 schedFixed::scheduler::mRetry: Set(),1111 schedFixed::scheduler::mRevoke: Set(),1112 schedFixed::scheduler::mSchedule: Set(),1113 schedFixed::scheduler::published: 0,1114 schedFixed::scheduler::publishedBy: Set(),1115 schedFixed::scheduler::seq: 1,1116 schedFixed::scheduler::stolen: false,1117 schedFixed::scheduler::ws:1118 Map(1119 "w1" ->1120 {1121 attached: Set(),1122 built: false,1123 expecting: false,1124 lease: -1,1125 running: false,1126 session: true,1127 up: true1128 },1129 "w2" ->1130 {1131 attached: Set(),1132 built: false,1133 expecting: false,1134 lease: -1,1135 running: false,1136 session: true,1137 up: true1138 }1139 )1140}11411142[State 26]1143{1144 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1145 schedFixed::scheduler::crashes: 2,1146 schedFixed::scheduler::entry:1147 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],1148 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1149 schedFixed::scheduler::mAssigned: Set(),1150 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1151 schedFixed::scheduler::mDone: Set(),1152 schedFixed::scheduler::mExpect: Set(("w1", 1)),1153 schedFixed::scheduler::mResult: Set(),1154 schedFixed::scheduler::mRetry: Set(),1155 schedFixed::scheduler::mRevoke: Set(),1156 schedFixed::scheduler::mSchedule: Set(),1157 schedFixed::scheduler::published: 0,1158 schedFixed::scheduler::publishedBy: Set(),1159 schedFixed::scheduler::seq: 1,1160 schedFixed::scheduler::stolen: false,1161 schedFixed::scheduler::ws:1162 Map(1163 "w1" ->1164 {1165 attached: Set(),1166 built: false,1167 expecting: false,1168 lease: -1,1169 running: false,1170 session: true,1171 up: true1172 },1173 "w2" ->1174 {1175 attached: Set(),1176 built: false,1177 expecting: false,1178 lease: -1,1179 running: false,1180 session: true,1181 up: true1182 }1183 )1184}11851186[State 27]1187{1188 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1189 schedFixed::scheduler::crashes: 2,1190 schedFixed::scheduler::entry:1191 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],1192 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1193 schedFixed::scheduler::mAssigned: Set(),1194 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1195 schedFixed::scheduler::mDone: Set(),1196 schedFixed::scheduler::mExpect: Set(("w1", 1)),1197 schedFixed::scheduler::mResult: Set(),1198 schedFixed::scheduler::mRetry: Set("c2"),1199 schedFixed::scheduler::mRevoke: Set(),1200 schedFixed::scheduler::mSchedule: Set(),1201 schedFixed::scheduler::published: 0,1202 schedFixed::scheduler::publishedBy: Set(),1203 schedFixed::scheduler::seq: 1,1204 schedFixed::scheduler::stolen: false,1205 schedFixed::scheduler::ws:1206 Map(1207 "w1" ->1208 {1209 attached: Set(),1210 built: false,1211 expecting: false,1212 lease: -1,1213 running: false,1214 session: true,1215 up: true1216 },1217 "w2" ->1218 {1219 attached: Set(),1220 built: false,1221 expecting: false,1222 lease: -1,1223 running: false,1224 session: true,1225 up: true1226 }1227 )1228}12291230[State 28]1231{1232 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1233 schedFixed::scheduler::crashes: 2,1234 schedFixed::scheduler::entry:1235 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],1236 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1237 schedFixed::scheduler::mAssigned: Set(),1238 schedFixed::scheduler::mBuild: Set(),1239 schedFixed::scheduler::mDone: Set(),1240 schedFixed::scheduler::mExpect: Set(("w1", 1)),1241 schedFixed::scheduler::mResult: Set(),1242 schedFixed::scheduler::mRetry: Set("c1", "c2"),1243 schedFixed::scheduler::mRevoke: Set(),1244 schedFixed::scheduler::mSchedule: Set(),1245 schedFixed::scheduler::published: 0,1246 schedFixed::scheduler::publishedBy: Set(),1247 schedFixed::scheduler::seq: 1,1248 schedFixed::scheduler::stolen: false,1249 schedFixed::scheduler::ws:1250 Map(1251 "w1" ->1252 {1253 attached: Set(),1254 built: false,1255 expecting: false,1256 lease: -1,1257 running: false,1258 session: true,1259 up: true1260 },1261 "w2" ->1262 {1263 attached: Set(),1264 built: false,1265 expecting: false,1266 lease: -1,1267 running: false,1268 session: true,1269 up: true1270 }1271 )1272}12731274[State 29]1275{1276 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1277 schedFixed::scheduler::crashes: 2,1278 schedFixed::scheduler::entry:1279 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],1280 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1281 schedFixed::scheduler::mAssigned: Set(),1282 schedFixed::scheduler::mBuild: Set(),1283 schedFixed::scheduler::mDone: Set(),1284 schedFixed::scheduler::mExpect: Set(),1285 schedFixed::scheduler::mResult: Set(),1286 schedFixed::scheduler::mRetry: Set("c1", "c2"),1287 schedFixed::scheduler::mRevoke: Set(),1288 schedFixed::scheduler::mSchedule: Set(),1289 schedFixed::scheduler::published: 0,1290 schedFixed::scheduler::publishedBy: Set(),1291 schedFixed::scheduler::seq: 1,1292 schedFixed::scheduler::stolen: false,1293 schedFixed::scheduler::ws:1294 Map(1295 "w1" ->1296 {1297 attached: Set(),1298 built: false,1299 expecting: true,1300 lease: 1,1301 running: false,1302 session: true,1303 up: true1304 },1305 "w2" ->1306 {1307 attached: Set(),1308 built: false,1309 expecting: false,1310 lease: -1,1311 running: false,1312 session: true,1313 up: true1314 }1315 )1316}13171318[State 30]1319{1320 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1321 schedFixed::scheduler::crashes: 2,1322 schedFixed::scheduler::entry:1323 [{ followers: Set("c1", "c2"), lease: 1, leased: true, worker: "w1" }],1324 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1325 schedFixed::scheduler::mAssigned: Set(),1326 schedFixed::scheduler::mBuild: Set(),1327 schedFixed::scheduler::mDone: Set(),1328 schedFixed::scheduler::mExpect: Set(),1329 schedFixed::scheduler::mResult: Set(),1330 schedFixed::scheduler::mRetry: Set("c1"),1331 schedFixed::scheduler::mRevoke: Set(),1332 schedFixed::scheduler::mSchedule: Set("c2"),1333 schedFixed::scheduler::published: 0,1334 schedFixed::scheduler::publishedBy: Set(),1335 schedFixed::scheduler::seq: 1,1336 schedFixed::scheduler::stolen: false,1337 schedFixed::scheduler::ws:1338 Map(1339 "w1" ->1340 {1341 attached: Set(),1342 built: false,1343 expecting: true,1344 lease: 1,1345 running: false,1346 session: true,1347 up: true1348 },1349 "w2" ->1350 {1351 attached: Set(),1352 built: false,1353 expecting: false,1354 lease: -1,1355 running: false,1356 session: true,1357 up: true1358 }1359 )1360}13611362[ok] No violation found (18137ms at 1654 traces/second).1363Trace length statistics: max=31, min=16, average=28.961364You may increase --max-samples and --max-steps.1365Use --verbosity to produce more (or less) output.1366Use --seed=0xb35b1cba65cd8e68 --backend=rust to reproduce.1367An example execution:13681369[State 0]1370{1371 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1372 schedNoPush::scheduler::crashes: 0,1373 schedNoPush::scheduler::entry: [],1374 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1375 schedNoPush::scheduler::mAssigned: Set(),1376 schedNoPush::scheduler::mBuild: Set(),1377 schedNoPush::scheduler::mDone: Set(),1378 schedNoPush::scheduler::mExpect: Set(),1379 schedNoPush::scheduler::mResult: Set(),1380 schedNoPush::scheduler::mRetry: Set(),1381 schedNoPush::scheduler::mRevoke: Set(),1382 schedNoPush::scheduler::mSchedule: Set(),1383 schedNoPush::scheduler::published: 0,1384 schedNoPush::scheduler::publishedBy: Set(),1385 schedNoPush::scheduler::seq: 0,1386 schedNoPush::scheduler::stolen: false,1387 schedNoPush::scheduler::ws:1388 Map(1389 "w1" ->1390 {1391 attached: Set(),1392 built: false,1393 expecting: false,1394 lease: -1,1395 running: false,1396 session: true,1397 up: true1398 },1399 "w2" ->1400 {1401 attached: Set(),1402 built: false,1403 expecting: false,1404 lease: -1,1405 running: false,1406 session: true,1407 up: true1408 }1409 )1410}14111412[State 1]1413{1414 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1415 schedNoPush::scheduler::crashes: 0,1416 schedNoPush::scheduler::entry: [],1417 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1418 schedNoPush::scheduler::mAssigned: Set(),1419 schedNoPush::scheduler::mBuild: Set(),1420 schedNoPush::scheduler::mDone: Set(),1421 schedNoPush::scheduler::mExpect: Set(),1422 schedNoPush::scheduler::mResult: Set(),1423 schedNoPush::scheduler::mRetry: Set(),1424 schedNoPush::scheduler::mRevoke: Set(),1425 schedNoPush::scheduler::mSchedule: Set("c1"),1426 schedNoPush::scheduler::published: 0,1427 schedNoPush::scheduler::publishedBy: Set(),1428 schedNoPush::scheduler::seq: 0,1429 schedNoPush::scheduler::stolen: false,1430 schedNoPush::scheduler::ws:1431 Map(1432 "w1" ->1433 {1434 attached: Set(),1435 built: false,1436 expecting: false,1437 lease: -1,1438 running: false,1439 session: true,1440 up: true1441 },1442 "w2" ->1443 {1444 attached: Set(),1445 built: false,1446 expecting: false,1447 lease: -1,1448 running: false,1449 session: true,1450 up: true1451 }1452 )1453}14541455[State 2]1456{1457 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1458 schedNoPush::scheduler::crashes: 0,1459 schedNoPush::scheduler::entry:1460 [{ followers: Set("c1"), lease: 1, leased: true, worker: "w2" }],1461 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),1462 schedNoPush::scheduler::mAssigned: Set(("c1", "w2")),1463 schedNoPush::scheduler::mBuild: Set(),1464 schedNoPush::scheduler::mDone: Set(),1465 schedNoPush::scheduler::mExpect: Set(),1466 schedNoPush::scheduler::mResult: Set(),1467 schedNoPush::scheduler::mRetry: Set(),1468 schedNoPush::scheduler::mRevoke: Set(),1469 schedNoPush::scheduler::mSchedule: Set(),1470 schedNoPush::scheduler::published: 0,1471 schedNoPush::scheduler::publishedBy: Set(),1472 schedNoPush::scheduler::seq: 1,1473 schedNoPush::scheduler::stolen: false,1474 schedNoPush::scheduler::ws:1475 Map(1476 "w1" ->1477 {1478 attached: Set(),1479 built: false,1480 expecting: false,1481 lease: -1,1482 running: false,1483 session: true,1484 up: true1485 },1486 "w2" ->1487 {1488 attached: Set(),1489 built: false,1490 expecting: false,1491 lease: -1,1492 running: false,1493 session: true,1494 up: true1495 }1496 )1497}14981499[State 3]1500{1501 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),1502 schedNoPush::scheduler::crashes: 0,1503 schedNoPush::scheduler::entry:1504 [{ followers: Set("c1"), lease: 1, leased: true, worker: "w2" }],1505 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),1506 schedNoPush::scheduler::mAssigned: Set(),1507 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),1508 schedNoPush::scheduler::mDone: Set(),1509 schedNoPush::scheduler::mExpect: Set(),1510 schedNoPush::scheduler::mResult: Set(),1511 schedNoPush::scheduler::mRetry: Set(),1512 schedNoPush::scheduler::mRevoke: Set(),1513 schedNoPush::scheduler::mSchedule: Set(),1514 schedNoPush::scheduler::published: 0,1515 schedNoPush::scheduler::publishedBy: Set(),1516 schedNoPush::scheduler::seq: 1,1517 schedNoPush::scheduler::stolen: false,1518 schedNoPush::scheduler::ws:1519 Map(1520 "w1" ->1521 {1522 attached: Set(),1523 built: false,1524 expecting: false,1525 lease: -1,1526 running: false,1527 session: true,1528 up: true1529 },1530 "w2" ->1531 {1532 attached: Set(),1533 built: false,1534 expecting: false,1535 lease: -1,1536 running: false,1537 session: true,1538 up: true1539 }1540 )1541}15421543[State 4]1544{1545 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),1546 schedNoPush::scheduler::crashes: 1,1547 schedNoPush::scheduler::entry: [],1548 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1549 schedNoPush::scheduler::mAssigned: Set(),1550 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),1551 schedNoPush::scheduler::mDone: Set(),1552 schedNoPush::scheduler::mExpect: Set(),1553 schedNoPush::scheduler::mResult: Set(),1554 schedNoPush::scheduler::mRetry: Set(),1555 schedNoPush::scheduler::mRevoke: Set(),1556 schedNoPush::scheduler::mSchedule: Set(),1557 schedNoPush::scheduler::published: 0,1558 schedNoPush::scheduler::publishedBy: Set(),1559 schedNoPush::scheduler::seq: 1,1560 schedNoPush::scheduler::stolen: false,1561 schedNoPush::scheduler::ws:1562 Map(1563 "w1" ->1564 {1565 attached: Set(),1566 built: false,1567 expecting: false,1568 lease: -1,1569 running: false,1570 session: false,1571 up: true1572 },1573 "w2" ->1574 {1575 attached: Set(),1576 built: false,1577 expecting: false,1578 lease: -1,1579 running: false,1580 session: false,1581 up: true1582 }1583 )1584}15851586[State 5]1587{1588 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),1589 schedNoPush::scheduler::crashes: 2,1590 schedNoPush::scheduler::entry: [],1591 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1592 schedNoPush::scheduler::mAssigned: Set(),1593 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),1594 schedNoPush::scheduler::mDone: Set(),1595 schedNoPush::scheduler::mExpect: Set(),1596 schedNoPush::scheduler::mResult: Set(),1597 schedNoPush::scheduler::mRetry: Set(),1598 schedNoPush::scheduler::mRevoke: Set(),1599 schedNoPush::scheduler::mSchedule: Set(),1600 schedNoPush::scheduler::published: 0,1601 schedNoPush::scheduler::publishedBy: Set(),1602 schedNoPush::scheduler::seq: 1,1603 schedNoPush::scheduler::stolen: false,1604 schedNoPush::scheduler::ws:1605 Map(1606 "w1" ->1607 {1608 attached: Set(),1609 built: false,1610 expecting: false,1611 lease: -1,1612 running: false,1613 session: false,1614 up: true1615 },1616 "w2" ->1617 {1618 attached: Set(),1619 built: false,1620 expecting: false,1621 lease: -1,1622 running: false,1623 session: false,1624 up: true1625 }1626 )1627}16281629[State 6]1630{1631 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),1632 schedNoPush::scheduler::crashes: 2,1633 schedNoPush::scheduler::entry: [],1634 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1635 schedNoPush::scheduler::mAssigned: Set(),1636 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),1637 schedNoPush::scheduler::mDone: Set(),1638 schedNoPush::scheduler::mExpect: Set(),1639 schedNoPush::scheduler::mResult: Set(),1640 schedNoPush::scheduler::mRetry: Set(),1641 schedNoPush::scheduler::mRevoke: Set(),1642 schedNoPush::scheduler::mSchedule: Set(),1643 schedNoPush::scheduler::published: 0,1644 schedNoPush::scheduler::publishedBy: Set(),1645 schedNoPush::scheduler::seq: 1,1646 schedNoPush::scheduler::stolen: false,1647 schedNoPush::scheduler::ws:1648 Map(1649 "w1" ->1650 {1651 attached: Set(),1652 built: false,1653 expecting: false,1654 lease: -1,1655 running: false,1656 session: false,1657 up: true1658 },1659 "w2" ->1660 {1661 attached: Set(),1662 built: false,1663 expecting: false,1664 lease: -1,1665 running: false,1666 session: true,1667 up: true1668 }1669 )1670}16711672[State 7]1673{1674 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),1675 schedNoPush::scheduler::crashes: 2,1676 schedNoPush::scheduler::entry: [],1677 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1678 schedNoPush::scheduler::mAssigned: Set(),1679 schedNoPush::scheduler::mBuild: Set(),1680 schedNoPush::scheduler::mDone: Set(),1681 schedNoPush::scheduler::mExpect: Set(),1682 schedNoPush::scheduler::mResult: Set(),1683 schedNoPush::scheduler::mRetry: Set(),1684 schedNoPush::scheduler::mRevoke: Set(),1685 schedNoPush::scheduler::mSchedule: Set(),1686 schedNoPush::scheduler::published: 0,1687 schedNoPush::scheduler::publishedBy: Set(),1688 schedNoPush::scheduler::seq: 1,1689 schedNoPush::scheduler::stolen: false,1690 schedNoPush::scheduler::ws:1691 Map(1692 "w1" ->1693 {1694 attached: Set(),1695 built: false,1696 expecting: false,1697 lease: -1,1698 running: false,1699 session: false,1700 up: true1701 },1702 "w2" ->1703 {1704 attached: Set("c1"),1705 built: false,1706 expecting: false,1707 lease: -1,1708 running: true,1709 session: true,1710 up: true1711 }1712 )1713}17141715[violation] Found an issue (10955ms at 1152 traces/second).1716Use --verbosity=3 to show executions.1717Use --seed=0xb123203dd9d96548 --backend=rust to reproduce.1718error: Invariant violated1719An example execution:17201721[State 0]1722{1723 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1724 schedTerminal::scheduler::crashes: 0,1725 schedTerminal::scheduler::entry: [],1726 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1727 schedTerminal::scheduler::mAssigned: Set(),1728 schedTerminal::scheduler::mBuild: Set(),1729 schedTerminal::scheduler::mDone: Set(),1730 schedTerminal::scheduler::mExpect: Set(),1731 schedTerminal::scheduler::mResult: Set(),1732 schedTerminal::scheduler::mRetry: Set(),1733 schedTerminal::scheduler::mRevoke: Set(),1734 schedTerminal::scheduler::mSchedule: Set(),1735 schedTerminal::scheduler::published: 0,1736 schedTerminal::scheduler::publishedBy: Set(),1737 schedTerminal::scheduler::seq: 0,1738 schedTerminal::scheduler::stolen: false,1739 schedTerminal::scheduler::ws:1740 Map(1741 "w1" ->1742 {1743 attached: Set(),1744 built: false,1745 expecting: false,1746 lease: -1,1747 running: false,1748 session: true,1749 up: true1750 },1751 "w2" ->1752 {1753 attached: Set(),1754 built: false,1755 expecting: false,1756 lease: -1,1757 running: false,1758 session: true,1759 up: true1760 }1761 )1762}17631764[State 1]1765{1766 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1767 schedTerminal::scheduler::crashes: 1,1768 schedTerminal::scheduler::entry: [],1769 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1770 schedTerminal::scheduler::mAssigned: Set(),1771 schedTerminal::scheduler::mBuild: Set(),1772 schedTerminal::scheduler::mDone: Set(),1773 schedTerminal::scheduler::mExpect: Set(),1774 schedTerminal::scheduler::mResult: Set(),1775 schedTerminal::scheduler::mRetry: Set(),1776 schedTerminal::scheduler::mRevoke: Set(),1777 schedTerminal::scheduler::mSchedule: Set(),1778 schedTerminal::scheduler::published: 0,1779 schedTerminal::scheduler::publishedBy: Set(),1780 schedTerminal::scheduler::seq: 0,1781 schedTerminal::scheduler::stolen: false,1782 schedTerminal::scheduler::ws:1783 Map(1784 "w1" ->1785 {1786 attached: Set(),1787 built: false,1788 expecting: false,1789 lease: -1,1790 running: false,1791 session: false,1792 up: true1793 },1794 "w2" ->1795 {1796 attached: Set(),1797 built: false,1798 expecting: false,1799 lease: -1,1800 running: false,1801 session: false,1802 up: true1803 }1804 )1805}18061807[State 2]1808{1809 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1810 schedTerminal::scheduler::crashes: 1,1811 schedTerminal::scheduler::entry: [],1812 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1813 schedTerminal::scheduler::mAssigned: Set(),1814 schedTerminal::scheduler::mBuild: Set(),1815 schedTerminal::scheduler::mDone: Set(),1816 schedTerminal::scheduler::mExpect: Set(),1817 schedTerminal::scheduler::mResult: Set(),1818 schedTerminal::scheduler::mRetry: Set(),1819 schedTerminal::scheduler::mRevoke: Set(),1820 schedTerminal::scheduler::mSchedule: Set("c2"),1821 schedTerminal::scheduler::published: 0,1822 schedTerminal::scheduler::publishedBy: Set(),1823 schedTerminal::scheduler::seq: 0,1824 schedTerminal::scheduler::stolen: false,1825 schedTerminal::scheduler::ws:1826 Map(1827 "w1" ->1828 {1829 attached: Set(),1830 built: false,1831 expecting: false,1832 lease: -1,1833 running: false,1834 session: false,1835 up: true1836 },1837 "w2" ->1838 {1839 attached: Set(),1840 built: false,1841 expecting: false,1842 lease: -1,1843 running: false,1844 session: false,1845 up: true1846 }1847 )1848}18491850[State 3]1851{1852 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CFailed),1853 schedTerminal::scheduler::crashes: 1,1854 schedTerminal::scheduler::entry: [],1855 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1856 schedTerminal::scheduler::mAssigned: Set(),1857 schedTerminal::scheduler::mBuild: Set(),1858 schedTerminal::scheduler::mDone: Set(),1859 schedTerminal::scheduler::mExpect: Set(),1860 schedTerminal::scheduler::mResult: Set(),1861 schedTerminal::scheduler::mRetry: Set(),1862 schedTerminal::scheduler::mRevoke: Set(),1863 schedTerminal::scheduler::mSchedule: Set(),1864 schedTerminal::scheduler::published: 0,1865 schedTerminal::scheduler::publishedBy: Set(),1866 schedTerminal::scheduler::seq: 0,1867 schedTerminal::scheduler::stolen: false,1868 schedTerminal::scheduler::ws:1869 Map(1870 "w1" ->1871 {1872 attached: Set(),1873 built: false,1874 expecting: false,1875 lease: -1,1876 running: false,1877 session: false,1878 up: true1879 },1880 "w2" ->1881 {1882 attached: Set(),1883 built: false,1884 expecting: false,1885 lease: -1,1886 running: false,1887 session: false,1888 up: true1889 }1890 )1891}18921893[violation] Found an issue (19123ms at 52 traces/second).1894Use --verbosity=3 to show executions.1895Use --seed=0x21550218a3554eae --backend=rust to reproduce.1896error: Invariant violated18971898 schedFixed1899 ok schedFixed::scheduler::dupBuildTest passed 100 test(s)1900 ok schedFixed::scheduler::helloStealTest passed 100 test(s)1901 ok schedFixed::scheduler::staleDoneTest passed 100 test(s)19021903 3 passing (853ms)19041905 schedNoRevoke1906 ok schedNoRevoke::scheduler::dupBuildTest passed 100 test(s)19071908 1 passing (643ms)19091910 schedNoFence1911 ok schedNoFence::scheduler::dupBuildTest passed 100 test(s)19121913 1 passing (7289ms)19141915 schedNoReport1916 ok schedNoReport::scheduler::dupBuildTest passed 100 test(s)19171918 1 passing (6020ms)19191920 schedHelloSteal1921 ok schedHelloSteal::scheduler::helloStealTest passed 100 test(s)19221923 1 passing (2799ms)19241925 schedNoLease1926 ok schedNoLease::scheduler::staleDoneTest passed 100 test(s)19271928 1 passing (6972ms)1929An example execution:19301931[State 0]1932{1933 pushFixed::push::byPath: Map(),1934 pushFixed::push::inflight: Set(),1935 pushFixed::push::left: Map(),1936 pushFixed::push::sent: Map()1937}19381939[State 1]1940{1941 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),1942 pushFixed::push::inflight: Set((1, "a"), (1, "b")),1943 pushFixed::push::left: Map(1 -> 2),1944 pushFixed::push::sent: Map(1 -> Set("a", "b"))1945}19461947[State 2]1948{1949 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),1950 pushFixed::push::inflight: Set((1, "b")),1951 pushFixed::push::left: Map(1 -> 1),1952 pushFixed::push::sent: Map(1 -> Set("a", "b"))1953}19541955[State 3]1956{1957 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1958 pushFixed::push::inflight: Set((1, "b"), (3, "a"), (3, "b")),1959 pushFixed::push::left: Map(1 -> 1, 3 -> 2),1960 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))1961}19621963[State 4]1964{1965 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),1966 pushFixed::push::inflight:1967 Set((1, "b"), (2, "a"), (2, "b"), (3, "a"), (3, "b")),1968 pushFixed::push::left: Map(1 -> 1, 2 -> 2, 3 -> 2),1969 pushFixed::push::sent:1970 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1971}19721973[State 5]1974{1975 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),1976 pushFixed::push::inflight: Set((1, "b"), (2, "a"), (2, "b"), (3, "b")),1977 pushFixed::push::left: Map(1 -> 1, 2 -> 2, 3 -> 1),1978 pushFixed::push::sent:1979 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1980}19811982[State 6]1983{1984 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),1985 pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "b")),1986 pushFixed::push::left: Map(1 -> 0, 2 -> 2, 3 -> 1),1987 pushFixed::push::sent:1988 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1989}19901991[State 7]1992{1993 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),1994 pushFixed::push::inflight: Set((2, "a"), (3, "b")),1995 pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 1),1996 pushFixed::push::sent:1997 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1998}19992000[State 8]2001{2002 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),2003 pushFixed::push::inflight: Set((2, "a")),2004 pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 0),2005 pushFixed::push::sent:2006 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))2007}20082009[State 9]2010{2011 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),2012 pushFixed::push::inflight: Set(),2013 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),2014 pushFixed::push::sent:2015 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))2016}20172018[ok] No violation found (16759ms at 1193 traces/second).2019Trace length statistics: max=10, min=7, average=7.972020You may increase --max-samples and --max-steps.2021Use --verbosity to produce more (or less) output.2022Use --seed=0x8f63f37137df847b --backend=rust to reproduce.