nix-grpc-store-spec
checks.aarch64-darwin.spec
· build #875
· 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::stolen: false,21 schedFixed::scheduler::ws:22 Map(23 "w1" ->24 {25 attached: Set(),26 built: false,27 expecting: false,28 running: false,29 session: true,30 up: true31 },32 "w2" ->33 {34 attached: Set(),35 built: false,36 expecting: false,37 running: false,38 session: true,39 up: true40 }41 )42}4344[State 1]45{46 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),47 schedFixed::scheduler::crashes: 0,48 schedFixed::scheduler::entry: [],49 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),50 schedFixed::scheduler::mAssigned: Set(),51 schedFixed::scheduler::mBuild: Set(),52 schedFixed::scheduler::mDone: Set(),53 schedFixed::scheduler::mExpect: Set(),54 schedFixed::scheduler::mResult: Set(),55 schedFixed::scheduler::mRetry: Set(),56 schedFixed::scheduler::mRevoke: Set(),57 schedFixed::scheduler::mSchedule: Set("c1"),58 schedFixed::scheduler::published: 0,59 schedFixed::scheduler::publishedBy: Set(),60 schedFixed::scheduler::stolen: false,61 schedFixed::scheduler::ws:62 Map(63 "w1" ->64 {65 attached: Set(),66 built: false,67 expecting: false,68 running: false,69 session: true,70 up: true71 },72 "w2" ->73 {74 attached: Set(),75 built: false,76 expecting: false,77 running: false,78 session: true,79 up: true80 }81 )82}8384[State 2]85{86 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),87 schedFixed::scheduler::crashes: 0,88 schedFixed::scheduler::entry: [],89 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),90 schedFixed::scheduler::mAssigned: Set(),91 schedFixed::scheduler::mBuild: Set(),92 schedFixed::scheduler::mDone: Set(),93 schedFixed::scheduler::mExpect: Set(),94 schedFixed::scheduler::mResult: Set(),95 schedFixed::scheduler::mRetry: Set(),96 schedFixed::scheduler::mRevoke: Set(),97 schedFixed::scheduler::mSchedule: Set("c1", "c2"),98 schedFixed::scheduler::published: 0,99 schedFixed::scheduler::publishedBy: Set(),100 schedFixed::scheduler::stolen: false,101 schedFixed::scheduler::ws:102 Map(103 "w1" ->104 {105 attached: Set(),106 built: false,107 expecting: false,108 running: false,109 session: true,110 up: true111 },112 "w2" ->113 {114 attached: Set(),115 built: false,116 expecting: false,117 running: false,118 session: true,119 up: true120 }121 )122}123124[State 3]125{126 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),127 schedFixed::scheduler::crashes: 1,128 schedFixed::scheduler::entry: [],129 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),130 schedFixed::scheduler::mAssigned: Set(),131 schedFixed::scheduler::mBuild: Set(),132 schedFixed::scheduler::mDone: Set(),133 schedFixed::scheduler::mExpect: Set(),134 schedFixed::scheduler::mResult: Set(),135 schedFixed::scheduler::mRetry: Set(),136 schedFixed::scheduler::mRevoke: Set(),137 schedFixed::scheduler::mSchedule: Set("c1", "c2"),138 schedFixed::scheduler::published: 0,139 schedFixed::scheduler::publishedBy: Set(),140 schedFixed::scheduler::stolen: false,141 schedFixed::scheduler::ws:142 Map(143 "w1" ->144 {145 attached: Set(),146 built: false,147 expecting: false,148 running: false,149 session: true,150 up: true151 },152 "w2" ->153 {154 attached: Set(),155 built: false,156 expecting: false,157 running: false,158 session: false,159 up: false160 }161 )162}163164[State 4]165{166 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),167 schedFixed::scheduler::crashes: 1,168 schedFixed::scheduler::entry:169 [{ followers: Set("c1"), leased: true, worker: "w1" }],170 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),171 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),172 schedFixed::scheduler::mBuild: Set(),173 schedFixed::scheduler::mDone: Set(),174 schedFixed::scheduler::mExpect: Set("w1"),175 schedFixed::scheduler::mResult: Set(),176 schedFixed::scheduler::mRetry: Set(),177 schedFixed::scheduler::mRevoke: Set(),178 schedFixed::scheduler::mSchedule: Set("c2"),179 schedFixed::scheduler::published: 0,180 schedFixed::scheduler::publishedBy: Set(),181 schedFixed::scheduler::stolen: false,182 schedFixed::scheduler::ws:183 Map(184 "w1" ->185 {186 attached: Set(),187 built: false,188 expecting: false,189 running: false,190 session: true,191 up: true192 },193 "w2" ->194 {195 attached: Set(),196 built: false,197 expecting: false,198 running: false,199 session: false,200 up: false201 }202 )203}204205[State 5]206{207 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),208 schedFixed::scheduler::crashes: 2,209 schedFixed::scheduler::entry: [],210 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),211 schedFixed::scheduler::mAssigned: Set(),212 schedFixed::scheduler::mBuild: Set(),213 schedFixed::scheduler::mDone: Set(),214 schedFixed::scheduler::mExpect: Set(),215 schedFixed::scheduler::mResult: Set(),216 schedFixed::scheduler::mRetry: Set("c1", "c2"),217 schedFixed::scheduler::mRevoke: Set(),218 schedFixed::scheduler::mSchedule: Set(),219 schedFixed::scheduler::published: 0,220 schedFixed::scheduler::publishedBy: Set(),221 schedFixed::scheduler::stolen: false,222 schedFixed::scheduler::ws:223 Map(224 "w1" ->225 {226 attached: Set(),227 built: false,228 expecting: false,229 running: false,230 session: false,231 up: true232 },233 "w2" ->234 {235 attached: Set(),236 built: false,237 expecting: false,238 running: false,239 session: false,240 up: false241 }242 )243}244245[State 6]246{247 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),248 schedFixed::scheduler::crashes: 2,249 schedFixed::scheduler::entry: [],250 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),251 schedFixed::scheduler::mAssigned: Set(),252 schedFixed::scheduler::mBuild: Set(),253 schedFixed::scheduler::mDone: Set(),254 schedFixed::scheduler::mExpect: Set(),255 schedFixed::scheduler::mResult: Set(),256 schedFixed::scheduler::mRetry: Set("c1", "c2"),257 schedFixed::scheduler::mRevoke: Set(),258 schedFixed::scheduler::mSchedule: Set(),259 schedFixed::scheduler::published: 0,260 schedFixed::scheduler::publishedBy: Set(),261 schedFixed::scheduler::stolen: false,262 schedFixed::scheduler::ws:263 Map(264 "w1" ->265 {266 attached: Set(),267 built: false,268 expecting: false,269 running: false,270 session: false,271 up: true272 },273 "w2" ->274 {275 attached: Set(),276 built: false,277 expecting: false,278 running: false,279 session: true,280 up: true281 }282 )283}284285[State 7]286{287 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),288 schedFixed::scheduler::crashes: 2,289 schedFixed::scheduler::entry: [],290 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),291 schedFixed::scheduler::mAssigned: Set(),292 schedFixed::scheduler::mBuild: Set(),293 schedFixed::scheduler::mDone: Set(),294 schedFixed::scheduler::mExpect: Set(),295 schedFixed::scheduler::mResult: Set(),296 schedFixed::scheduler::mRetry: Set("c1"),297 schedFixed::scheduler::mRevoke: Set(),298 schedFixed::scheduler::mSchedule: Set("c2"),299 schedFixed::scheduler::published: 0,300 schedFixed::scheduler::publishedBy: Set(),301 schedFixed::scheduler::stolen: false,302 schedFixed::scheduler::ws:303 Map(304 "w1" ->305 {306 attached: Set(),307 built: false,308 expecting: false,309 running: false,310 session: false,311 up: true312 },313 "w2" ->314 {315 attached: Set(),316 built: false,317 expecting: false,318 running: false,319 session: true,320 up: true321 }322 )323}324325[State 8]326{327 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),328 schedFixed::scheduler::crashes: 2,329 schedFixed::scheduler::entry:330 [{ followers: Set("c2"), leased: true, worker: "w2" }],331 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),332 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),333 schedFixed::scheduler::mBuild: Set(),334 schedFixed::scheduler::mDone: Set(),335 schedFixed::scheduler::mExpect: Set("w2"),336 schedFixed::scheduler::mResult: Set(),337 schedFixed::scheduler::mRetry: Set("c1"),338 schedFixed::scheduler::mRevoke: Set(),339 schedFixed::scheduler::mSchedule: Set(),340 schedFixed::scheduler::published: 0,341 schedFixed::scheduler::publishedBy: Set(),342 schedFixed::scheduler::stolen: false,343 schedFixed::scheduler::ws:344 Map(345 "w1" ->346 {347 attached: Set(),348 built: false,349 expecting: false,350 running: false,351 session: false,352 up: true353 },354 "w2" ->355 {356 attached: Set(),357 built: false,358 expecting: false,359 running: false,360 session: true,361 up: true362 }363 )364}365366[State 9]367{368 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),369 schedFixed::scheduler::crashes: 2,370 schedFixed::scheduler::entry:371 [{ followers: Set("c2"), leased: true, worker: "w2" }],372 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),373 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),374 schedFixed::scheduler::mBuild: Set(),375 schedFixed::scheduler::mDone: Set(),376 schedFixed::scheduler::mExpect: Set(),377 schedFixed::scheduler::mResult: Set(),378 schedFixed::scheduler::mRetry: Set("c1"),379 schedFixed::scheduler::mRevoke: Set(),380 schedFixed::scheduler::mSchedule: Set(),381 schedFixed::scheduler::published: 0,382 schedFixed::scheduler::publishedBy: Set(),383 schedFixed::scheduler::stolen: false,384 schedFixed::scheduler::ws:385 Map(386 "w1" ->387 {388 attached: Set(),389 built: false,390 expecting: false,391 running: false,392 session: false,393 up: true394 },395 "w2" ->396 {397 attached: Set(),398 built: false,399 expecting: true,400 running: false,401 session: true,402 up: true403 }404 )405}406407[State 10]408{409 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),410 schedFixed::scheduler::crashes: 2,411 schedFixed::scheduler::entry:412 [{ followers: Set("c2"), leased: true, worker: "w2" }],413 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),414 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),415 schedFixed::scheduler::mBuild: Set(),416 schedFixed::scheduler::mDone: Set("w2"),417 schedFixed::scheduler::mExpect: Set(),418 schedFixed::scheduler::mResult: Set(),419 schedFixed::scheduler::mRetry: Set("c1"),420 schedFixed::scheduler::mRevoke: Set(),421 schedFixed::scheduler::mSchedule: Set(),422 schedFixed::scheduler::published: 0,423 schedFixed::scheduler::publishedBy: Set(),424 schedFixed::scheduler::stolen: false,425 schedFixed::scheduler::ws:426 Map(427 "w1" ->428 {429 attached: Set(),430 built: false,431 expecting: false,432 running: false,433 session: false,434 up: true435 },436 "w2" ->437 {438 attached: Set(),439 built: false,440 expecting: false,441 running: false,442 session: true,443 up: true444 }445 )446}447448[State 11]449{450 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),451 schedFixed::scheduler::crashes: 2,452 schedFixed::scheduler::entry: [],453 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),454 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),455 schedFixed::scheduler::mBuild: Set(),456 schedFixed::scheduler::mDone: Set(),457 schedFixed::scheduler::mExpect: Set(),458 schedFixed::scheduler::mResult: Set(),459 schedFixed::scheduler::mRetry: Set("c1"),460 schedFixed::scheduler::mRevoke: Set(),461 schedFixed::scheduler::mSchedule: Set(),462 schedFixed::scheduler::published: 0,463 schedFixed::scheduler::publishedBy: Set(),464 schedFixed::scheduler::stolen: false,465 schedFixed::scheduler::ws:466 Map(467 "w1" ->468 {469 attached: Set(),470 built: false,471 expecting: false,472 running: false,473 session: false,474 up: true475 },476 "w2" ->477 {478 attached: Set(),479 built: false,480 expecting: false,481 running: false,482 session: true,483 up: true484 }485 )486}487488[State 12]489{490 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),491 schedFixed::scheduler::crashes: 2,492 schedFixed::scheduler::entry: [],493 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),494 schedFixed::scheduler::mAssigned: Set(),495 schedFixed::scheduler::mBuild: Set(("c2", "w2")),496 schedFixed::scheduler::mDone: Set(),497 schedFixed::scheduler::mExpect: Set(),498 schedFixed::scheduler::mResult: Set(),499 schedFixed::scheduler::mRetry: Set("c1"),500 schedFixed::scheduler::mRevoke: Set(),501 schedFixed::scheduler::mSchedule: Set(),502 schedFixed::scheduler::published: 0,503 schedFixed::scheduler::publishedBy: Set(),504 schedFixed::scheduler::stolen: false,505 schedFixed::scheduler::ws:506 Map(507 "w1" ->508 {509 attached: Set(),510 built: false,511 expecting: false,512 running: false,513 session: false,514 up: true515 },516 "w2" ->517 {518 attached: Set(),519 built: false,520 expecting: false,521 running: false,522 session: true,523 up: true524 }525 )526}527528[State 13]529{530 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),531 schedFixed::scheduler::crashes: 2,532 schedFixed::scheduler::entry: [],533 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),534 schedFixed::scheduler::mAssigned: Set(),535 schedFixed::scheduler::mBuild: Set(),536 schedFixed::scheduler::mDone: Set(),537 schedFixed::scheduler::mExpect: Set(),538 schedFixed::scheduler::mResult: Set(),539 schedFixed::scheduler::mRetry: Set("c1", "c2"),540 schedFixed::scheduler::mRevoke: Set(),541 schedFixed::scheduler::mSchedule: Set(),542 schedFixed::scheduler::published: 0,543 schedFixed::scheduler::publishedBy: Set(),544 schedFixed::scheduler::stolen: false,545 schedFixed::scheduler::ws:546 Map(547 "w1" ->548 {549 attached: Set(),550 built: false,551 expecting: false,552 running: false,553 session: false,554 up: true555 },556 "w2" ->557 {558 attached: Set(),559 built: false,560 expecting: false,561 running: false,562 session: true,563 up: true564 }565 )566}567568[State 14]569{570 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),571 schedFixed::scheduler::crashes: 2,572 schedFixed::scheduler::entry: [],573 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),574 schedFixed::scheduler::mAssigned: Set(),575 schedFixed::scheduler::mBuild: Set(),576 schedFixed::scheduler::mDone: Set(),577 schedFixed::scheduler::mExpect: Set(),578 schedFixed::scheduler::mResult: Set(),579 schedFixed::scheduler::mRetry: Set("c2"),580 schedFixed::scheduler::mRevoke: Set(),581 schedFixed::scheduler::mSchedule: Set("c1"),582 schedFixed::scheduler::published: 0,583 schedFixed::scheduler::publishedBy: Set(),584 schedFixed::scheduler::stolen: false,585 schedFixed::scheduler::ws:586 Map(587 "w1" ->588 {589 attached: Set(),590 built: false,591 expecting: false,592 running: false,593 session: false,594 up: true595 },596 "w2" ->597 {598 attached: Set(),599 built: false,600 expecting: false,601 running: false,602 session: true,603 up: true604 }605 )606}607608[State 15]609{610 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),611 schedFixed::scheduler::crashes: 2,612 schedFixed::scheduler::entry: [],613 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),614 schedFixed::scheduler::mAssigned: Set(),615 schedFixed::scheduler::mBuild: Set(),616 schedFixed::scheduler::mDone: Set(),617 schedFixed::scheduler::mExpect: Set(),618 schedFixed::scheduler::mResult: Set(),619 schedFixed::scheduler::mRetry: Set(),620 schedFixed::scheduler::mRevoke: Set(),621 schedFixed::scheduler::mSchedule: Set("c1", "c2"),622 schedFixed::scheduler::published: 0,623 schedFixed::scheduler::publishedBy: Set(),624 schedFixed::scheduler::stolen: false,625 schedFixed::scheduler::ws:626 Map(627 "w1" ->628 {629 attached: Set(),630 built: false,631 expecting: false,632 running: false,633 session: false,634 up: true635 },636 "w2" ->637 {638 attached: Set(),639 built: false,640 expecting: false,641 running: false,642 session: true,643 up: true644 }645 )646}647648[State 16]649{650 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),651 schedFixed::scheduler::crashes: 2,652 schedFixed::scheduler::entry: [],653 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),654 schedFixed::scheduler::mAssigned: Set(),655 schedFixed::scheduler::mBuild: Set(),656 schedFixed::scheduler::mDone: Set(),657 schedFixed::scheduler::mExpect: Set(),658 schedFixed::scheduler::mResult: Set(),659 schedFixed::scheduler::mRetry: Set(),660 schedFixed::scheduler::mRevoke: Set(),661 schedFixed::scheduler::mSchedule: Set("c1", "c2"),662 schedFixed::scheduler::published: 0,663 schedFixed::scheduler::publishedBy: Set(),664 schedFixed::scheduler::stolen: false,665 schedFixed::scheduler::ws:666 Map(667 "w1" ->668 {669 attached: Set(),670 built: false,671 expecting: false,672 running: false,673 session: true,674 up: true675 },676 "w2" ->677 {678 attached: Set(),679 built: false,680 expecting: false,681 running: false,682 session: true,683 up: true684 }685 )686}687688[State 17]689{690 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),691 schedFixed::scheduler::crashes: 2,692 schedFixed::scheduler::entry:693 [{ followers: Set("c1"), leased: true, worker: "w2" }],694 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),695 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),696 schedFixed::scheduler::mBuild: Set(),697 schedFixed::scheduler::mDone: Set(),698 schedFixed::scheduler::mExpect: Set("w2"),699 schedFixed::scheduler::mResult: Set(),700 schedFixed::scheduler::mRetry: Set(),701 schedFixed::scheduler::mRevoke: Set(),702 schedFixed::scheduler::mSchedule: Set("c2"),703 schedFixed::scheduler::published: 0,704 schedFixed::scheduler::publishedBy: Set(),705 schedFixed::scheduler::stolen: false,706 schedFixed::scheduler::ws:707 Map(708 "w1" ->709 {710 attached: Set(),711 built: false,712 expecting: false,713 running: false,714 session: true,715 up: true716 },717 "w2" ->718 {719 attached: Set(),720 built: false,721 expecting: false,722 running: false,723 session: true,724 up: true725 }726 )727}728729[State 18]730{731 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),732 schedFixed::scheduler::crashes: 2,733 schedFixed::scheduler::entry:734 [{ followers: Set("c1"), leased: true, worker: "w2" }],735 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),736 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),737 schedFixed::scheduler::mBuild: Set(),738 schedFixed::scheduler::mDone: Set(),739 schedFixed::scheduler::mExpect: Set(),740 schedFixed::scheduler::mResult: Set(),741 schedFixed::scheduler::mRetry: Set(),742 schedFixed::scheduler::mRevoke: Set(),743 schedFixed::scheduler::mSchedule: Set("c2"),744 schedFixed::scheduler::published: 0,745 schedFixed::scheduler::publishedBy: Set(),746 schedFixed::scheduler::stolen: false,747 schedFixed::scheduler::ws:748 Map(749 "w1" ->750 {751 attached: Set(),752 built: false,753 expecting: false,754 running: false,755 session: true,756 up: true757 },758 "w2" ->759 {760 attached: Set(),761 built: false,762 expecting: true,763 running: false,764 session: true,765 up: true766 }767 )768}769770[State 19]771{772 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),773 schedFixed::scheduler::crashes: 2,774 schedFixed::scheduler::entry:775 [{ followers: Set("c1"), leased: true, worker: "w2" }],776 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),777 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),778 schedFixed::scheduler::mBuild: Set(),779 schedFixed::scheduler::mDone: Set("w2"),780 schedFixed::scheduler::mExpect: Set(),781 schedFixed::scheduler::mResult: Set(),782 schedFixed::scheduler::mRetry: Set(),783 schedFixed::scheduler::mRevoke: Set(),784 schedFixed::scheduler::mSchedule: Set("c2"),785 schedFixed::scheduler::published: 0,786 schedFixed::scheduler::publishedBy: Set(),787 schedFixed::scheduler::stolen: false,788 schedFixed::scheduler::ws:789 Map(790 "w1" ->791 {792 attached: Set(),793 built: false,794 expecting: false,795 running: false,796 session: true,797 up: true798 },799 "w2" ->800 {801 attached: Set(),802 built: false,803 expecting: false,804 running: false,805 session: true,806 up: true807 }808 )809}810811[State 20]812{813 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),814 schedFixed::scheduler::crashes: 2,815 schedFixed::scheduler::entry:816 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],817 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),818 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),819 schedFixed::scheduler::mBuild: Set(),820 schedFixed::scheduler::mDone: Set("w2"),821 schedFixed::scheduler::mExpect: Set(),822 schedFixed::scheduler::mResult: Set(),823 schedFixed::scheduler::mRetry: Set(),824 schedFixed::scheduler::mRevoke: Set(),825 schedFixed::scheduler::mSchedule: Set(),826 schedFixed::scheduler::published: 0,827 schedFixed::scheduler::publishedBy: Set(),828 schedFixed::scheduler::stolen: false,829 schedFixed::scheduler::ws:830 Map(831 "w1" ->832 {833 attached: Set(),834 built: false,835 expecting: false,836 running: false,837 session: true,838 up: true839 },840 "w2" ->841 {842 attached: Set(),843 built: false,844 expecting: false,845 running: false,846 session: true,847 up: true848 }849 )850}851852[State 21]853{854 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),855 schedFixed::scheduler::crashes: 2,856 schedFixed::scheduler::entry: [],857 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),858 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),859 schedFixed::scheduler::mBuild: Set(),860 schedFixed::scheduler::mDone: Set(),861 schedFixed::scheduler::mExpect: Set(),862 schedFixed::scheduler::mResult: Set(),863 schedFixed::scheduler::mRetry: Set(),864 schedFixed::scheduler::mRevoke: Set(),865 schedFixed::scheduler::mSchedule: Set(),866 schedFixed::scheduler::published: 0,867 schedFixed::scheduler::publishedBy: Set(),868 schedFixed::scheduler::stolen: false,869 schedFixed::scheduler::ws:870 Map(871 "w1" ->872 {873 attached: Set(),874 built: false,875 expecting: false,876 running: false,877 session: true,878 up: true879 },880 "w2" ->881 {882 attached: Set(),883 built: false,884 expecting: false,885 running: false,886 session: true,887 up: true888 }889 )890}891892[State 22]893{894 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),895 schedFixed::scheduler::crashes: 2,896 schedFixed::scheduler::entry: [],897 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),898 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),899 schedFixed::scheduler::mBuild: Set(("c1", "w2")),900 schedFixed::scheduler::mDone: Set(),901 schedFixed::scheduler::mExpect: Set(),902 schedFixed::scheduler::mResult: Set(),903 schedFixed::scheduler::mRetry: Set(),904 schedFixed::scheduler::mRevoke: Set(),905 schedFixed::scheduler::mSchedule: Set(),906 schedFixed::scheduler::published: 0,907 schedFixed::scheduler::publishedBy: Set(),908 schedFixed::scheduler::stolen: false,909 schedFixed::scheduler::ws:910 Map(911 "w1" ->912 {913 attached: Set(),914 built: false,915 expecting: false,916 running: false,917 session: true,918 up: true919 },920 "w2" ->921 {922 attached: Set(),923 built: false,924 expecting: false,925 running: false,926 session: true,927 up: true928 }929 )930}931932[State 23]933{934 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),935 schedFixed::scheduler::crashes: 2,936 schedFixed::scheduler::entry: [],937 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),938 schedFixed::scheduler::mAssigned: Set(),939 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),940 schedFixed::scheduler::mDone: Set(),941 schedFixed::scheduler::mExpect: Set(),942 schedFixed::scheduler::mResult: Set(),943 schedFixed::scheduler::mRetry: Set(),944 schedFixed::scheduler::mRevoke: Set(),945 schedFixed::scheduler::mSchedule: Set(),946 schedFixed::scheduler::published: 0,947 schedFixed::scheduler::publishedBy: Set(),948 schedFixed::scheduler::stolen: false,949 schedFixed::scheduler::ws:950 Map(951 "w1" ->952 {953 attached: Set(),954 built: false,955 expecting: false,956 running: false,957 session: true,958 up: true959 },960 "w2" ->961 {962 attached: Set(),963 built: false,964 expecting: false,965 running: false,966 session: true,967 up: true968 }969 )970}971972[State 24]973{974 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),975 schedFixed::scheduler::crashes: 2,976 schedFixed::scheduler::entry: [],977 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),978 schedFixed::scheduler::mAssigned: Set(),979 schedFixed::scheduler::mBuild: Set(("c1", "w2")),980 schedFixed::scheduler::mDone: Set(),981 schedFixed::scheduler::mExpect: Set(),982 schedFixed::scheduler::mResult: Set(),983 schedFixed::scheduler::mRetry: Set("c2"),984 schedFixed::scheduler::mRevoke: Set(),985 schedFixed::scheduler::mSchedule: Set(),986 schedFixed::scheduler::published: 0,987 schedFixed::scheduler::publishedBy: Set(),988 schedFixed::scheduler::stolen: false,989 schedFixed::scheduler::ws:990 Map(991 "w1" ->992 {993 attached: Set(),994 built: false,995 expecting: false,996 running: false,997 session: true,998 up: true999 },1000 "w2" ->1001 {1002 attached: Set(),1003 built: false,1004 expecting: false,1005 running: false,1006 session: true,1007 up: true1008 }1009 )1010}10111012[State 25]1013{1014 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1015 schedFixed::scheduler::crashes: 2,1016 schedFixed::scheduler::entry: [],1017 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1018 schedFixed::scheduler::mAssigned: Set(),1019 schedFixed::scheduler::mBuild: Set(("c1", "w2")),1020 schedFixed::scheduler::mDone: Set(),1021 schedFixed::scheduler::mExpect: Set(),1022 schedFixed::scheduler::mResult: Set(),1023 schedFixed::scheduler::mRetry: Set(),1024 schedFixed::scheduler::mRevoke: Set(),1025 schedFixed::scheduler::mSchedule: Set("c2"),1026 schedFixed::scheduler::published: 0,1027 schedFixed::scheduler::publishedBy: Set(),1028 schedFixed::scheduler::stolen: false,1029 schedFixed::scheduler::ws:1030 Map(1031 "w1" ->1032 {1033 attached: Set(),1034 built: false,1035 expecting: false,1036 running: false,1037 session: true,1038 up: true1039 },1040 "w2" ->1041 {1042 attached: Set(),1043 built: false,1044 expecting: false,1045 running: false,1046 session: true,1047 up: true1048 }1049 )1050}10511052[State 26]1053{1054 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1055 schedFixed::scheduler::crashes: 2,1056 schedFixed::scheduler::entry: [],1057 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1058 schedFixed::scheduler::mAssigned: Set(),1059 schedFixed::scheduler::mBuild: Set(),1060 schedFixed::scheduler::mDone: Set(),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("c2"),1066 schedFixed::scheduler::published: 0,1067 schedFixed::scheduler::publishedBy: Set(),1068 schedFixed::scheduler::stolen: false,1069 schedFixed::scheduler::ws:1070 Map(1071 "w1" ->1072 {1073 attached: Set(),1074 built: false,1075 expecting: false,1076 running: false,1077 session: true,1078 up: true1079 },1080 "w2" ->1081 {1082 attached: Set(),1083 built: false,1084 expecting: false,1085 running: false,1086 session: true,1087 up: true1088 }1089 )1090}10911092[State 27]1093{1094 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1095 schedFixed::scheduler::crashes: 2,1096 schedFixed::scheduler::entry: [],1097 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1098 schedFixed::scheduler::mAssigned: Set(),1099 schedFixed::scheduler::mBuild: Set(),1100 schedFixed::scheduler::mDone: Set(),1101 schedFixed::scheduler::mExpect: Set(),1102 schedFixed::scheduler::mResult: Set(),1103 schedFixed::scheduler::mRetry: Set(),1104 schedFixed::scheduler::mRevoke: Set(),1105 schedFixed::scheduler::mSchedule: Set("c1", "c2"),1106 schedFixed::scheduler::published: 0,1107 schedFixed::scheduler::publishedBy: Set(),1108 schedFixed::scheduler::stolen: false,1109 schedFixed::scheduler::ws:1110 Map(1111 "w1" ->1112 {1113 attached: Set(),1114 built: false,1115 expecting: false,1116 running: false,1117 session: true,1118 up: true1119 },1120 "w2" ->1121 {1122 attached: Set(),1123 built: false,1124 expecting: false,1125 running: false,1126 session: true,1127 up: true1128 }1129 )1130}11311132[State 28]1133{1134 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1135 schedFixed::scheduler::crashes: 2,1136 schedFixed::scheduler::entry:1137 [{ followers: Set("c1"), leased: true, worker: "w1" }],1138 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1139 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),1140 schedFixed::scheduler::mBuild: Set(),1141 schedFixed::scheduler::mDone: Set(),1142 schedFixed::scheduler::mExpect: Set("w1"),1143 schedFixed::scheduler::mResult: Set(),1144 schedFixed::scheduler::mRetry: Set(),1145 schedFixed::scheduler::mRevoke: Set(),1146 schedFixed::scheduler::mSchedule: Set("c2"),1147 schedFixed::scheduler::published: 0,1148 schedFixed::scheduler::publishedBy: Set(),1149 schedFixed::scheduler::stolen: false,1150 schedFixed::scheduler::ws:1151 Map(1152 "w1" ->1153 {1154 attached: Set(),1155 built: false,1156 expecting: false,1157 running: false,1158 session: true,1159 up: true1160 },1161 "w2" ->1162 {1163 attached: Set(),1164 built: false,1165 expecting: false,1166 running: false,1167 session: true,1168 up: true1169 }1170 )1171}11721173[State 29]1174{1175 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1176 schedFixed::scheduler::crashes: 2,1177 schedFixed::scheduler::entry:1178 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1179 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1180 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1181 schedFixed::scheduler::mBuild: Set(),1182 schedFixed::scheduler::mDone: Set(),1183 schedFixed::scheduler::mExpect: Set("w1"),1184 schedFixed::scheduler::mResult: Set(),1185 schedFixed::scheduler::mRetry: Set(),1186 schedFixed::scheduler::mRevoke: Set(),1187 schedFixed::scheduler::mSchedule: Set(),1188 schedFixed::scheduler::published: 0,1189 schedFixed::scheduler::publishedBy: Set(),1190 schedFixed::scheduler::stolen: false,1191 schedFixed::scheduler::ws:1192 Map(1193 "w1" ->1194 {1195 attached: Set(),1196 built: false,1197 expecting: false,1198 running: false,1199 session: true,1200 up: true1201 },1202 "w2" ->1203 {1204 attached: Set(),1205 built: false,1206 expecting: false,1207 running: false,1208 session: true,1209 up: true1210 }1211 )1212}12131214[State 30]1215{1216 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1217 schedFixed::scheduler::crashes: 2,1218 schedFixed::scheduler::entry:1219 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1220 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1221 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1222 schedFixed::scheduler::mBuild: Set(),1223 schedFixed::scheduler::mDone: Set(),1224 schedFixed::scheduler::mExpect: Set(),1225 schedFixed::scheduler::mResult: Set(),1226 schedFixed::scheduler::mRetry: Set(),1227 schedFixed::scheduler::mRevoke: Set(),1228 schedFixed::scheduler::mSchedule: Set(),1229 schedFixed::scheduler::published: 0,1230 schedFixed::scheduler::publishedBy: Set(),1231 schedFixed::scheduler::stolen: false,1232 schedFixed::scheduler::ws:1233 Map(1234 "w1" ->1235 {1236 attached: Set(),1237 built: false,1238 expecting: true,1239 running: false,1240 session: true,1241 up: true1242 },1243 "w2" ->1244 {1245 attached: Set(),1246 built: false,1247 expecting: false,1248 running: false,1249 session: true,1250 up: true1251 }1252 )1253}12541255[ok] No violation found (3354ms at 8945 traces/second).1256Trace length statistics: max=31, min=16, average=27.781257You may increase --max-samples and --max-steps.1258Use --verbosity to produce more (or less) output.1259Use --seed=0x857efdf37463aa23 --backend=rust to reproduce.1260An example execution:12611262[State 0]1263{1264 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1265 schedNoPush::scheduler::crashes: 0,1266 schedNoPush::scheduler::entry: [],1267 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1268 schedNoPush::scheduler::mAssigned: Set(),1269 schedNoPush::scheduler::mBuild: Set(),1270 schedNoPush::scheduler::mDone: Set(),1271 schedNoPush::scheduler::mExpect: Set(),1272 schedNoPush::scheduler::mResult: Set(),1273 schedNoPush::scheduler::mRetry: Set(),1274 schedNoPush::scheduler::mRevoke: Set(),1275 schedNoPush::scheduler::mSchedule: Set(),1276 schedNoPush::scheduler::published: 0,1277 schedNoPush::scheduler::publishedBy: Set(),1278 schedNoPush::scheduler::stolen: false,1279 schedNoPush::scheduler::ws:1280 Map(1281 "w1" ->1282 {1283 attached: Set(),1284 built: false,1285 expecting: false,1286 running: false,1287 session: true,1288 up: true1289 },1290 "w2" ->1291 {1292 attached: Set(),1293 built: false,1294 expecting: false,1295 running: false,1296 session: true,1297 up: true1298 }1299 )1300}13011302[State 1]1303{1304 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1305 schedNoPush::scheduler::crashes: 0,1306 schedNoPush::scheduler::entry: [],1307 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1308 schedNoPush::scheduler::mAssigned: Set(),1309 schedNoPush::scheduler::mBuild: Set(),1310 schedNoPush::scheduler::mDone: Set(),1311 schedNoPush::scheduler::mExpect: Set(),1312 schedNoPush::scheduler::mResult: Set(),1313 schedNoPush::scheduler::mRetry: Set(),1314 schedNoPush::scheduler::mRevoke: Set(),1315 schedNoPush::scheduler::mSchedule: Set("c2"),1316 schedNoPush::scheduler::published: 0,1317 schedNoPush::scheduler::publishedBy: Set(),1318 schedNoPush::scheduler::stolen: false,1319 schedNoPush::scheduler::ws:1320 Map(1321 "w1" ->1322 {1323 attached: Set(),1324 built: false,1325 expecting: false,1326 running: false,1327 session: true,1328 up: true1329 },1330 "w2" ->1331 {1332 attached: Set(),1333 built: false,1334 expecting: false,1335 running: false,1336 session: true,1337 up: true1338 }1339 )1340}13411342[State 2]1343{1344 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1345 schedNoPush::scheduler::crashes: 0,1346 schedNoPush::scheduler::entry:1347 [{ followers: Set("c2"), leased: true, worker: "w1" }],1348 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),1349 schedNoPush::scheduler::mAssigned: Set(("c2", "w1")),1350 schedNoPush::scheduler::mBuild: Set(),1351 schedNoPush::scheduler::mDone: Set(),1352 schedNoPush::scheduler::mExpect: Set(),1353 schedNoPush::scheduler::mResult: Set(),1354 schedNoPush::scheduler::mRetry: Set(),1355 schedNoPush::scheduler::mRevoke: Set(),1356 schedNoPush::scheduler::mSchedule: Set(),1357 schedNoPush::scheduler::published: 0,1358 schedNoPush::scheduler::publishedBy: Set(),1359 schedNoPush::scheduler::stolen: false,1360 schedNoPush::scheduler::ws:1361 Map(1362 "w1" ->1363 {1364 attached: Set(),1365 built: false,1366 expecting: false,1367 running: false,1368 session: true,1369 up: true1370 },1371 "w2" ->1372 {1373 attached: Set(),1374 built: false,1375 expecting: false,1376 running: false,1377 session: true,1378 up: true1379 }1380 )1381}13821383[State 3]1384{1385 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),1386 schedNoPush::scheduler::crashes: 0,1387 schedNoPush::scheduler::entry:1388 [{ followers: Set("c2"), leased: true, worker: "w1" }],1389 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),1390 schedNoPush::scheduler::mAssigned: Set(),1391 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),1392 schedNoPush::scheduler::mDone: Set(),1393 schedNoPush::scheduler::mExpect: Set(),1394 schedNoPush::scheduler::mResult: Set(),1395 schedNoPush::scheduler::mRetry: Set(),1396 schedNoPush::scheduler::mRevoke: Set(),1397 schedNoPush::scheduler::mSchedule: Set(),1398 schedNoPush::scheduler::published: 0,1399 schedNoPush::scheduler::publishedBy: Set(),1400 schedNoPush::scheduler::stolen: false,1401 schedNoPush::scheduler::ws:1402 Map(1403 "w1" ->1404 {1405 attached: Set(),1406 built: false,1407 expecting: false,1408 running: false,1409 session: true,1410 up: true1411 },1412 "w2" ->1413 {1414 attached: Set(),1415 built: false,1416 expecting: false,1417 running: false,1418 session: true,1419 up: true1420 }1421 )1422}14231424[State 4]1425{1426 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),1427 schedNoPush::scheduler::crashes: 1,1428 schedNoPush::scheduler::entry: [],1429 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1430 schedNoPush::scheduler::mAssigned: Set(),1431 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),1432 schedNoPush::scheduler::mDone: Set(),1433 schedNoPush::scheduler::mExpect: Set(),1434 schedNoPush::scheduler::mResult: Set(),1435 schedNoPush::scheduler::mRetry: Set(),1436 schedNoPush::scheduler::mRevoke: Set(),1437 schedNoPush::scheduler::mSchedule: Set(),1438 schedNoPush::scheduler::published: 0,1439 schedNoPush::scheduler::publishedBy: Set(),1440 schedNoPush::scheduler::stolen: false,1441 schedNoPush::scheduler::ws:1442 Map(1443 "w1" ->1444 {1445 attached: Set(),1446 built: false,1447 expecting: false,1448 running: false,1449 session: false,1450 up: true1451 },1452 "w2" ->1453 {1454 attached: Set(),1455 built: false,1456 expecting: false,1457 running: false,1458 session: false,1459 up: true1460 }1461 )1462}14631464[State 5]1465{1466 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),1467 schedNoPush::scheduler::crashes: 2,1468 schedNoPush::scheduler::entry: [],1469 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1470 schedNoPush::scheduler::mAssigned: Set(),1471 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),1472 schedNoPush::scheduler::mDone: Set(),1473 schedNoPush::scheduler::mExpect: Set(),1474 schedNoPush::scheduler::mResult: Set(),1475 schedNoPush::scheduler::mRetry: Set(),1476 schedNoPush::scheduler::mRevoke: Set(),1477 schedNoPush::scheduler::mSchedule: Set(),1478 schedNoPush::scheduler::published: 0,1479 schedNoPush::scheduler::publishedBy: Set(),1480 schedNoPush::scheduler::stolen: false,1481 schedNoPush::scheduler::ws:1482 Map(1483 "w1" ->1484 {1485 attached: Set(),1486 built: false,1487 expecting: false,1488 running: false,1489 session: false,1490 up: true1491 },1492 "w2" ->1493 {1494 attached: Set(),1495 built: false,1496 expecting: false,1497 running: false,1498 session: false,1499 up: false1500 }1501 )1502}15031504[State 6]1505{1506 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),1507 schedNoPush::scheduler::crashes: 2,1508 schedNoPush::scheduler::entry: [],1509 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1510 schedNoPush::scheduler::mAssigned: Set(),1511 schedNoPush::scheduler::mBuild: Set(("c2", "w1")),1512 schedNoPush::scheduler::mDone: Set(),1513 schedNoPush::scheduler::mExpect: Set(),1514 schedNoPush::scheduler::mResult: Set(),1515 schedNoPush::scheduler::mRetry: Set(),1516 schedNoPush::scheduler::mRevoke: Set(),1517 schedNoPush::scheduler::mSchedule: Set(),1518 schedNoPush::scheduler::published: 0,1519 schedNoPush::scheduler::publishedBy: Set(),1520 schedNoPush::scheduler::stolen: false,1521 schedNoPush::scheduler::ws:1522 Map(1523 "w1" ->1524 {1525 attached: Set(),1526 built: false,1527 expecting: false,1528 running: false,1529 session: true,1530 up: true1531 },1532 "w2" ->1533 {1534 attached: Set(),1535 built: false,1536 expecting: false,1537 running: false,1538 session: false,1539 up: false1540 }1541 )1542}15431544[State 7]1545{1546 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w1")),1547 schedNoPush::scheduler::crashes: 2,1548 schedNoPush::scheduler::entry: [],1549 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),1550 schedNoPush::scheduler::mAssigned: Set(),1551 schedNoPush::scheduler::mBuild: Set(),1552 schedNoPush::scheduler::mDone: Set(),1553 schedNoPush::scheduler::mExpect: Set(),1554 schedNoPush::scheduler::mResult: Set(),1555 schedNoPush::scheduler::mRetry: Set(),1556 schedNoPush::scheduler::mRevoke: Set(),1557 schedNoPush::scheduler::mSchedule: Set(),1558 schedNoPush::scheduler::published: 0,1559 schedNoPush::scheduler::publishedBy: Set(),1560 schedNoPush::scheduler::stolen: false,1561 schedNoPush::scheduler::ws:1562 Map(1563 "w1" ->1564 {1565 attached: Set("c2"),1566 built: false,1567 expecting: false,1568 running: true,1569 session: true,1570 up: true1571 },1572 "w2" ->1573 {1574 attached: Set(),1575 built: false,1576 expecting: false,1577 running: false,1578 session: false,1579 up: false1580 }1581 )1582}15831584[violation] Found an issue (114ms at 6456 traces/second).1585Use --verbosity=3 to show executions.1586Use --seed=0x8ab3fc6466667d79 --backend=rust to reproduce.1587error: Invariant violated1588An example execution:15891590[State 0]1591{1592 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1593 schedTerminal::scheduler::crashes: 0,1594 schedTerminal::scheduler::entry: [],1595 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1596 schedTerminal::scheduler::mAssigned: Set(),1597 schedTerminal::scheduler::mBuild: Set(),1598 schedTerminal::scheduler::mDone: Set(),1599 schedTerminal::scheduler::mExpect: Set(),1600 schedTerminal::scheduler::mResult: Set(),1601 schedTerminal::scheduler::mRetry: Set(),1602 schedTerminal::scheduler::mRevoke: Set(),1603 schedTerminal::scheduler::mSchedule: Set(),1604 schedTerminal::scheduler::published: 0,1605 schedTerminal::scheduler::publishedBy: Set(),1606 schedTerminal::scheduler::stolen: false,1607 schedTerminal::scheduler::ws:1608 Map(1609 "w1" ->1610 {1611 attached: Set(),1612 built: false,1613 expecting: false,1614 running: false,1615 session: true,1616 up: true1617 },1618 "w2" ->1619 {1620 attached: Set(),1621 built: false,1622 expecting: false,1623 running: false,1624 session: true,1625 up: true1626 }1627 )1628}16291630[State 1]1631{1632 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1633 schedTerminal::scheduler::crashes: 1,1634 schedTerminal::scheduler::entry: [],1635 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1636 schedTerminal::scheduler::mAssigned: Set(),1637 schedTerminal::scheduler::mBuild: Set(),1638 schedTerminal::scheduler::mDone: Set(),1639 schedTerminal::scheduler::mExpect: Set(),1640 schedTerminal::scheduler::mResult: Set(),1641 schedTerminal::scheduler::mRetry: Set(),1642 schedTerminal::scheduler::mRevoke: Set(),1643 schedTerminal::scheduler::mSchedule: Set(),1644 schedTerminal::scheduler::published: 0,1645 schedTerminal::scheduler::publishedBy: Set(),1646 schedTerminal::scheduler::stolen: false,1647 schedTerminal::scheduler::ws:1648 Map(1649 "w1" ->1650 {1651 attached: Set(),1652 built: false,1653 expecting: false,1654 running: false,1655 session: false,1656 up: true1657 },1658 "w2" ->1659 {1660 attached: Set(),1661 built: false,1662 expecting: false,1663 running: false,1664 session: false,1665 up: true1666 }1667 )1668}16691670[State 2]1671{1672 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1673 schedTerminal::scheduler::crashes: 1,1674 schedTerminal::scheduler::entry: [],1675 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1676 schedTerminal::scheduler::mAssigned: Set(),1677 schedTerminal::scheduler::mBuild: Set(),1678 schedTerminal::scheduler::mDone: Set(),1679 schedTerminal::scheduler::mExpect: Set(),1680 schedTerminal::scheduler::mResult: Set(),1681 schedTerminal::scheduler::mRetry: Set(),1682 schedTerminal::scheduler::mRevoke: Set(),1683 schedTerminal::scheduler::mSchedule: Set("c1"),1684 schedTerminal::scheduler::published: 0,1685 schedTerminal::scheduler::publishedBy: Set(),1686 schedTerminal::scheduler::stolen: false,1687 schedTerminal::scheduler::ws:1688 Map(1689 "w1" ->1690 {1691 attached: Set(),1692 built: false,1693 expecting: false,1694 running: false,1695 session: false,1696 up: true1697 },1698 "w2" ->1699 {1700 attached: Set(),1701 built: false,1702 expecting: false,1703 running: false,1704 session: false,1705 up: true1706 }1707 )1708}17091710[State 3]1711{1712 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),1713 schedTerminal::scheduler::crashes: 1,1714 schedTerminal::scheduler::entry: [],1715 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),1716 schedTerminal::scheduler::mAssigned: Set(),1717 schedTerminal::scheduler::mBuild: Set(),1718 schedTerminal::scheduler::mDone: Set(),1719 schedTerminal::scheduler::mExpect: Set(),1720 schedTerminal::scheduler::mResult: Set(),1721 schedTerminal::scheduler::mRetry: Set(),1722 schedTerminal::scheduler::mRevoke: Set(),1723 schedTerminal::scheduler::mSchedule: Set(),1724 schedTerminal::scheduler::published: 0,1725 schedTerminal::scheduler::publishedBy: Set(),1726 schedTerminal::scheduler::stolen: false,1727 schedTerminal::scheduler::ws:1728 Map(1729 "w1" ->1730 {1731 attached: Set(),1732 built: false,1733 expecting: false,1734 running: false,1735 session: false,1736 up: true1737 },1738 "w2" ->1739 {1740 attached: Set(),1741 built: false,1742 expecting: false,1743 running: false,1744 session: false,1745 up: true1746 }1747 )1748}17491750[violation] Found an issue (28ms at 893 traces/second).1751Use --verbosity=3 to show executions.1752Use --seed=0xa12871ecc9475c63 --backend=rust to reproduce.1753error: Invariant violated17541755 schedFixed1756 ok schedFixed::scheduler::dupBuildTest passed 100 test(s)1757 ok schedFixed::scheduler::helloStealTest passed 100 test(s)17581759 2 passing (56ms)17601761 schedNoRevoke1762 ok schedNoRevoke::scheduler::dupBuildTest passed 100 test(s)1763 ok schedNoRevoke::scheduler::helloStealTest passed 100 test(s)17641765 2 passing (55ms)17661767 schedNoFence1768 ok schedNoFence::scheduler::dupBuildTest passed 100 test(s)1769 ok schedNoFence::scheduler::helloStealTest passed 100 test(s)17701771 2 passing (54ms)17721773 schedNoReport1774 ok schedNoReport::scheduler::dupBuildTest passed 100 test(s)1775 ok schedNoReport::scheduler::helloStealTest passed 100 test(s)17761777 2 passing (55ms)17781779 schedHelloSteal1780 ok schedHelloSteal::scheduler::dupBuildTest passed 100 test(s)1781 ok schedHelloSteal::scheduler::helloStealTest passed 100 test(s)17821783 2 passing (54ms)1784An example execution:17851786[State 0]1787{1788 pushFixed::push::byPath: Map(),1789 pushFixed::push::inflight: Set(),1790 pushFixed::push::left: Map(),1791 pushFixed::push::sent: Map()1792}17931794[State 1]1795{1796 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),1797 pushFixed::push::inflight: Set((2, "a"), (2, "b")),1798 pushFixed::push::left: Map(2 -> 2),1799 pushFixed::push::sent: Map(2 -> Set("a", "b"))1800}18011802[State 2]1803{1804 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),1805 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a"), (2, "b")),1806 pushFixed::push::left: Map(1 -> 2, 2 -> 2),1807 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))1808}18091810[State 3]1811{1812 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1813 pushFixed::push::inflight:1814 Set((1, "a"), (1, "b"), (2, "a"), (2, "b"), (3, "a"), (3, "b")),1815 pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 2),1816 pushFixed::push::sent:1817 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1818}18191820[State 4]1821{1822 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1823 pushFixed::push::inflight:1824 Set((1, "a"), (1, "b"), (2, "a"), (2, "b"), (3, "b")),1825 pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 1),1826 pushFixed::push::sent:1827 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1828}18291830[State 5]1831{1832 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1833 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a"), (2, "b")),1834 pushFixed::push::left: Map(1 -> 2, 2 -> 2, 3 -> 0),1835 pushFixed::push::sent:1836 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1837}18381839[State 6]1840{1841 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1842 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "b")),1843 pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 0),1844 pushFixed::push::sent:1845 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1846}18471848[State 7]1849{1850 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1851 pushFixed::push::inflight: Set((1, "a"), (2, "b")),1852 pushFixed::push::left: Map(1 -> 1, 2 -> 1, 3 -> 0),1853 pushFixed::push::sent:1854 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1855}18561857[State 8]1858{1859 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1860 pushFixed::push::inflight: Set((1, "a")),1861 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 0),1862 pushFixed::push::sent:1863 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1864}18651866[State 9]1867{1868 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),1869 pushFixed::push::inflight: Set(),1870 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),1871 pushFixed::push::sent:1872 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))1873}18741875[ok] No violation found (135ms at 148148 traces/second).1876Trace length statistics: max=10, min=7, average=7.991877You may increase --max-samples and --max-steps.1878Use --verbosity to produce more (or less) output.1879Use --seed=0xc3b0d657e598004e --backend=rust to reproduce.