nix-grpc-store-spec
checks.aarch64-darwin.spec
· build #766
· 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::ws:21 Map(22 "w1" ->23 {24 attached: Set(),25 built: false,26 expecting: false,27 running: false,28 session: true,29 up: true30 },31 "w2" ->32 {33 attached: Set(),34 built: false,35 expecting: false,36 running: false,37 session: true,38 up: true39 }40 )41}4243[State 1]44{45 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),46 schedFixed::scheduler::crashes: 1,47 schedFixed::scheduler::entry: [],48 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),49 schedFixed::scheduler::mAssigned: Set(),50 schedFixed::scheduler::mBuild: Set(),51 schedFixed::scheduler::mDone: Set(),52 schedFixed::scheduler::mExpect: Set(),53 schedFixed::scheduler::mResult: Set(),54 schedFixed::scheduler::mRetry: Set(),55 schedFixed::scheduler::mRevoke: Set(),56 schedFixed::scheduler::mSchedule: Set(),57 schedFixed::scheduler::published: 0,58 schedFixed::scheduler::publishedBy: Set(),59 schedFixed::scheduler::ws:60 Map(61 "w1" ->62 {63 attached: Set(),64 built: false,65 expecting: false,66 running: false,67 session: false,68 up: true69 },70 "w2" ->71 {72 attached: Set(),73 built: false,74 expecting: false,75 running: false,76 session: false,77 up: true78 }79 )80}8182[State 2]83{84 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),85 schedFixed::scheduler::crashes: 1,86 schedFixed::scheduler::entry: [],87 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),88 schedFixed::scheduler::mAssigned: Set(),89 schedFixed::scheduler::mBuild: Set(),90 schedFixed::scheduler::mDone: Set(),91 schedFixed::scheduler::mExpect: Set(),92 schedFixed::scheduler::mResult: Set(),93 schedFixed::scheduler::mRetry: Set(),94 schedFixed::scheduler::mRevoke: Set(),95 schedFixed::scheduler::mSchedule: Set("c1"),96 schedFixed::scheduler::published: 0,97 schedFixed::scheduler::publishedBy: Set(),98 schedFixed::scheduler::ws:99 Map(100 "w1" ->101 {102 attached: Set(),103 built: false,104 expecting: false,105 running: false,106 session: false,107 up: true108 },109 "w2" ->110 {111 attached: Set(),112 built: false,113 expecting: false,114 running: false,115 session: false,116 up: true117 }118 )119}120121[State 3]122{123 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),124 schedFixed::scheduler::crashes: 1,125 schedFixed::scheduler::entry: [],126 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),127 schedFixed::scheduler::mAssigned: Set(),128 schedFixed::scheduler::mBuild: Set(),129 schedFixed::scheduler::mDone: Set(),130 schedFixed::scheduler::mExpect: Set(),131 schedFixed::scheduler::mResult: Set(),132 schedFixed::scheduler::mRetry: Set(),133 schedFixed::scheduler::mRevoke: Set(),134 schedFixed::scheduler::mSchedule: Set("c1"),135 schedFixed::scheduler::published: 0,136 schedFixed::scheduler::publishedBy: Set(),137 schedFixed::scheduler::ws:138 Map(139 "w1" ->140 {141 attached: Set(),142 built: false,143 expecting: false,144 running: false,145 session: false,146 up: true147 },148 "w2" ->149 {150 attached: Set(),151 built: false,152 expecting: false,153 running: false,154 session: true,155 up: true156 }157 )158}159160[State 4]161{162 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),163 schedFixed::scheduler::crashes: 1,164 schedFixed::scheduler::entry: [],165 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),166 schedFixed::scheduler::mAssigned: Set(),167 schedFixed::scheduler::mBuild: Set(),168 schedFixed::scheduler::mDone: Set(),169 schedFixed::scheduler::mExpect: Set(),170 schedFixed::scheduler::mResult: Set(),171 schedFixed::scheduler::mRetry: Set(),172 schedFixed::scheduler::mRevoke: Set(),173 schedFixed::scheduler::mSchedule: Set("c1", "c2"),174 schedFixed::scheduler::published: 0,175 schedFixed::scheduler::publishedBy: Set(),176 schedFixed::scheduler::ws:177 Map(178 "w1" ->179 {180 attached: Set(),181 built: false,182 expecting: false,183 running: false,184 session: false,185 up: true186 },187 "w2" ->188 {189 attached: Set(),190 built: false,191 expecting: false,192 running: false,193 session: true,194 up: true195 }196 )197}198199[State 5]200{201 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),202 schedFixed::scheduler::crashes: 1,203 schedFixed::scheduler::entry:204 [{ followers: Set("c1"), leased: true, worker: "w2" }],205 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),206 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),207 schedFixed::scheduler::mBuild: Set(),208 schedFixed::scheduler::mDone: Set(),209 schedFixed::scheduler::mExpect: Set("w2"),210 schedFixed::scheduler::mResult: Set(),211 schedFixed::scheduler::mRetry: Set(),212 schedFixed::scheduler::mRevoke: Set(),213 schedFixed::scheduler::mSchedule: Set("c2"),214 schedFixed::scheduler::published: 0,215 schedFixed::scheduler::publishedBy: Set(),216 schedFixed::scheduler::ws:217 Map(218 "w1" ->219 {220 attached: Set(),221 built: false,222 expecting: false,223 running: false,224 session: false,225 up: true226 },227 "w2" ->228 {229 attached: Set(),230 built: false,231 expecting: false,232 running: false,233 session: true,234 up: true235 }236 )237}238239[State 6]240{241 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),242 schedFixed::scheduler::crashes: 2,243 schedFixed::scheduler::entry:244 [{ followers: Set("c1"), leased: true, worker: "w2" }],245 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),246 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),247 schedFixed::scheduler::mBuild: Set(),248 schedFixed::scheduler::mDone: Set(),249 schedFixed::scheduler::mExpect: Set(),250 schedFixed::scheduler::mResult: Set(),251 schedFixed::scheduler::mRetry: Set(),252 schedFixed::scheduler::mRevoke: Set(),253 schedFixed::scheduler::mSchedule: Set("c2"),254 schedFixed::scheduler::published: 0,255 schedFixed::scheduler::publishedBy: Set(),256 schedFixed::scheduler::ws:257 Map(258 "w1" ->259 {260 attached: Set(),261 built: false,262 expecting: false,263 running: false,264 session: false,265 up: true266 },267 "w2" ->268 {269 attached: Set(),270 built: false,271 expecting: false,272 running: false,273 session: false,274 up: false275 }276 )277}278279[State 7]280{281 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),282 schedFixed::scheduler::crashes: 2,283 schedFixed::scheduler::entry:284 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],285 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),286 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),287 schedFixed::scheduler::mBuild: Set(),288 schedFixed::scheduler::mDone: Set(),289 schedFixed::scheduler::mExpect: Set(),290 schedFixed::scheduler::mResult: Set(),291 schedFixed::scheduler::mRetry: Set(),292 schedFixed::scheduler::mRevoke: Set(),293 schedFixed::scheduler::mSchedule: Set(),294 schedFixed::scheduler::published: 0,295 schedFixed::scheduler::publishedBy: Set(),296 schedFixed::scheduler::ws:297 Map(298 "w1" ->299 {300 attached: Set(),301 built: false,302 expecting: false,303 running: false,304 session: false,305 up: true306 },307 "w2" ->308 {309 attached: Set(),310 built: false,311 expecting: false,312 running: false,313 session: false,314 up: false315 }316 )317}318319[State 8]320{321 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),322 schedFixed::scheduler::crashes: 2,323 schedFixed::scheduler::entry: [],324 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),325 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),326 schedFixed::scheduler::mBuild: Set(),327 schedFixed::scheduler::mDone: Set(),328 schedFixed::scheduler::mExpect: Set(),329 schedFixed::scheduler::mResult: Set(),330 schedFixed::scheduler::mRetry: Set("c1", "c2"),331 schedFixed::scheduler::mRevoke: Set(),332 schedFixed::scheduler::mSchedule: Set(),333 schedFixed::scheduler::published: 0,334 schedFixed::scheduler::publishedBy: Set(),335 schedFixed::scheduler::ws:336 Map(337 "w1" ->338 {339 attached: Set(),340 built: false,341 expecting: false,342 running: false,343 session: false,344 up: true345 },346 "w2" ->347 {348 attached: Set(),349 built: false,350 expecting: false,351 running: false,352 session: true,353 up: true354 }355 )356}357358[State 9]359{360 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),361 schedFixed::scheduler::crashes: 2,362 schedFixed::scheduler::entry: [],363 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),364 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),365 schedFixed::scheduler::mBuild: Set(("c2", "w2")),366 schedFixed::scheduler::mDone: Set(),367 schedFixed::scheduler::mExpect: Set(),368 schedFixed::scheduler::mResult: Set(),369 schedFixed::scheduler::mRetry: Set("c1", "c2"),370 schedFixed::scheduler::mRevoke: Set(),371 schedFixed::scheduler::mSchedule: Set(),372 schedFixed::scheduler::published: 0,373 schedFixed::scheduler::publishedBy: Set(),374 schedFixed::scheduler::ws:375 Map(376 "w1" ->377 {378 attached: Set(),379 built: false,380 expecting: false,381 running: false,382 session: false,383 up: true384 },385 "w2" ->386 {387 attached: Set(),388 built: false,389 expecting: false,390 running: false,391 session: true,392 up: true393 }394 )395}396397[State 10]398{399 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),400 schedFixed::scheduler::crashes: 2,401 schedFixed::scheduler::entry: [],402 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),403 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),404 schedFixed::scheduler::mBuild: Set(("c2", "w2")),405 schedFixed::scheduler::mDone: Set(),406 schedFixed::scheduler::mExpect: Set(),407 schedFixed::scheduler::mResult: Set(),408 schedFixed::scheduler::mRetry: Set("c1"),409 schedFixed::scheduler::mRevoke: Set(),410 schedFixed::scheduler::mSchedule: Set("c2"),411 schedFixed::scheduler::published: 0,412 schedFixed::scheduler::publishedBy: Set(),413 schedFixed::scheduler::ws:414 Map(415 "w1" ->416 {417 attached: Set(),418 built: false,419 expecting: false,420 running: false,421 session: false,422 up: true423 },424 "w2" ->425 {426 attached: Set(),427 built: false,428 expecting: false,429 running: false,430 session: true,431 up: true432 }433 )434}435436[State 11]437{438 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),439 schedFixed::scheduler::crashes: 2,440 schedFixed::scheduler::entry: [],441 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),442 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),443 schedFixed::scheduler::mBuild: Set(("c2", "w2")),444 schedFixed::scheduler::mDone: Set(),445 schedFixed::scheduler::mExpect: Set(),446 schedFixed::scheduler::mResult: Set(),447 schedFixed::scheduler::mRetry: Set("c1"),448 schedFixed::scheduler::mRevoke: Set(),449 schedFixed::scheduler::mSchedule: Set("c2"),450 schedFixed::scheduler::published: 0,451 schedFixed::scheduler::publishedBy: Set(),452 schedFixed::scheduler::ws:453 Map(454 "w1" ->455 {456 attached: Set(),457 built: false,458 expecting: false,459 running: false,460 session: true,461 up: true462 },463 "w2" ->464 {465 attached: Set(),466 built: false,467 expecting: false,468 running: false,469 session: true,470 up: true471 }472 )473}474475[State 12]476{477 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),478 schedFixed::scheduler::crashes: 2,479 schedFixed::scheduler::entry: [],480 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),481 schedFixed::scheduler::mAssigned: Set(),482 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),483 schedFixed::scheduler::mDone: Set(),484 schedFixed::scheduler::mExpect: Set(),485 schedFixed::scheduler::mResult: Set(),486 schedFixed::scheduler::mRetry: Set("c1"),487 schedFixed::scheduler::mRevoke: Set(),488 schedFixed::scheduler::mSchedule: Set("c2"),489 schedFixed::scheduler::published: 0,490 schedFixed::scheduler::publishedBy: Set(),491 schedFixed::scheduler::ws:492 Map(493 "w1" ->494 {495 attached: Set(),496 built: false,497 expecting: false,498 running: false,499 session: true,500 up: true501 },502 "w2" ->503 {504 attached: Set(),505 built: false,506 expecting: false,507 running: false,508 session: true,509 up: true510 }511 )512}513514[State 13]515{516 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),517 schedFixed::scheduler::crashes: 2,518 schedFixed::scheduler::entry: [],519 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),520 schedFixed::scheduler::mAssigned: Set(),521 schedFixed::scheduler::mBuild: Set(("c1", "w2"), ("c2", "w2")),522 schedFixed::scheduler::mDone: Set(),523 schedFixed::scheduler::mExpect: Set(),524 schedFixed::scheduler::mResult: Set(),525 schedFixed::scheduler::mRetry: Set(),526 schedFixed::scheduler::mRevoke: Set(),527 schedFixed::scheduler::mSchedule: Set("c1", "c2"),528 schedFixed::scheduler::published: 0,529 schedFixed::scheduler::publishedBy: Set(),530 schedFixed::scheduler::ws:531 Map(532 "w1" ->533 {534 attached: Set(),535 built: false,536 expecting: false,537 running: false,538 session: true,539 up: true540 },541 "w2" ->542 {543 attached: Set(),544 built: false,545 expecting: false,546 running: false,547 session: true,548 up: true549 }550 )551}552553[State 14]554{555 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),556 schedFixed::scheduler::crashes: 2,557 schedFixed::scheduler::entry: [],558 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),559 schedFixed::scheduler::mAssigned: Set(),560 schedFixed::scheduler::mBuild: Set(("c1", "w2")),561 schedFixed::scheduler::mDone: Set(),562 schedFixed::scheduler::mExpect: Set(),563 schedFixed::scheduler::mResult: Set(),564 schedFixed::scheduler::mRetry: Set("c2"),565 schedFixed::scheduler::mRevoke: Set(),566 schedFixed::scheduler::mSchedule: Set("c1", "c2"),567 schedFixed::scheduler::published: 0,568 schedFixed::scheduler::publishedBy: Set(),569 schedFixed::scheduler::ws:570 Map(571 "w1" ->572 {573 attached: Set(),574 built: false,575 expecting: false,576 running: false,577 session: true,578 up: true579 },580 "w2" ->581 {582 attached: Set(),583 built: false,584 expecting: false,585 running: false,586 session: true,587 up: true588 }589 )590}591592[State 15]593{594 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),595 schedFixed::scheduler::crashes: 2,596 schedFixed::scheduler::entry:597 [{ followers: Set("c1"), leased: true, worker: "w1" }],598 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),599 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),600 schedFixed::scheduler::mBuild: Set(("c1", "w2")),601 schedFixed::scheduler::mDone: Set(),602 schedFixed::scheduler::mExpect: Set("w1"),603 schedFixed::scheduler::mResult: Set(),604 schedFixed::scheduler::mRetry: Set("c2"),605 schedFixed::scheduler::mRevoke: Set(),606 schedFixed::scheduler::mSchedule: Set("c2"),607 schedFixed::scheduler::published: 0,608 schedFixed::scheduler::publishedBy: Set(),609 schedFixed::scheduler::ws:610 Map(611 "w1" ->612 {613 attached: Set(),614 built: false,615 expecting: false,616 running: false,617 session: true,618 up: true619 },620 "w2" ->621 {622 attached: Set(),623 built: false,624 expecting: false,625 running: false,626 session: true,627 up: true628 }629 )630}631632[State 16]633{634 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),635 schedFixed::scheduler::crashes: 2,636 schedFixed::scheduler::entry:637 [{ followers: Set("c1"), leased: true, worker: "w1" }],638 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),639 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),640 schedFixed::scheduler::mBuild: Set(("c1", "w2")),641 schedFixed::scheduler::mDone: Set(),642 schedFixed::scheduler::mExpect: Set(),643 schedFixed::scheduler::mResult: Set(),644 schedFixed::scheduler::mRetry: Set("c2"),645 schedFixed::scheduler::mRevoke: Set(),646 schedFixed::scheduler::mSchedule: Set("c2"),647 schedFixed::scheduler::published: 0,648 schedFixed::scheduler::publishedBy: Set(),649 schedFixed::scheduler::ws:650 Map(651 "w1" ->652 {653 attached: Set(),654 built: false,655 expecting: true,656 running: true,657 session: true,658 up: true659 },660 "w2" ->661 {662 attached: Set(),663 built: false,664 expecting: false,665 running: false,666 session: true,667 up: true668 }669 )670}671672[State 17]673{674 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),675 schedFixed::scheduler::crashes: 2,676 schedFixed::scheduler::entry:677 [{ followers: Set("c1"), leased: true, worker: "w1" }],678 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),679 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),680 schedFixed::scheduler::mBuild: Set(("c1", "w2")),681 schedFixed::scheduler::mDone: Set(),682 schedFixed::scheduler::mExpect: Set(),683 schedFixed::scheduler::mResult: Set(),684 schedFixed::scheduler::mRetry: Set(),685 schedFixed::scheduler::mRevoke: Set(),686 schedFixed::scheduler::mSchedule: Set("c2"),687 schedFixed::scheduler::published: 0,688 schedFixed::scheduler::publishedBy: Set(),689 schedFixed::scheduler::ws:690 Map(691 "w1" ->692 {693 attached: Set(),694 built: false,695 expecting: true,696 running: true,697 session: true,698 up: true699 },700 "w2" ->701 {702 attached: Set(),703 built: false,704 expecting: false,705 running: false,706 session: true,707 up: true708 }709 )710}711712[State 18]713{714 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),715 schedFixed::scheduler::crashes: 2,716 schedFixed::scheduler::entry:717 [{ followers: Set("c1"), leased: true, worker: "w1" }],718 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),719 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),720 schedFixed::scheduler::mBuild: Set(),721 schedFixed::scheduler::mDone: Set(),722 schedFixed::scheduler::mExpect: Set(),723 schedFixed::scheduler::mResult: Set(),724 schedFixed::scheduler::mRetry: Set("c1"),725 schedFixed::scheduler::mRevoke: Set(),726 schedFixed::scheduler::mSchedule: Set("c2"),727 schedFixed::scheduler::published: 0,728 schedFixed::scheduler::publishedBy: Set(),729 schedFixed::scheduler::ws:730 Map(731 "w1" ->732 {733 attached: Set(),734 built: false,735 expecting: true,736 running: true,737 session: true,738 up: true739 },740 "w2" ->741 {742 attached: Set(),743 built: false,744 expecting: false,745 running: false,746 session: true,747 up: true748 }749 )750}751752[State 19]753{754 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),755 schedFixed::scheduler::crashes: 2,756 schedFixed::scheduler::entry:757 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],758 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),759 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),760 schedFixed::scheduler::mBuild: Set(),761 schedFixed::scheduler::mDone: Set(),762 schedFixed::scheduler::mExpect: Set(),763 schedFixed::scheduler::mResult: Set(),764 schedFixed::scheduler::mRetry: Set("c1"),765 schedFixed::scheduler::mRevoke: Set(),766 schedFixed::scheduler::mSchedule: Set(),767 schedFixed::scheduler::published: 0,768 schedFixed::scheduler::publishedBy: Set(),769 schedFixed::scheduler::ws:770 Map(771 "w1" ->772 {773 attached: Set(),774 built: false,775 expecting: true,776 running: true,777 session: true,778 up: true779 },780 "w2" ->781 {782 attached: Set(),783 built: false,784 expecting: false,785 running: false,786 session: true,787 up: true788 }789 )790}791792[State 20]793{794 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),795 schedFixed::scheduler::crashes: 2,796 schedFixed::scheduler::entry:797 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],798 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),799 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),800 schedFixed::scheduler::mBuild: Set(),801 schedFixed::scheduler::mDone: Set("w1"),802 schedFixed::scheduler::mExpect: Set(),803 schedFixed::scheduler::mResult: Set(),804 schedFixed::scheduler::mRetry: Set("c1"),805 schedFixed::scheduler::mRevoke: Set(),806 schedFixed::scheduler::mSchedule: Set(),807 schedFixed::scheduler::published: 1,808 schedFixed::scheduler::publishedBy: Set("w1"),809 schedFixed::scheduler::ws:810 Map(811 "w1" ->812 {813 attached: Set(),814 built: true,815 expecting: false,816 running: false,817 session: true,818 up: true819 },820 "w2" ->821 {822 attached: Set(),823 built: false,824 expecting: false,825 running: false,826 session: true,827 up: true828 }829 )830}831832[State 21]833{834 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),835 schedFixed::scheduler::crashes: 2,836 schedFixed::scheduler::entry: [],837 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),838 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),839 schedFixed::scheduler::mBuild: Set(),840 schedFixed::scheduler::mDone: Set(),841 schedFixed::scheduler::mExpect: Set(),842 schedFixed::scheduler::mResult: Set(),843 schedFixed::scheduler::mRetry: Set("c1"),844 schedFixed::scheduler::mRevoke: Set(),845 schedFixed::scheduler::mSchedule: Set(),846 schedFixed::scheduler::published: 1,847 schedFixed::scheduler::publishedBy: Set("w1"),848 schedFixed::scheduler::ws:849 Map(850 "w1" ->851 {852 attached: Set(),853 built: true,854 expecting: false,855 running: false,856 session: true,857 up: true858 },859 "w2" ->860 {861 attached: Set(),862 built: false,863 expecting: false,864 running: false,865 session: true,866 up: true867 }868 )869}870871[State 22]872{873 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),874 schedFixed::scheduler::crashes: 2,875 schedFixed::scheduler::entry: [],876 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),877 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),878 schedFixed::scheduler::mBuild: Set(("c2", "w1")),879 schedFixed::scheduler::mDone: Set(),880 schedFixed::scheduler::mExpect: Set(),881 schedFixed::scheduler::mResult: Set(),882 schedFixed::scheduler::mRetry: Set("c1"),883 schedFixed::scheduler::mRevoke: Set(),884 schedFixed::scheduler::mSchedule: Set(),885 schedFixed::scheduler::published: 1,886 schedFixed::scheduler::publishedBy: Set("w1"),887 schedFixed::scheduler::ws:888 Map(889 "w1" ->890 {891 attached: Set(),892 built: true,893 expecting: false,894 running: false,895 session: true,896 up: true897 },898 "w2" ->899 {900 attached: Set(),901 built: false,902 expecting: false,903 running: false,904 session: true,905 up: true906 }907 )908}909910[State 23]911{912 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),913 schedFixed::scheduler::crashes: 2,914 schedFixed::scheduler::entry: [],915 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),916 schedFixed::scheduler::mAssigned: Set(),917 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),918 schedFixed::scheduler::mDone: Set(),919 schedFixed::scheduler::mExpect: Set(),920 schedFixed::scheduler::mResult: Set(),921 schedFixed::scheduler::mRetry: Set("c1"),922 schedFixed::scheduler::mRevoke: Set(),923 schedFixed::scheduler::mSchedule: Set(),924 schedFixed::scheduler::published: 1,925 schedFixed::scheduler::publishedBy: Set("w1"),926 schedFixed::scheduler::ws:927 Map(928 "w1" ->929 {930 attached: Set(),931 built: true,932 expecting: false,933 running: false,934 session: true,935 up: true936 },937 "w2" ->938 {939 attached: Set(),940 built: false,941 expecting: false,942 running: false,943 session: true,944 up: true945 }946 )947}948949[State 24]950{951 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),952 schedFixed::scheduler::crashes: 2,953 schedFixed::scheduler::entry: [],954 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),955 schedFixed::scheduler::mAssigned: Set(),956 schedFixed::scheduler::mBuild: Set(("c1", "w1")),957 schedFixed::scheduler::mDone: Set(),958 schedFixed::scheduler::mExpect: Set(),959 schedFixed::scheduler::mResult: Set("c2"),960 schedFixed::scheduler::mRetry: Set("c1"),961 schedFixed::scheduler::mRevoke: Set(),962 schedFixed::scheduler::mSchedule: Set(),963 schedFixed::scheduler::published: 1,964 schedFixed::scheduler::publishedBy: Set("w1"),965 schedFixed::scheduler::ws:966 Map(967 "w1" ->968 {969 attached: Set(),970 built: true,971 expecting: false,972 running: false,973 session: true,974 up: true975 },976 "w2" ->977 {978 attached: Set(),979 built: false,980 expecting: false,981 running: false,982 session: true,983 up: true984 }985 )986}987988[State 25]989{990 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CDone),991 schedFixed::scheduler::crashes: 2,992 schedFixed::scheduler::entry: [],993 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),994 schedFixed::scheduler::mAssigned: Set(),995 schedFixed::scheduler::mBuild: Set(("c1", "w1")),996 schedFixed::scheduler::mDone: Set(),997 schedFixed::scheduler::mExpect: Set(),998 schedFixed::scheduler::mResult: Set(),999 schedFixed::scheduler::mRetry: Set("c1"),1000 schedFixed::scheduler::mRevoke: Set(),1001 schedFixed::scheduler::mSchedule: Set(),1002 schedFixed::scheduler::published: 1,1003 schedFixed::scheduler::publishedBy: Set("w1"),1004 schedFixed::scheduler::ws:1005 Map(1006 "w1" ->1007 {1008 attached: Set(),1009 built: true,1010 expecting: false,1011 running: false,1012 session: true,1013 up: true1014 },1015 "w2" ->1016 {1017 attached: Set(),1018 built: false,1019 expecting: false,1020 running: false,1021 session: true,1022 up: true1023 }1024 )1025}10261027[State 26]1028{1029 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),1030 schedFixed::scheduler::crashes: 2,1031 schedFixed::scheduler::entry: [],1032 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1033 schedFixed::scheduler::mAssigned: Set(),1034 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1035 schedFixed::scheduler::mDone: Set(),1036 schedFixed::scheduler::mExpect: Set(),1037 schedFixed::scheduler::mResult: Set(),1038 schedFixed::scheduler::mRetry: Set(),1039 schedFixed::scheduler::mRevoke: Set(),1040 schedFixed::scheduler::mSchedule: Set("c1"),1041 schedFixed::scheduler::published: 1,1042 schedFixed::scheduler::publishedBy: Set("w1"),1043 schedFixed::scheduler::ws:1044 Map(1045 "w1" ->1046 {1047 attached: Set(),1048 built: true,1049 expecting: false,1050 running: false,1051 session: true,1052 up: true1053 },1054 "w2" ->1055 {1056 attached: Set(),1057 built: false,1058 expecting: false,1059 running: false,1060 session: true,1061 up: true1062 }1063 )1064}10651066[State 27]1067{1068 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CDone),1069 schedFixed::scheduler::crashes: 2,1070 schedFixed::scheduler::entry: [],1071 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1072 schedFixed::scheduler::mAssigned: Set(),1073 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1074 schedFixed::scheduler::mDone: Set(),1075 schedFixed::scheduler::mExpect: Set(),1076 schedFixed::scheduler::mResult: Set("c1"),1077 schedFixed::scheduler::mRetry: Set(),1078 schedFixed::scheduler::mRevoke: Set(),1079 schedFixed::scheduler::mSchedule: Set(),1080 schedFixed::scheduler::published: 1,1081 schedFixed::scheduler::publishedBy: Set("w1"),1082 schedFixed::scheduler::ws:1083 Map(1084 "w1" ->1085 {1086 attached: Set(),1087 built: true,1088 expecting: false,1089 running: false,1090 session: true,1091 up: true1092 },1093 "w2" ->1094 {1095 attached: Set(),1096 built: false,1097 expecting: false,1098 running: false,1099 session: true,1100 up: true1101 }1102 )1103}11041105[State 28]1106{1107 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),1108 schedFixed::scheduler::crashes: 2,1109 schedFixed::scheduler::entry: [],1110 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1111 schedFixed::scheduler::mAssigned: Set(),1112 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1113 schedFixed::scheduler::mDone: Set(),1114 schedFixed::scheduler::mExpect: Set(),1115 schedFixed::scheduler::mResult: Set(),1116 schedFixed::scheduler::mRetry: Set(),1117 schedFixed::scheduler::mRevoke: Set(),1118 schedFixed::scheduler::mSchedule: Set(),1119 schedFixed::scheduler::published: 1,1120 schedFixed::scheduler::publishedBy: Set("w1"),1121 schedFixed::scheduler::ws:1122 Map(1123 "w1" ->1124 {1125 attached: Set(),1126 built: true,1127 expecting: false,1128 running: false,1129 session: true,1130 up: true1131 },1132 "w2" ->1133 {1134 attached: Set(),1135 built: false,1136 expecting: false,1137 running: false,1138 session: true,1139 up: true1140 }1141 )1142}11431144[State 29]1145{1146 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),1147 schedFixed::scheduler::crashes: 2,1148 schedFixed::scheduler::entry: [],1149 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1150 schedFixed::scheduler::mAssigned: Set(),1151 schedFixed::scheduler::mBuild: Set(),1152 schedFixed::scheduler::mDone: Set(),1153 schedFixed::scheduler::mExpect: Set(),1154 schedFixed::scheduler::mResult: Set("c1"),1155 schedFixed::scheduler::mRetry: Set(),1156 schedFixed::scheduler::mRevoke: Set(),1157 schedFixed::scheduler::mSchedule: Set(),1158 schedFixed::scheduler::published: 1,1159 schedFixed::scheduler::publishedBy: Set("w1"),1160 schedFixed::scheduler::ws:1161 Map(1162 "w1" ->1163 {1164 attached: Set(),1165 built: true,1166 expecting: false,1167 running: false,1168 session: true,1169 up: true1170 },1171 "w2" ->1172 {1173 attached: Set(),1174 built: false,1175 expecting: false,1176 running: false,1177 session: true,1178 up: true1179 }1180 )1181}11821183[State 30]1184{1185 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),1186 schedFixed::scheduler::crashes: 2,1187 schedFixed::scheduler::entry: [],1188 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1189 schedFixed::scheduler::mAssigned: Set(),1190 schedFixed::scheduler::mBuild: Set(),1191 schedFixed::scheduler::mDone: Set(),1192 schedFixed::scheduler::mExpect: Set(),1193 schedFixed::scheduler::mResult: Set(),1194 schedFixed::scheduler::mRetry: Set(),1195 schedFixed::scheduler::mRevoke: Set(),1196 schedFixed::scheduler::mSchedule: Set(),1197 schedFixed::scheduler::published: 1,1198 schedFixed::scheduler::publishedBy: Set("w1"),1199 schedFixed::scheduler::ws:1200 Map(1201 "w1" ->1202 {1203 attached: Set(),1204 built: true,1205 expecting: false,1206 running: false,1207 session: true,1208 up: true1209 },1210 "w2" ->1211 {1212 attached: Set(),1213 built: false,1214 expecting: false,1215 running: false,1216 session: true,1217 up: true1218 }1219 )1220}12211222[ok] No violation found (27476ms at 1092 traces/second).1223Trace length statistics: max=31, min=15, average=18.831224You may increase --max-samples and --max-steps.1225Use --verbosity to produce more (or less) output.1226Use --seed=0x75b674f7b0545bef --backend=rust to reproduce.1227An example execution:12281229[State 0]1230{1231 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1232 schedNoRevoke::scheduler::crashes: 0,1233 schedNoRevoke::scheduler::entry: [],1234 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1235 schedNoRevoke::scheduler::mAssigned: Set(),1236 schedNoRevoke::scheduler::mBuild: Set(),1237 schedNoRevoke::scheduler::mDone: Set(),1238 schedNoRevoke::scheduler::mExpect: Set(),1239 schedNoRevoke::scheduler::mResult: Set(),1240 schedNoRevoke::scheduler::mRetry: Set(),1241 schedNoRevoke::scheduler::mRevoke: Set(),1242 schedNoRevoke::scheduler::mSchedule: Set(),1243 schedNoRevoke::scheduler::published: 0,1244 schedNoRevoke::scheduler::publishedBy: Set(),1245 schedNoRevoke::scheduler::ws:1246 Map(1247 "w1" ->1248 {1249 attached: Set(),1250 built: false,1251 expecting: false,1252 running: false,1253 session: true,1254 up: true1255 },1256 "w2" ->1257 {1258 attached: Set(),1259 built: false,1260 expecting: false,1261 running: false,1262 session: true,1263 up: true1264 }1265 )1266}12671268[State 1]1269{1270 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1271 schedNoRevoke::scheduler::crashes: 0,1272 schedNoRevoke::scheduler::entry: [],1273 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1274 schedNoRevoke::scheduler::mAssigned: Set(),1275 schedNoRevoke::scheduler::mBuild: Set(),1276 schedNoRevoke::scheduler::mDone: Set(),1277 schedNoRevoke::scheduler::mExpect: Set(),1278 schedNoRevoke::scheduler::mResult: Set(),1279 schedNoRevoke::scheduler::mRetry: Set(),1280 schedNoRevoke::scheduler::mRevoke: Set(),1281 schedNoRevoke::scheduler::mSchedule: Set("c2"),1282 schedNoRevoke::scheduler::published: 0,1283 schedNoRevoke::scheduler::publishedBy: Set(),1284 schedNoRevoke::scheduler::ws:1285 Map(1286 "w1" ->1287 {1288 attached: Set(),1289 built: false,1290 expecting: false,1291 running: false,1292 session: true,1293 up: true1294 },1295 "w2" ->1296 {1297 attached: Set(),1298 built: false,1299 expecting: false,1300 running: false,1301 session: true,1302 up: true1303 }1304 )1305}13061307[State 2]1308{1309 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1310 schedNoRevoke::scheduler::crashes: 0,1311 schedNoRevoke::scheduler::entry:1312 [{ followers: Set("c2"), leased: true, worker: "w2" }],1313 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1314 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w2")),1315 schedNoRevoke::scheduler::mBuild: Set(),1316 schedNoRevoke::scheduler::mDone: Set(),1317 schedNoRevoke::scheduler::mExpect: Set("w2"),1318 schedNoRevoke::scheduler::mResult: Set(),1319 schedNoRevoke::scheduler::mRetry: Set(),1320 schedNoRevoke::scheduler::mRevoke: Set(),1321 schedNoRevoke::scheduler::mSchedule: Set(),1322 schedNoRevoke::scheduler::published: 0,1323 schedNoRevoke::scheduler::publishedBy: Set(),1324 schedNoRevoke::scheduler::ws:1325 Map(1326 "w1" ->1327 {1328 attached: Set(),1329 built: false,1330 expecting: false,1331 running: false,1332 session: true,1333 up: true1334 },1335 "w2" ->1336 {1337 attached: Set(),1338 built: false,1339 expecting: false,1340 running: false,1341 session: true,1342 up: true1343 }1344 )1345}13461347[State 3]1348{1349 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),1350 schedNoRevoke::scheduler::crashes: 0,1351 schedNoRevoke::scheduler::entry:1352 [{ followers: Set("c2"), leased: true, worker: "w2" }],1353 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1354 schedNoRevoke::scheduler::mAssigned: Set(),1355 schedNoRevoke::scheduler::mBuild: Set(("c2", "w2")),1356 schedNoRevoke::scheduler::mDone: Set(),1357 schedNoRevoke::scheduler::mExpect: Set("w2"),1358 schedNoRevoke::scheduler::mResult: Set(),1359 schedNoRevoke::scheduler::mRetry: Set(),1360 schedNoRevoke::scheduler::mRevoke: Set(),1361 schedNoRevoke::scheduler::mSchedule: Set(),1362 schedNoRevoke::scheduler::published: 0,1363 schedNoRevoke::scheduler::publishedBy: Set(),1364 schedNoRevoke::scheduler::ws:1365 Map(1366 "w1" ->1367 {1368 attached: Set(),1369 built: false,1370 expecting: false,1371 running: false,1372 session: true,1373 up: true1374 },1375 "w2" ->1376 {1377 attached: Set(),1378 built: false,1379 expecting: false,1380 running: false,1381 session: true,1382 up: true1383 }1384 )1385}13861387[State 4]1388{1389 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),1390 schedNoRevoke::scheduler::crashes: 0,1391 schedNoRevoke::scheduler::entry:1392 [{ followers: Set("c2"), leased: true, worker: "w2" }],1393 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1394 schedNoRevoke::scheduler::mAssigned: Set(),1395 schedNoRevoke::scheduler::mBuild: Set(("c2", "w2")),1396 schedNoRevoke::scheduler::mDone: Set(),1397 schedNoRevoke::scheduler::mExpect: Set(),1398 schedNoRevoke::scheduler::mResult: Set(),1399 schedNoRevoke::scheduler::mRetry: Set(),1400 schedNoRevoke::scheduler::mRevoke: Set(),1401 schedNoRevoke::scheduler::mSchedule: Set(),1402 schedNoRevoke::scheduler::published: 0,1403 schedNoRevoke::scheduler::publishedBy: Set(),1404 schedNoRevoke::scheduler::ws:1405 Map(1406 "w1" ->1407 {1408 attached: Set(),1409 built: false,1410 expecting: false,1411 running: false,1412 session: true,1413 up: true1414 },1415 "w2" ->1416 {1417 attached: Set(),1418 built: false,1419 expecting: true,1420 running: true,1421 session: true,1422 up: true1423 }1424 )1425}14261427[State 5]1428{1429 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),1430 schedNoRevoke::scheduler::crashes: 1,1431 schedNoRevoke::scheduler::entry: [],1432 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1433 schedNoRevoke::scheduler::mAssigned: Set(),1434 schedNoRevoke::scheduler::mBuild: Set(("c2", "w2")),1435 schedNoRevoke::scheduler::mDone: Set(),1436 schedNoRevoke::scheduler::mExpect: Set(),1437 schedNoRevoke::scheduler::mResult: Set(),1438 schedNoRevoke::scheduler::mRetry: Set(),1439 schedNoRevoke::scheduler::mRevoke: Set(),1440 schedNoRevoke::scheduler::mSchedule: Set(),1441 schedNoRevoke::scheduler::published: 0,1442 schedNoRevoke::scheduler::publishedBy: Set(),1443 schedNoRevoke::scheduler::ws:1444 Map(1445 "w1" ->1446 {1447 attached: Set(),1448 built: false,1449 expecting: false,1450 running: false,1451 session: false,1452 up: true1453 },1454 "w2" ->1455 {1456 attached: Set(),1457 built: false,1458 expecting: true,1459 running: true,1460 session: false,1461 up: true1462 }1463 )1464}14651466[State 6]1467{1468 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1469 schedNoRevoke::scheduler::crashes: 1,1470 schedNoRevoke::scheduler::entry: [],1471 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1472 schedNoRevoke::scheduler::mAssigned: Set(),1473 schedNoRevoke::scheduler::mBuild: Set(("c2", "w2")),1474 schedNoRevoke::scheduler::mDone: Set(),1475 schedNoRevoke::scheduler::mExpect: Set(),1476 schedNoRevoke::scheduler::mResult: Set(),1477 schedNoRevoke::scheduler::mRetry: Set(),1478 schedNoRevoke::scheduler::mRevoke: Set(),1479 schedNoRevoke::scheduler::mSchedule: Set("c1"),1480 schedNoRevoke::scheduler::published: 0,1481 schedNoRevoke::scheduler::publishedBy: Set(),1482 schedNoRevoke::scheduler::ws:1483 Map(1484 "w1" ->1485 {1486 attached: Set(),1487 built: false,1488 expecting: false,1489 running: false,1490 session: false,1491 up: true1492 },1493 "w2" ->1494 {1495 attached: Set(),1496 built: false,1497 expecting: true,1498 running: true,1499 session: false,1500 up: true1501 }1502 )1503}15041505[State 7]1506{1507 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1508 schedNoRevoke::scheduler::crashes: 2,1509 schedNoRevoke::scheduler::entry: [],1510 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1511 schedNoRevoke::scheduler::mAssigned: Set(),1512 schedNoRevoke::scheduler::mBuild: Set(("c2", "w2")),1513 schedNoRevoke::scheduler::mDone: Set(),1514 schedNoRevoke::scheduler::mExpect: Set(),1515 schedNoRevoke::scheduler::mResult: Set(),1516 schedNoRevoke::scheduler::mRetry: Set(),1517 schedNoRevoke::scheduler::mRevoke: Set(),1518 schedNoRevoke::scheduler::mSchedule: Set("c1"),1519 schedNoRevoke::scheduler::published: 0,1520 schedNoRevoke::scheduler::publishedBy: Set(),1521 schedNoRevoke::scheduler::ws:1522 Map(1523 "w1" ->1524 {1525 attached: Set(),1526 built: false,1527 expecting: false,1528 running: false,1529 session: false,1530 up: false1531 },1532 "w2" ->1533 {1534 attached: Set(),1535 built: false,1536 expecting: true,1537 running: true,1538 session: false,1539 up: true1540 }1541 )1542}15431544[State 8]1545{1546 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1547 schedNoRevoke::scheduler::crashes: 2,1548 schedNoRevoke::scheduler::entry: [],1549 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1550 schedNoRevoke::scheduler::mAssigned: Set(),1551 schedNoRevoke::scheduler::mBuild: Set(("c2", "w2")),1552 schedNoRevoke::scheduler::mDone: Set(),1553 schedNoRevoke::scheduler::mExpect: Set(),1554 schedNoRevoke::scheduler::mResult: Set(),1555 schedNoRevoke::scheduler::mRetry: Set(),1556 schedNoRevoke::scheduler::mRevoke: Set(),1557 schedNoRevoke::scheduler::mSchedule: Set("c1"),1558 schedNoRevoke::scheduler::published: 0,1559 schedNoRevoke::scheduler::publishedBy: Set(),1560 schedNoRevoke::scheduler::ws:1561 Map(1562 "w1" ->1563 {1564 attached: Set(),1565 built: false,1566 expecting: false,1567 running: false,1568 session: true,1569 up: true1570 },1571 "w2" ->1572 {1573 attached: Set(),1574 built: false,1575 expecting: true,1576 running: true,1577 session: false,1578 up: true1579 }1580 )1581}15821583[State 9]1584{1585 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1586 schedNoRevoke::scheduler::crashes: 2,1587 schedNoRevoke::scheduler::entry:1588 [{ followers: Set("c1"), leased: true, worker: "w1" }],1589 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),1590 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1591 schedNoRevoke::scheduler::mBuild: Set(("c2", "w2")),1592 schedNoRevoke::scheduler::mDone: Set(),1593 schedNoRevoke::scheduler::mExpect: Set("w1"),1594 schedNoRevoke::scheduler::mResult: Set(),1595 schedNoRevoke::scheduler::mRetry: Set(),1596 schedNoRevoke::scheduler::mRevoke: Set(),1597 schedNoRevoke::scheduler::mSchedule: Set(),1598 schedNoRevoke::scheduler::published: 0,1599 schedNoRevoke::scheduler::publishedBy: Set(),1600 schedNoRevoke::scheduler::ws:1601 Map(1602 "w1" ->1603 {1604 attached: Set(),1605 built: false,1606 expecting: false,1607 running: false,1608 session: true,1609 up: true1610 },1611 "w2" ->1612 {1613 attached: Set(),1614 built: false,1615 expecting: true,1616 running: true,1617 session: false,1618 up: true1619 }1620 )1621}16221623[State 10]1624{1625 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1626 schedNoRevoke::scheduler::crashes: 2,1627 schedNoRevoke::scheduler::entry:1628 [{ followers: Set("c1"), leased: true, worker: "w1" }],1629 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1630 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1631 schedNoRevoke::scheduler::mBuild: Set(("c2", "w2")),1632 schedNoRevoke::scheduler::mDone: Set(),1633 schedNoRevoke::scheduler::mExpect: Set("w1"),1634 schedNoRevoke::scheduler::mResult: Set(),1635 schedNoRevoke::scheduler::mRetry: Set(),1636 schedNoRevoke::scheduler::mRevoke: Set(),1637 schedNoRevoke::scheduler::mSchedule: Set(),1638 schedNoRevoke::scheduler::published: 0,1639 schedNoRevoke::scheduler::publishedBy: Set(),1640 schedNoRevoke::scheduler::ws:1641 Map(1642 "w1" ->1643 {1644 attached: Set(),1645 built: false,1646 expecting: false,1647 running: false,1648 session: true,1649 up: true1650 },1651 "w2" ->1652 {1653 attached: Set(),1654 built: false,1655 expecting: true,1656 running: true,1657 session: true,1658 up: true1659 }1660 )1661}16621663[State 11]1664{1665 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),1666 schedNoRevoke::scheduler::crashes: 2,1667 schedNoRevoke::scheduler::entry:1668 [{ followers: Set("c1"), leased: true, worker: "w1" }],1669 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1670 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1671 schedNoRevoke::scheduler::mBuild: Set(("c2", "w2")),1672 schedNoRevoke::scheduler::mDone: Set(),1673 schedNoRevoke::scheduler::mExpect: Set(),1674 schedNoRevoke::scheduler::mResult: Set(),1675 schedNoRevoke::scheduler::mRetry: Set(),1676 schedNoRevoke::scheduler::mRevoke: Set(),1677 schedNoRevoke::scheduler::mSchedule: Set(),1678 schedNoRevoke::scheduler::published: 0,1679 schedNoRevoke::scheduler::publishedBy: Set(),1680 schedNoRevoke::scheduler::ws:1681 Map(1682 "w1" ->1683 {1684 attached: Set(),1685 built: false,1686 expecting: true,1687 running: true,1688 session: true,1689 up: true1690 },1691 "w2" ->1692 {1693 attached: Set(),1694 built: false,1695 expecting: true,1696 running: true,1697 session: true,1698 up: true1699 }1700 )1701}17021703[violation] Found an issue (15128ms at 1101 traces/second).1704Use --verbosity=3 to show executions.1705Use --seed=0xa6d71d02a84614a3 --backend=rust to reproduce.1706error: Invariant violated1707An example execution:17081709[State 0]1710{1711 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1712 schedNoFence::scheduler::crashes: 0,1713 schedNoFence::scheduler::entry: [],1714 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1715 schedNoFence::scheduler::mAssigned: Set(),1716 schedNoFence::scheduler::mBuild: Set(),1717 schedNoFence::scheduler::mDone: Set(),1718 schedNoFence::scheduler::mExpect: Set(),1719 schedNoFence::scheduler::mResult: Set(),1720 schedNoFence::scheduler::mRetry: Set(),1721 schedNoFence::scheduler::mRevoke: Set(),1722 schedNoFence::scheduler::mSchedule: Set(),1723 schedNoFence::scheduler::published: 0,1724 schedNoFence::scheduler::publishedBy: Set(),1725 schedNoFence::scheduler::ws:1726 Map(1727 "w1" ->1728 {1729 attached: Set(),1730 built: false,1731 expecting: false,1732 running: false,1733 session: true,1734 up: true1735 },1736 "w2" ->1737 {1738 attached: Set(),1739 built: false,1740 expecting: false,1741 running: false,1742 session: true,1743 up: true1744 }1745 )1746}17471748[State 1]1749{1750 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1751 schedNoFence::scheduler::crashes: 0,1752 schedNoFence::scheduler::entry: [],1753 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1754 schedNoFence::scheduler::mAssigned: Set(),1755 schedNoFence::scheduler::mBuild: Set(),1756 schedNoFence::scheduler::mDone: Set(),1757 schedNoFence::scheduler::mExpect: Set(),1758 schedNoFence::scheduler::mResult: Set(),1759 schedNoFence::scheduler::mRetry: Set(),1760 schedNoFence::scheduler::mRevoke: Set(),1761 schedNoFence::scheduler::mSchedule: Set("c1"),1762 schedNoFence::scheduler::published: 0,1763 schedNoFence::scheduler::publishedBy: Set(),1764 schedNoFence::scheduler::ws:1765 Map(1766 "w1" ->1767 {1768 attached: Set(),1769 built: false,1770 expecting: false,1771 running: false,1772 session: true,1773 up: true1774 },1775 "w2" ->1776 {1777 attached: Set(),1778 built: false,1779 expecting: false,1780 running: false,1781 session: true,1782 up: true1783 }1784 )1785}17861787[State 2]1788{1789 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),1790 schedNoFence::scheduler::crashes: 0,1791 schedNoFence::scheduler::entry:1792 [{ followers: Set("c1"), leased: true, worker: "w1" }],1793 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1794 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1795 schedNoFence::scheduler::mBuild: Set(),1796 schedNoFence::scheduler::mDone: Set(),1797 schedNoFence::scheduler::mExpect: Set("w1"),1798 schedNoFence::scheduler::mResult: Set(),1799 schedNoFence::scheduler::mRetry: Set(),1800 schedNoFence::scheduler::mRevoke: Set(),1801 schedNoFence::scheduler::mSchedule: Set(),1802 schedNoFence::scheduler::published: 0,1803 schedNoFence::scheduler::publishedBy: Set(),1804 schedNoFence::scheduler::ws:1805 Map(1806 "w1" ->1807 {1808 attached: Set(),1809 built: false,1810 expecting: false,1811 running: false,1812 session: true,1813 up: true1814 },1815 "w2" ->1816 {1817 attached: Set(),1818 built: false,1819 expecting: false,1820 running: false,1821 session: true,1822 up: true1823 }1824 )1825}18261827[State 3]1828{1829 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1830 schedNoFence::scheduler::crashes: 0,1831 schedNoFence::scheduler::entry:1832 [{ followers: Set("c1"), leased: true, worker: "w1" }],1833 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1834 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1835 schedNoFence::scheduler::mBuild: Set(),1836 schedNoFence::scheduler::mDone: Set(),1837 schedNoFence::scheduler::mExpect: Set("w1"),1838 schedNoFence::scheduler::mResult: Set(),1839 schedNoFence::scheduler::mRetry: Set(),1840 schedNoFence::scheduler::mRevoke: Set(),1841 schedNoFence::scheduler::mSchedule: Set("c2"),1842 schedNoFence::scheduler::published: 0,1843 schedNoFence::scheduler::publishedBy: Set(),1844 schedNoFence::scheduler::ws:1845 Map(1846 "w1" ->1847 {1848 attached: Set(),1849 built: false,1850 expecting: false,1851 running: false,1852 session: true,1853 up: true1854 },1855 "w2" ->1856 {1857 attached: Set(),1858 built: false,1859 expecting: false,1860 running: false,1861 session: true,1862 up: true1863 }1864 )1865}18661867[State 4]1868{1869 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1870 schedNoFence::scheduler::crashes: 0,1871 schedNoFence::scheduler::entry:1872 [{ followers: Set("c1"), leased: true, worker: "w1" }],1873 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1874 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1875 schedNoFence::scheduler::mBuild: Set(),1876 schedNoFence::scheduler::mDone: Set(),1877 schedNoFence::scheduler::mExpect: Set(),1878 schedNoFence::scheduler::mResult: Set(),1879 schedNoFence::scheduler::mRetry: Set(),1880 schedNoFence::scheduler::mRevoke: Set(),1881 schedNoFence::scheduler::mSchedule: Set("c2"),1882 schedNoFence::scheduler::published: 0,1883 schedNoFence::scheduler::publishedBy: Set(),1884 schedNoFence::scheduler::ws:1885 Map(1886 "w1" ->1887 {1888 attached: Set(),1889 built: false,1890 expecting: true,1891 running: true,1892 session: true,1893 up: true1894 },1895 "w2" ->1896 {1897 attached: Set(),1898 built: false,1899 expecting: false,1900 running: false,1901 session: true,1902 up: true1903 }1904 )1905}19061907[State 5]1908{1909 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1910 schedNoFence::scheduler::crashes: 1,1911 schedNoFence::scheduler::entry: [],1912 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1913 schedNoFence::scheduler::mAssigned: Set(),1914 schedNoFence::scheduler::mBuild: Set(),1915 schedNoFence::scheduler::mDone: Set(),1916 schedNoFence::scheduler::mExpect: Set(),1917 schedNoFence::scheduler::mResult: Set(),1918 schedNoFence::scheduler::mRetry: Set("c1", "c2"),1919 schedNoFence::scheduler::mRevoke: Set(),1920 schedNoFence::scheduler::mSchedule: Set(),1921 schedNoFence::scheduler::published: 0,1922 schedNoFence::scheduler::publishedBy: Set(),1923 schedNoFence::scheduler::ws:1924 Map(1925 "w1" ->1926 {1927 attached: Set(),1928 built: false,1929 expecting: true,1930 running: true,1931 session: false,1932 up: true1933 },1934 "w2" ->1935 {1936 attached: Set(),1937 built: false,1938 expecting: false,1939 running: false,1940 session: false,1941 up: true1942 }1943 )1944}19451946[State 6]1947{1948 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1949 schedNoFence::scheduler::crashes: 2,1950 schedNoFence::scheduler::entry: [],1951 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1952 schedNoFence::scheduler::mAssigned: Set(),1953 schedNoFence::scheduler::mBuild: Set(),1954 schedNoFence::scheduler::mDone: Set(),1955 schedNoFence::scheduler::mExpect: Set(),1956 schedNoFence::scheduler::mResult: Set(),1957 schedNoFence::scheduler::mRetry: Set("c1", "c2"),1958 schedNoFence::scheduler::mRevoke: Set(),1959 schedNoFence::scheduler::mSchedule: Set(),1960 schedNoFence::scheduler::published: 0,1961 schedNoFence::scheduler::publishedBy: Set(),1962 schedNoFence::scheduler::ws:1963 Map(1964 "w1" ->1965 {1966 attached: Set(),1967 built: false,1968 expecting: true,1969 running: true,1970 session: false,1971 up: true1972 },1973 "w2" ->1974 {1975 attached: Set(),1976 built: false,1977 expecting: false,1978 running: false,1979 session: false,1980 up: true1981 }1982 )1983}19841985[State 7]1986{1987 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1988 schedNoFence::scheduler::crashes: 2,1989 schedNoFence::scheduler::entry: [],1990 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1991 schedNoFence::scheduler::mAssigned: Set(),1992 schedNoFence::scheduler::mBuild: Set(),1993 schedNoFence::scheduler::mDone: Set(),1994 schedNoFence::scheduler::mExpect: Set(),1995 schedNoFence::scheduler::mResult: Set(),1996 schedNoFence::scheduler::mRetry: Set("c1"),1997 schedNoFence::scheduler::mRevoke: Set(),1998 schedNoFence::scheduler::mSchedule: Set("c2"),1999 schedNoFence::scheduler::published: 0,2000 schedNoFence::scheduler::publishedBy: Set(),2001 schedNoFence::scheduler::ws:2002 Map(2003 "w1" ->2004 {2005 attached: Set(),2006 built: false,2007 expecting: true,2008 running: true,2009 session: false,2010 up: true2011 },2012 "w2" ->2013 {2014 attached: Set(),2015 built: false,2016 expecting: false,2017 running: false,2018 session: false,2019 up: true2020 }2021 )2022}20232024[State 8]2025{2026 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2027 schedNoFence::scheduler::crashes: 2,2028 schedNoFence::scheduler::entry: [],2029 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2030 schedNoFence::scheduler::mAssigned: Set(),2031 schedNoFence::scheduler::mBuild: Set(),2032 schedNoFence::scheduler::mDone: Set(),2033 schedNoFence::scheduler::mExpect: Set(),2034 schedNoFence::scheduler::mResult: Set(),2035 schedNoFence::scheduler::mRetry: Set(),2036 schedNoFence::scheduler::mRevoke: Set(),2037 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),2038 schedNoFence::scheduler::published: 0,2039 schedNoFence::scheduler::publishedBy: Set(),2040 schedNoFence::scheduler::ws:2041 Map(2042 "w1" ->2043 {2044 attached: Set(),2045 built: false,2046 expecting: true,2047 running: true,2048 session: false,2049 up: true2050 },2051 "w2" ->2052 {2053 attached: Set(),2054 built: false,2055 expecting: false,2056 running: false,2057 session: false,2058 up: true2059 }2060 )2061}20622063[State 9]2064{2065 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2066 schedNoFence::scheduler::crashes: 2,2067 schedNoFence::scheduler::entry: [],2068 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2069 schedNoFence::scheduler::mAssigned: Set(),2070 schedNoFence::scheduler::mBuild: Set(),2071 schedNoFence::scheduler::mDone: Set(),2072 schedNoFence::scheduler::mExpect: Set(),2073 schedNoFence::scheduler::mResult: Set(),2074 schedNoFence::scheduler::mRetry: Set(),2075 schedNoFence::scheduler::mRevoke: Set(),2076 schedNoFence::scheduler::mSchedule: Set("c1", "c2"),2077 schedNoFence::scheduler::published: 0,2078 schedNoFence::scheduler::publishedBy: Set(),2079 schedNoFence::scheduler::ws:2080 Map(2081 "w1" ->2082 {2083 attached: Set(),2084 built: false,2085 expecting: true,2086 running: true,2087 session: false,2088 up: true2089 },2090 "w2" ->2091 {2092 attached: Set(),2093 built: false,2094 expecting: false,2095 running: false,2096 session: true,2097 up: true2098 }2099 )2100}21012102[State 10]2103{2104 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2105 schedNoFence::scheduler::crashes: 2,2106 schedNoFence::scheduler::entry:2107 [{ followers: Set("c1"), leased: true, worker: "w2" }],2108 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2109 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2110 schedNoFence::scheduler::mBuild: Set(),2111 schedNoFence::scheduler::mDone: Set(),2112 schedNoFence::scheduler::mExpect: Set("w2"),2113 schedNoFence::scheduler::mResult: Set(),2114 schedNoFence::scheduler::mRetry: Set(),2115 schedNoFence::scheduler::mRevoke: Set(),2116 schedNoFence::scheduler::mSchedule: Set("c2"),2117 schedNoFence::scheduler::published: 0,2118 schedNoFence::scheduler::publishedBy: Set(),2119 schedNoFence::scheduler::ws:2120 Map(2121 "w1" ->2122 {2123 attached: Set(),2124 built: false,2125 expecting: true,2126 running: true,2127 session: false,2128 up: true2129 },2130 "w2" ->2131 {2132 attached: Set(),2133 built: false,2134 expecting: false,2135 running: false,2136 session: true,2137 up: true2138 }2139 )2140}21412142[State 11]2143{2144 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2145 schedNoFence::scheduler::crashes: 2,2146 schedNoFence::scheduler::entry:2147 [{ followers: Set("c1"), leased: true, worker: "w2" }],2148 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2149 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2150 schedNoFence::scheduler::mBuild: Set(),2151 schedNoFence::scheduler::mDone: Set(),2152 schedNoFence::scheduler::mExpect: Set(),2153 schedNoFence::scheduler::mResult: Set(),2154 schedNoFence::scheduler::mRetry: Set(),2155 schedNoFence::scheduler::mRevoke: Set(),2156 schedNoFence::scheduler::mSchedule: Set("c2"),2157 schedNoFence::scheduler::published: 0,2158 schedNoFence::scheduler::publishedBy: Set(),2159 schedNoFence::scheduler::ws:2160 Map(2161 "w1" ->2162 {2163 attached: Set(),2164 built: false,2165 expecting: true,2166 running: true,2167 session: false,2168 up: true2169 },2170 "w2" ->2171 {2172 attached: Set(),2173 built: false,2174 expecting: true,2175 running: true,2176 session: true,2177 up: true2178 }2179 )2180}21812182[State 12]2183{2184 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2185 schedNoFence::scheduler::crashes: 2,2186 schedNoFence::scheduler::entry:2187 [{ followers: Set("c1"), leased: true, worker: "w2" }],2188 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2189 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2190 schedNoFence::scheduler::mBuild: Set(),2191 schedNoFence::scheduler::mDone: Set(),2192 schedNoFence::scheduler::mExpect: Set(),2193 schedNoFence::scheduler::mResult: Set(),2194 schedNoFence::scheduler::mRetry: Set(),2195 schedNoFence::scheduler::mRevoke: Set(),2196 schedNoFence::scheduler::mSchedule: Set("c2"),2197 schedNoFence::scheduler::published: 1,2198 schedNoFence::scheduler::publishedBy: Set("w1"),2199 schedNoFence::scheduler::ws:2200 Map(2201 "w1" ->2202 {2203 attached: Set(),2204 built: true,2205 expecting: false,2206 running: false,2207 session: false,2208 up: true2209 },2210 "w2" ->2211 {2212 attached: Set(),2213 built: false,2214 expecting: true,2215 running: true,2216 session: true,2217 up: true2218 }2219 )2220}22212222[State 13]2223{2224 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2225 schedNoFence::scheduler::crashes: 2,2226 schedNoFence::scheduler::entry:2227 [{ followers: Set("c1"), leased: true, worker: "w2" }],2228 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2229 schedNoFence::scheduler::mAssigned: Set(("c1", "w2")),2230 schedNoFence::scheduler::mBuild: Set(),2231 schedNoFence::scheduler::mDone: Set("w2"),2232 schedNoFence::scheduler::mExpect: Set(),2233 schedNoFence::scheduler::mResult: Set(),2234 schedNoFence::scheduler::mRetry: Set(),2235 schedNoFence::scheduler::mRevoke: Set(),2236 schedNoFence::scheduler::mSchedule: Set("c2"),2237 schedNoFence::scheduler::published: 2,2238 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),2239 schedNoFence::scheduler::ws:2240 Map(2241 "w1" ->2242 {2243 attached: Set(),2244 built: true,2245 expecting: false,2246 running: false,2247 session: false,2248 up: true2249 },2250 "w2" ->2251 {2252 attached: Set(),2253 built: true,2254 expecting: false,2255 running: false,2256 session: true,2257 up: true2258 }2259 )2260}22612262[violation] Found an issue (2436ms at 1460 traces/second).2263Use --verbosity=3 to show executions.2264Use --seed=0xe2e4f34e15b0bb31 --backend=rust to reproduce.2265error: Invariant violated2266An example execution:22672268[State 0]2269{2270 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2271 schedNoPush::scheduler::crashes: 0,2272 schedNoPush::scheduler::entry: [],2273 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2274 schedNoPush::scheduler::mAssigned: Set(),2275 schedNoPush::scheduler::mBuild: Set(),2276 schedNoPush::scheduler::mDone: Set(),2277 schedNoPush::scheduler::mExpect: Set(),2278 schedNoPush::scheduler::mResult: Set(),2279 schedNoPush::scheduler::mRetry: Set(),2280 schedNoPush::scheduler::mRevoke: Set(),2281 schedNoPush::scheduler::mSchedule: Set(),2282 schedNoPush::scheduler::published: 0,2283 schedNoPush::scheduler::publishedBy: Set(),2284 schedNoPush::scheduler::ws:2285 Map(2286 "w1" ->2287 {2288 attached: Set(),2289 built: false,2290 expecting: false,2291 running: false,2292 session: true,2293 up: true2294 },2295 "w2" ->2296 {2297 attached: Set(),2298 built: false,2299 expecting: false,2300 running: false,2301 session: true,2302 up: true2303 }2304 )2305}23062307[State 1]2308{2309 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2310 schedNoPush::scheduler::crashes: 0,2311 schedNoPush::scheduler::entry: [],2312 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2313 schedNoPush::scheduler::mAssigned: Set(),2314 schedNoPush::scheduler::mBuild: Set(),2315 schedNoPush::scheduler::mDone: Set(),2316 schedNoPush::scheduler::mExpect: Set(),2317 schedNoPush::scheduler::mResult: Set(),2318 schedNoPush::scheduler::mRetry: Set(),2319 schedNoPush::scheduler::mRevoke: Set(),2320 schedNoPush::scheduler::mSchedule: Set("c1"),2321 schedNoPush::scheduler::published: 0,2322 schedNoPush::scheduler::publishedBy: Set(),2323 schedNoPush::scheduler::ws:2324 Map(2325 "w1" ->2326 {2327 attached: Set(),2328 built: false,2329 expecting: false,2330 running: false,2331 session: true,2332 up: true2333 },2334 "w2" ->2335 {2336 attached: Set(),2337 built: false,2338 expecting: false,2339 running: false,2340 session: true,2341 up: true2342 }2343 )2344}23452346[State 2]2347{2348 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2349 schedNoPush::scheduler::crashes: 0,2350 schedNoPush::scheduler::entry:2351 [{ followers: Set("c1"), leased: true, worker: "w2" }],2352 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2353 schedNoPush::scheduler::mAssigned: Set(("c1", "w2")),2354 schedNoPush::scheduler::mBuild: Set(),2355 schedNoPush::scheduler::mDone: Set(),2356 schedNoPush::scheduler::mExpect: Set(),2357 schedNoPush::scheduler::mResult: Set(),2358 schedNoPush::scheduler::mRetry: Set(),2359 schedNoPush::scheduler::mRevoke: Set(),2360 schedNoPush::scheduler::mSchedule: Set(),2361 schedNoPush::scheduler::published: 0,2362 schedNoPush::scheduler::publishedBy: Set(),2363 schedNoPush::scheduler::ws:2364 Map(2365 "w1" ->2366 {2367 attached: Set(),2368 built: false,2369 expecting: false,2370 running: false,2371 session: true,2372 up: true2373 },2374 "w2" ->2375 {2376 attached: Set(),2377 built: false,2378 expecting: false,2379 running: false,2380 session: true,2381 up: true2382 }2383 )2384}23852386[State 3]2387{2388 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2389 schedNoPush::scheduler::crashes: 0,2390 schedNoPush::scheduler::entry:2391 [{ followers: Set("c1"), leased: true, worker: "w2" }],2392 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2393 schedNoPush::scheduler::mAssigned: Set(),2394 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2395 schedNoPush::scheduler::mDone: Set(),2396 schedNoPush::scheduler::mExpect: Set(),2397 schedNoPush::scheduler::mResult: Set(),2398 schedNoPush::scheduler::mRetry: Set(),2399 schedNoPush::scheduler::mRevoke: Set(),2400 schedNoPush::scheduler::mSchedule: Set(),2401 schedNoPush::scheduler::published: 0,2402 schedNoPush::scheduler::publishedBy: Set(),2403 schedNoPush::scheduler::ws:2404 Map(2405 "w1" ->2406 {2407 attached: Set(),2408 built: false,2409 expecting: false,2410 running: false,2411 session: true,2412 up: true2413 },2414 "w2" ->2415 {2416 attached: Set(),2417 built: false,2418 expecting: false,2419 running: false,2420 session: true,2421 up: true2422 }2423 )2424}24252426[State 4]2427{2428 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2429 schedNoPush::scheduler::crashes: 1,2430 schedNoPush::scheduler::entry: [],2431 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2432 schedNoPush::scheduler::mAssigned: Set(),2433 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2434 schedNoPush::scheduler::mDone: Set(),2435 schedNoPush::scheduler::mExpect: Set(),2436 schedNoPush::scheduler::mResult: Set(),2437 schedNoPush::scheduler::mRetry: Set(),2438 schedNoPush::scheduler::mRevoke: Set(),2439 schedNoPush::scheduler::mSchedule: Set(),2440 schedNoPush::scheduler::published: 0,2441 schedNoPush::scheduler::publishedBy: Set(),2442 schedNoPush::scheduler::ws:2443 Map(2444 "w1" ->2445 {2446 attached: Set(),2447 built: false,2448 expecting: false,2449 running: false,2450 session: false,2451 up: true2452 },2453 "w2" ->2454 {2455 attached: Set(),2456 built: false,2457 expecting: false,2458 running: false,2459 session: false,2460 up: true2461 }2462 )2463}24642465[State 5]2466{2467 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2468 schedNoPush::scheduler::crashes: 2,2469 schedNoPush::scheduler::entry: [],2470 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2471 schedNoPush::scheduler::mAssigned: Set(),2472 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2473 schedNoPush::scheduler::mDone: Set(),2474 schedNoPush::scheduler::mExpect: Set(),2475 schedNoPush::scheduler::mResult: Set(),2476 schedNoPush::scheduler::mRetry: Set(),2477 schedNoPush::scheduler::mRevoke: Set(),2478 schedNoPush::scheduler::mSchedule: Set(),2479 schedNoPush::scheduler::published: 0,2480 schedNoPush::scheduler::publishedBy: Set(),2481 schedNoPush::scheduler::ws:2482 Map(2483 "w1" ->2484 {2485 attached: Set(),2486 built: false,2487 expecting: false,2488 running: false,2489 session: false,2490 up: false2491 },2492 "w2" ->2493 {2494 attached: Set(),2495 built: false,2496 expecting: false,2497 running: false,2498 session: false,2499 up: true2500 }2501 )2502}25032504[State 6]2505{2506 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2507 schedNoPush::scheduler::crashes: 2,2508 schedNoPush::scheduler::entry: [],2509 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2510 schedNoPush::scheduler::mAssigned: Set(),2511 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2512 schedNoPush::scheduler::mDone: Set(),2513 schedNoPush::scheduler::mExpect: Set(),2514 schedNoPush::scheduler::mResult: Set(),2515 schedNoPush::scheduler::mRetry: Set(),2516 schedNoPush::scheduler::mRevoke: Set(),2517 schedNoPush::scheduler::mSchedule: Set(),2518 schedNoPush::scheduler::published: 0,2519 schedNoPush::scheduler::publishedBy: Set(),2520 schedNoPush::scheduler::ws:2521 Map(2522 "w1" ->2523 {2524 attached: Set(),2525 built: false,2526 expecting: false,2527 running: false,2528 session: false,2529 up: false2530 },2531 "w2" ->2532 {2533 attached: Set(),2534 built: false,2535 expecting: false,2536 running: false,2537 session: true,2538 up: true2539 }2540 )2541}25422543[State 7]2544{2545 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2546 schedNoPush::scheduler::crashes: 2,2547 schedNoPush::scheduler::entry: [],2548 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2549 schedNoPush::scheduler::mAssigned: Set(),2550 schedNoPush::scheduler::mBuild: Set(),2551 schedNoPush::scheduler::mDone: Set(),2552 schedNoPush::scheduler::mExpect: Set(),2553 schedNoPush::scheduler::mResult: Set(),2554 schedNoPush::scheduler::mRetry: Set(),2555 schedNoPush::scheduler::mRevoke: Set(),2556 schedNoPush::scheduler::mSchedule: Set(),2557 schedNoPush::scheduler::published: 0,2558 schedNoPush::scheduler::publishedBy: Set(),2559 schedNoPush::scheduler::ws:2560 Map(2561 "w1" ->2562 {2563 attached: Set(),2564 built: false,2565 expecting: false,2566 running: false,2567 session: false,2568 up: false2569 },2570 "w2" ->2571 {2572 attached: Set("c1"),2573 built: false,2574 expecting: true,2575 running: true,2576 session: true,2577 up: true2578 }2579 )2580}25812582[violation] Found an issue (1099ms at 1222 traces/second).2583Use --verbosity=3 to show executions.2584Use --seed=0xb9f1dfb933ca5095 --backend=rust to reproduce.2585error: Invariant violated2586An example execution:25872588[State 0]2589{2590 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2591 schedNoReport::scheduler::crashes: 0,2592 schedNoReport::scheduler::entry: [],2593 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2594 schedNoReport::scheduler::mAssigned: Set(),2595 schedNoReport::scheduler::mBuild: Set(),2596 schedNoReport::scheduler::mDone: Set(),2597 schedNoReport::scheduler::mExpect: Set(),2598 schedNoReport::scheduler::mResult: Set(),2599 schedNoReport::scheduler::mRetry: Set(),2600 schedNoReport::scheduler::mRevoke: Set(),2601 schedNoReport::scheduler::mSchedule: Set(),2602 schedNoReport::scheduler::published: 0,2603 schedNoReport::scheduler::publishedBy: Set(),2604 schedNoReport::scheduler::ws:2605 Map(2606 "w1" ->2607 {2608 attached: Set(),2609 built: false,2610 expecting: false,2611 running: false,2612 session: true,2613 up: true2614 },2615 "w2" ->2616 {2617 attached: Set(),2618 built: false,2619 expecting: false,2620 running: false,2621 session: true,2622 up: true2623 }2624 )2625}26262627[State 1]2628{2629 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2630 schedNoReport::scheduler::crashes: 1,2631 schedNoReport::scheduler::entry: [],2632 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2633 schedNoReport::scheduler::mAssigned: Set(),2634 schedNoReport::scheduler::mBuild: Set(),2635 schedNoReport::scheduler::mDone: Set(),2636 schedNoReport::scheduler::mExpect: Set(),2637 schedNoReport::scheduler::mResult: Set(),2638 schedNoReport::scheduler::mRetry: Set(),2639 schedNoReport::scheduler::mRevoke: Set(),2640 schedNoReport::scheduler::mSchedule: Set(),2641 schedNoReport::scheduler::published: 0,2642 schedNoReport::scheduler::publishedBy: Set(),2643 schedNoReport::scheduler::ws:2644 Map(2645 "w1" ->2646 {2647 attached: Set(),2648 built: false,2649 expecting: false,2650 running: false,2651 session: false,2652 up: true2653 },2654 "w2" ->2655 {2656 attached: Set(),2657 built: false,2658 expecting: false,2659 running: false,2660 session: false,2661 up: true2662 }2663 )2664}26652666[State 2]2667{2668 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2669 schedNoReport::scheduler::crashes: 1,2670 schedNoReport::scheduler::entry: [],2671 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2672 schedNoReport::scheduler::mAssigned: Set(),2673 schedNoReport::scheduler::mBuild: Set(),2674 schedNoReport::scheduler::mDone: Set(),2675 schedNoReport::scheduler::mExpect: Set(),2676 schedNoReport::scheduler::mResult: Set(),2677 schedNoReport::scheduler::mRetry: Set(),2678 schedNoReport::scheduler::mRevoke: Set(),2679 schedNoReport::scheduler::mSchedule: Set("c1"),2680 schedNoReport::scheduler::published: 0,2681 schedNoReport::scheduler::publishedBy: Set(),2682 schedNoReport::scheduler::ws:2683 Map(2684 "w1" ->2685 {2686 attached: Set(),2687 built: false,2688 expecting: false,2689 running: false,2690 session: false,2691 up: true2692 },2693 "w2" ->2694 {2695 attached: Set(),2696 built: false,2697 expecting: false,2698 running: false,2699 session: false,2700 up: true2701 }2702 )2703}27042705[State 3]2706{2707 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2708 schedNoReport::scheduler::crashes: 1,2709 schedNoReport::scheduler::entry: [],2710 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2711 schedNoReport::scheduler::mAssigned: Set(),2712 schedNoReport::scheduler::mBuild: Set(),2713 schedNoReport::scheduler::mDone: Set(),2714 schedNoReport::scheduler::mExpect: Set(),2715 schedNoReport::scheduler::mResult: Set(),2716 schedNoReport::scheduler::mRetry: Set(),2717 schedNoReport::scheduler::mRevoke: Set(),2718 schedNoReport::scheduler::mSchedule: Set("c1"),2719 schedNoReport::scheduler::published: 0,2720 schedNoReport::scheduler::publishedBy: Set(),2721 schedNoReport::scheduler::ws:2722 Map(2723 "w1" ->2724 {2725 attached: Set(),2726 built: false,2727 expecting: false,2728 running: false,2729 session: true,2730 up: true2731 },2732 "w2" ->2733 {2734 attached: Set(),2735 built: false,2736 expecting: false,2737 running: false,2738 session: false,2739 up: true2740 }2741 )2742}27432744[State 4]2745{2746 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2747 schedNoReport::scheduler::crashes: 1,2748 schedNoReport::scheduler::entry:2749 [{ followers: Set("c1"), leased: true, worker: "w1" }],2750 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2751 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),2752 schedNoReport::scheduler::mBuild: Set(),2753 schedNoReport::scheduler::mDone: Set(),2754 schedNoReport::scheduler::mExpect: Set("w1"),2755 schedNoReport::scheduler::mResult: Set(),2756 schedNoReport::scheduler::mRetry: Set(),2757 schedNoReport::scheduler::mRevoke: Set(),2758 schedNoReport::scheduler::mSchedule: Set(),2759 schedNoReport::scheduler::published: 0,2760 schedNoReport::scheduler::publishedBy: Set(),2761 schedNoReport::scheduler::ws:2762 Map(2763 "w1" ->2764 {2765 attached: Set(),2766 built: false,2767 expecting: false,2768 running: false,2769 session: true,2770 up: true2771 },2772 "w2" ->2773 {2774 attached: Set(),2775 built: false,2776 expecting: false,2777 running: false,2778 session: false,2779 up: true2780 }2781 )2782}27832784[State 5]2785{2786 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2787 schedNoReport::scheduler::crashes: 1,2788 schedNoReport::scheduler::entry:2789 [{ followers: Set("c1"), leased: true, worker: "w1" }],2790 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2791 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),2792 schedNoReport::scheduler::mBuild: Set(),2793 schedNoReport::scheduler::mDone: Set(),2794 schedNoReport::scheduler::mExpect: Set(),2795 schedNoReport::scheduler::mResult: Set(),2796 schedNoReport::scheduler::mRetry: Set(),2797 schedNoReport::scheduler::mRevoke: Set(),2798 schedNoReport::scheduler::mSchedule: Set(),2799 schedNoReport::scheduler::published: 0,2800 schedNoReport::scheduler::publishedBy: Set(),2801 schedNoReport::scheduler::ws:2802 Map(2803 "w1" ->2804 {2805 attached: Set(),2806 built: false,2807 expecting: true,2808 running: true,2809 session: true,2810 up: true2811 },2812 "w2" ->2813 {2814 attached: Set(),2815 built: false,2816 expecting: false,2817 running: false,2818 session: false,2819 up: true2820 }2821 )2822}28232824[State 6]2825{2826 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2827 schedNoReport::scheduler::crashes: 2,2828 schedNoReport::scheduler::entry: [],2829 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2830 schedNoReport::scheduler::mAssigned: Set(),2831 schedNoReport::scheduler::mBuild: Set(),2832 schedNoReport::scheduler::mDone: Set(),2833 schedNoReport::scheduler::mExpect: Set(),2834 schedNoReport::scheduler::mResult: Set(),2835 schedNoReport::scheduler::mRetry: Set("c1"),2836 schedNoReport::scheduler::mRevoke: Set(),2837 schedNoReport::scheduler::mSchedule: Set(),2838 schedNoReport::scheduler::published: 0,2839 schedNoReport::scheduler::publishedBy: Set(),2840 schedNoReport::scheduler::ws:2841 Map(2842 "w1" ->2843 {2844 attached: Set(),2845 built: false,2846 expecting: true,2847 running: true,2848 session: false,2849 up: true2850 },2851 "w2" ->2852 {2853 attached: Set(),2854 built: false,2855 expecting: false,2856 running: false,2857 session: false,2858 up: true2859 }2860 )2861}28622863[State 7]2864{2865 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2866 schedNoReport::scheduler::crashes: 2,2867 schedNoReport::scheduler::entry: [],2868 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2869 schedNoReport::scheduler::mAssigned: Set(),2870 schedNoReport::scheduler::mBuild: Set(),2871 schedNoReport::scheduler::mDone: Set(),2872 schedNoReport::scheduler::mExpect: Set(),2873 schedNoReport::scheduler::mResult: Set(),2874 schedNoReport::scheduler::mRetry: Set("c1"),2875 schedNoReport::scheduler::mRevoke: Set(),2876 schedNoReport::scheduler::mSchedule: Set("c2"),2877 schedNoReport::scheduler::published: 0,2878 schedNoReport::scheduler::publishedBy: Set(),2879 schedNoReport::scheduler::ws:2880 Map(2881 "w1" ->2882 {2883 attached: Set(),2884 built: false,2885 expecting: true,2886 running: true,2887 session: false,2888 up: true2889 },2890 "w2" ->2891 {2892 attached: Set(),2893 built: false,2894 expecting: false,2895 running: false,2896 session: false,2897 up: true2898 }2899 )2900}29012902[State 8]2903{2904 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2905 schedNoReport::scheduler::crashes: 2,2906 schedNoReport::scheduler::entry: [],2907 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2908 schedNoReport::scheduler::mAssigned: Set(),2909 schedNoReport::scheduler::mBuild: Set(),2910 schedNoReport::scheduler::mDone: Set(),2911 schedNoReport::scheduler::mExpect: Set(),2912 schedNoReport::scheduler::mResult: Set(),2913 schedNoReport::scheduler::mRetry: Set("c1"),2914 schedNoReport::scheduler::mRevoke: Set(),2915 schedNoReport::scheduler::mSchedule: Set("c2"),2916 schedNoReport::scheduler::published: 0,2917 schedNoReport::scheduler::publishedBy: Set(),2918 schedNoReport::scheduler::ws:2919 Map(2920 "w1" ->2921 {2922 attached: Set(),2923 built: false,2924 expecting: true,2925 running: true,2926 session: false,2927 up: true2928 },2929 "w2" ->2930 {2931 attached: Set(),2932 built: false,2933 expecting: false,2934 running: false,2935 session: true,2936 up: true2937 }2938 )2939}29402941[State 9]2942{2943 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2944 schedNoReport::scheduler::crashes: 2,2945 schedNoReport::scheduler::entry:2946 [{ followers: Set("c2"), leased: true, worker: "w2" }],2947 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2948 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),2949 schedNoReport::scheduler::mBuild: Set(),2950 schedNoReport::scheduler::mDone: Set(),2951 schedNoReport::scheduler::mExpect: Set("w2"),2952 schedNoReport::scheduler::mResult: Set(),2953 schedNoReport::scheduler::mRetry: Set("c1"),2954 schedNoReport::scheduler::mRevoke: Set(),2955 schedNoReport::scheduler::mSchedule: Set(),2956 schedNoReport::scheduler::published: 0,2957 schedNoReport::scheduler::publishedBy: Set(),2958 schedNoReport::scheduler::ws:2959 Map(2960 "w1" ->2961 {2962 attached: Set(),2963 built: false,2964 expecting: true,2965 running: true,2966 session: false,2967 up: true2968 },2969 "w2" ->2970 {2971 attached: Set(),2972 built: false,2973 expecting: false,2974 running: false,2975 session: true,2976 up: true2977 }2978 )2979}29802981[State 10]2982{2983 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2984 schedNoReport::scheduler::crashes: 2,2985 schedNoReport::scheduler::entry:2986 [{ followers: Set("c2"), leased: true, worker: "w2" }],2987 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2988 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),2989 schedNoReport::scheduler::mBuild: Set(),2990 schedNoReport::scheduler::mDone: Set(),2991 schedNoReport::scheduler::mExpect: Set(),2992 schedNoReport::scheduler::mResult: Set(),2993 schedNoReport::scheduler::mRetry: Set("c1"),2994 schedNoReport::scheduler::mRevoke: Set(),2995 schedNoReport::scheduler::mSchedule: Set(),2996 schedNoReport::scheduler::published: 0,2997 schedNoReport::scheduler::publishedBy: Set(),2998 schedNoReport::scheduler::ws:2999 Map(3000 "w1" ->3001 {3002 attached: Set(),3003 built: false,3004 expecting: true,3005 running: true,3006 session: false,3007 up: true3008 },3009 "w2" ->3010 {3011 attached: Set(),3012 built: false,3013 expecting: true,3014 running: true,3015 session: true,3016 up: true3017 }3018 )3019}30203021[State 11]3022{3023 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3024 schedNoReport::scheduler::crashes: 2,3025 schedNoReport::scheduler::entry:3026 [{ followers: Set("c2"), leased: true, worker: "w2" }],3027 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),3028 schedNoReport::scheduler::mAssigned: Set(("c2", "w2")),3029 schedNoReport::scheduler::mBuild: Set(),3030 schedNoReport::scheduler::mDone: Set(),3031 schedNoReport::scheduler::mExpect: Set(),3032 schedNoReport::scheduler::mResult: Set(),3033 schedNoReport::scheduler::mRetry: Set("c1"),3034 schedNoReport::scheduler::mRevoke: Set(),3035 schedNoReport::scheduler::mSchedule: Set(),3036 schedNoReport::scheduler::published: 0,3037 schedNoReport::scheduler::publishedBy: Set(),3038 schedNoReport::scheduler::ws:3039 Map(3040 "w1" ->3041 {3042 attached: Set(),3043 built: false,3044 expecting: true,3045 running: true,3046 session: true,3047 up: true3048 },3049 "w2" ->3050 {3051 attached: Set(),3052 built: false,3053 expecting: true,3054 running: true,3055 session: true,3056 up: true3057 }3058 )3059}30603061[violation] Found an issue (2132ms at 1162 traces/second).3062Use --verbosity=3 to show executions.3063Use --seed=0xa64d36089bca531a --backend=rust to reproduce.3064error: Invariant violated3065An example execution:30663067[State 0]3068{3069 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3070 schedTerminal::scheduler::crashes: 0,3071 schedTerminal::scheduler::entry: [],3072 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3073 schedTerminal::scheduler::mAssigned: Set(),3074 schedTerminal::scheduler::mBuild: Set(),3075 schedTerminal::scheduler::mDone: Set(),3076 schedTerminal::scheduler::mExpect: Set(),3077 schedTerminal::scheduler::mResult: Set(),3078 schedTerminal::scheduler::mRetry: Set(),3079 schedTerminal::scheduler::mRevoke: Set(),3080 schedTerminal::scheduler::mSchedule: Set(),3081 schedTerminal::scheduler::published: 0,3082 schedTerminal::scheduler::publishedBy: Set(),3083 schedTerminal::scheduler::ws:3084 Map(3085 "w1" ->3086 {3087 attached: Set(),3088 built: false,3089 expecting: false,3090 running: false,3091 session: true,3092 up: true3093 },3094 "w2" ->3095 {3096 attached: Set(),3097 built: false,3098 expecting: false,3099 running: false,3100 session: true,3101 up: true3102 }3103 )3104}31053106[State 1]3107{3108 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3109 schedTerminal::scheduler::crashes: 1,3110 schedTerminal::scheduler::entry: [],3111 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3112 schedTerminal::scheduler::mAssigned: Set(),3113 schedTerminal::scheduler::mBuild: Set(),3114 schedTerminal::scheduler::mDone: Set(),3115 schedTerminal::scheduler::mExpect: Set(),3116 schedTerminal::scheduler::mResult: Set(),3117 schedTerminal::scheduler::mRetry: Set(),3118 schedTerminal::scheduler::mRevoke: Set(),3119 schedTerminal::scheduler::mSchedule: Set(),3120 schedTerminal::scheduler::published: 0,3121 schedTerminal::scheduler::publishedBy: Set(),3122 schedTerminal::scheduler::ws:3123 Map(3124 "w1" ->3125 {3126 attached: Set(),3127 built: false,3128 expecting: false,3129 running: false,3130 session: false,3131 up: false3132 },3133 "w2" ->3134 {3135 attached: Set(),3136 built: false,3137 expecting: false,3138 running: false,3139 session: true,3140 up: true3141 }3142 )3143}31443145[State 2]3146{3147 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3148 schedTerminal::scheduler::crashes: 2,3149 schedTerminal::scheduler::entry: [],3150 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3151 schedTerminal::scheduler::mAssigned: Set(),3152 schedTerminal::scheduler::mBuild: Set(),3153 schedTerminal::scheduler::mDone: Set(),3154 schedTerminal::scheduler::mExpect: Set(),3155 schedTerminal::scheduler::mResult: Set(),3156 schedTerminal::scheduler::mRetry: Set(),3157 schedTerminal::scheduler::mRevoke: Set(),3158 schedTerminal::scheduler::mSchedule: Set(),3159 schedTerminal::scheduler::published: 0,3160 schedTerminal::scheduler::publishedBy: Set(),3161 schedTerminal::scheduler::ws:3162 Map(3163 "w1" ->3164 {3165 attached: Set(),3166 built: false,3167 expecting: false,3168 running: false,3169 session: false,3170 up: false3171 },3172 "w2" ->3173 {3174 attached: Set(),3175 built: false,3176 expecting: false,3177 running: false,3178 session: false,3179 up: true3180 }3181 )3182}31833184[State 3]3185{3186 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3187 schedTerminal::scheduler::crashes: 2,3188 schedTerminal::scheduler::entry: [],3189 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3190 schedTerminal::scheduler::mAssigned: Set(),3191 schedTerminal::scheduler::mBuild: Set(),3192 schedTerminal::scheduler::mDone: Set(),3193 schedTerminal::scheduler::mExpect: Set(),3194 schedTerminal::scheduler::mResult: Set(),3195 schedTerminal::scheduler::mRetry: Set(),3196 schedTerminal::scheduler::mRevoke: Set(),3197 schedTerminal::scheduler::mSchedule: Set("c1"),3198 schedTerminal::scheduler::published: 0,3199 schedTerminal::scheduler::publishedBy: Set(),3200 schedTerminal::scheduler::ws:3201 Map(3202 "w1" ->3203 {3204 attached: Set(),3205 built: false,3206 expecting: false,3207 running: false,3208 session: false,3209 up: false3210 },3211 "w2" ->3212 {3213 attached: Set(),3214 built: false,3215 expecting: false,3216 running: false,3217 session: false,3218 up: true3219 }3220 )3221}32223223[State 4]3224{3225 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),3226 schedTerminal::scheduler::crashes: 2,3227 schedTerminal::scheduler::entry: [],3228 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3229 schedTerminal::scheduler::mAssigned: Set(),3230 schedTerminal::scheduler::mBuild: Set(),3231 schedTerminal::scheduler::mDone: Set(),3232 schedTerminal::scheduler::mExpect: Set(),3233 schedTerminal::scheduler::mResult: Set(),3234 schedTerminal::scheduler::mRetry: Set(),3235 schedTerminal::scheduler::mRevoke: Set(),3236 schedTerminal::scheduler::mSchedule: Set(),3237 schedTerminal::scheduler::published: 0,3238 schedTerminal::scheduler::publishedBy: Set(),3239 schedTerminal::scheduler::ws:3240 Map(3241 "w1" ->3242 {3243 attached: Set(),3244 built: false,3245 expecting: false,3246 running: false,3247 session: false,3248 up: false3249 },3250 "w2" ->3251 {3252 attached: Set(),3253 built: false,3254 expecting: false,3255 running: false,3256 session: false,3257 up: true3258 }3259 )3260}32613262[violation] Found an issue (219ms at 205 traces/second).3263Use --verbosity=3 to show executions.3264Use --seed=0x954c4f292af212df --backend=rust to reproduce.3265error: Invariant violated3266An example execution:32673268[State 0]3269{3270 pushFixed::push::byPath: Map(),3271 pushFixed::push::inflight: Set(),3272 pushFixed::push::left: Map(),3273 pushFixed::push::sent: Map()3274}32753276[State 1]3277{3278 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3279 pushFixed::push::inflight: Set((2, "a"), (2, "b")),3280 pushFixed::push::left: Map(2 -> 2),3281 pushFixed::push::sent: Map(2 -> Set("a", "b"))3282}32833284[State 2]3285{3286 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3287 pushFixed::push::inflight: Set((2, "b")),3288 pushFixed::push::left: Map(2 -> 1),3289 pushFixed::push::sent: Map(2 -> Set("a", "b"))3290}32913292[State 3]3293{3294 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3295 pushFixed::push::inflight: Set(),3296 pushFixed::push::left: Map(2 -> 0),3297 pushFixed::push::sent: Map(2 -> Set("a", "b"))3298}32993300[State 4]3301{3302 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3303 pushFixed::push::inflight: Set((1, "a"), (1, "b")),3304 pushFixed::push::left: Map(1 -> 2, 2 -> 0),3305 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))3306}33073308[State 5]3309{3310 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3311 pushFixed::push::inflight: Set((1, "a")),3312 pushFixed::push::left: Map(1 -> 1, 2 -> 0),3313 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))3314}33153316[State 6]3317{3318 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3319 pushFixed::push::inflight: Set(),3320 pushFixed::push::left: Map(1 -> 0, 2 -> 0),3321 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))3322}33233324[State 7]3325{3326 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3327 pushFixed::push::inflight: Set((3, "a"), (3, "b")),3328 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 2),3329 pushFixed::push::sent:3330 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3331}33323333[State 8]3334{3335 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3336 pushFixed::push::inflight: Set((3, "b")),3337 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 1),3338 pushFixed::push::sent:3339 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3340}33413342[State 9]3343{3344 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3345 pushFixed::push::inflight: Set(),3346 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),3347 pushFixed::push::sent:3348 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3349}33503351[ok] No violation found (1216ms at 16447 traces/second).3352Trace length statistics: max=10, min=7, average=8.023353You may increase --max-samples and --max-steps.3354Use --verbosity to produce more (or less) output.3355Use --seed=0x7e13bc50bf42f050 --backend=rust to reproduce.