nixbot

builds
sign in

nix-grpc-store-spec checks.aarch64-darwin.spec · build #847 · 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" -> CQueued, "c2" -> CIdle),46 schedFixed::scheduler::crashes: 0,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("c1"),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: true,68 up: true69 },70 "w2" ->71 {72 attached: Set(),73 built: false,74 expecting: false,75 running: false,76 session: true,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: false108 },109 "w2" ->110 {111 attached: Set(),112 built: false,113 expecting: false,114 running: false,115 session: true,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 [{ followers: Set("c1"), leased: true, worker: "w2" }],127 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),128 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),129 schedFixed::scheduler::mBuild: Set(),130 schedFixed::scheduler::mDone: Set(),131 schedFixed::scheduler::mExpect: Set("w2"),132 schedFixed::scheduler::mResult: Set(),133 schedFixed::scheduler::mRetry: Set(),134 schedFixed::scheduler::mRevoke: Set(),135 schedFixed::scheduler::mSchedule: Set(),136 schedFixed::scheduler::published: 0,137 schedFixed::scheduler::publishedBy: Set(),138 schedFixed::scheduler::ws:139 Map(140 "w1" ->141 {142 attached: Set(),143 built: false,144 expecting: false,145 running: false,146 session: false,147 up: false148 },149 "w2" ->150 {151 attached: Set(),152 built: false,153 expecting: false,154 running: false,155 session: true,156 up: true157 }158 )159}160161[State 4]162{163 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),164 schedFixed::scheduler::crashes: 2,165 schedFixed::scheduler::entry:166 [{ followers: Set("c1"), leased: true, worker: "w2" }],167 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),168 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),169 schedFixed::scheduler::mBuild: Set(),170 schedFixed::scheduler::mDone: Set(),171 schedFixed::scheduler::mExpect: Set(),172 schedFixed::scheduler::mResult: Set(),173 schedFixed::scheduler::mRetry: Set(),174 schedFixed::scheduler::mRevoke: Set(),175 schedFixed::scheduler::mSchedule: Set(),176 schedFixed::scheduler::published: 0,177 schedFixed::scheduler::publishedBy: Set(),178 schedFixed::scheduler::ws:179 Map(180 "w1" ->181 {182 attached: Set(),183 built: false,184 expecting: false,185 running: false,186 session: false,187 up: false188 },189 "w2" ->190 {191 attached: Set(),192 built: false,193 expecting: false,194 running: false,195 session: false,196 up: false197 }198 )199}200201[State 5]202{203 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),204 schedFixed::scheduler::crashes: 2,205 schedFixed::scheduler::entry:206 [{ followers: Set("c1"), leased: true, worker: "w2" }],207 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),208 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),209 schedFixed::scheduler::mBuild: Set(),210 schedFixed::scheduler::mDone: Set(),211 schedFixed::scheduler::mExpect: Set(),212 schedFixed::scheduler::mResult: Set(),213 schedFixed::scheduler::mRetry: Set(),214 schedFixed::scheduler::mRevoke: Set(),215 schedFixed::scheduler::mSchedule: Set("c2"),216 schedFixed::scheduler::published: 0,217 schedFixed::scheduler::publishedBy: Set(),218 schedFixed::scheduler::ws:219 Map(220 "w1" ->221 {222 attached: Set(),223 built: false,224 expecting: false,225 running: false,226 session: false,227 up: false228 },229 "w2" ->230 {231 attached: Set(),232 built: false,233 expecting: false,234 running: false,235 session: false,236 up: false237 }238 )239}240241[State 6]242{243 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),244 schedFixed::scheduler::crashes: 2,245 schedFixed::scheduler::entry:246 [{ followers: Set("c1"), leased: true, worker: "w2" }],247 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),248 schedFixed::scheduler::mAssigned: Set(),249 schedFixed::scheduler::mBuild: Set(("c1", "w2")),250 schedFixed::scheduler::mDone: Set(),251 schedFixed::scheduler::mExpect: Set(),252 schedFixed::scheduler::mResult: Set(),253 schedFixed::scheduler::mRetry: Set(),254 schedFixed::scheduler::mRevoke: Set(),255 schedFixed::scheduler::mSchedule: Set("c2"),256 schedFixed::scheduler::published: 0,257 schedFixed::scheduler::publishedBy: Set(),258 schedFixed::scheduler::ws:259 Map(260 "w1" ->261 {262 attached: Set(),263 built: false,264 expecting: false,265 running: false,266 session: false,267 up: false268 },269 "w2" ->270 {271 attached: Set(),272 built: false,273 expecting: false,274 running: false,275 session: false,276 up: false277 }278 )279}280281[State 7]282{283 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),284 schedFixed::scheduler::crashes: 2,285 schedFixed::scheduler::entry:286 [{ followers: Set("c1"), leased: true, worker: "w2" }],287 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),288 schedFixed::scheduler::mAssigned: Set(),289 schedFixed::scheduler::mBuild: Set(),290 schedFixed::scheduler::mDone: Set(),291 schedFixed::scheduler::mExpect: Set(),292 schedFixed::scheduler::mResult: Set(),293 schedFixed::scheduler::mRetry: Set("c1"),294 schedFixed::scheduler::mRevoke: Set(),295 schedFixed::scheduler::mSchedule: Set("c2"),296 schedFixed::scheduler::published: 0,297 schedFixed::scheduler::publishedBy: Set(),298 schedFixed::scheduler::ws:299 Map(300 "w1" ->301 {302 attached: Set(),303 built: false,304 expecting: false,305 running: false,306 session: false,307 up: false308 },309 "w2" ->310 {311 attached: Set(),312 built: false,313 expecting: false,314 running: false,315 session: false,316 up: false317 }318 )319}320321[State 8]322{323 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),324 schedFixed::scheduler::crashes: 2,325 schedFixed::scheduler::entry:326 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],327 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),328 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),329 schedFixed::scheduler::mBuild: Set(),330 schedFixed::scheduler::mDone: Set(),331 schedFixed::scheduler::mExpect: Set(),332 schedFixed::scheduler::mResult: Set(),333 schedFixed::scheduler::mRetry: Set("c1"),334 schedFixed::scheduler::mRevoke: Set(),335 schedFixed::scheduler::mSchedule: Set(),336 schedFixed::scheduler::published: 0,337 schedFixed::scheduler::publishedBy: Set(),338 schedFixed::scheduler::ws:339 Map(340 "w1" ->341 {342 attached: Set(),343 built: false,344 expecting: false,345 running: false,346 session: false,347 up: false348 },349 "w2" ->350 {351 attached: Set(),352 built: false,353 expecting: false,354 running: false,355 session: false,356 up: false357 }358 )359}360361[State 9]362{363 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),364 schedFixed::scheduler::crashes: 2,365 schedFixed::scheduler::entry:366 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],367 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),368 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),369 schedFixed::scheduler::mBuild: Set(),370 schedFixed::scheduler::mDone: Set(),371 schedFixed::scheduler::mExpect: Set(),372 schedFixed::scheduler::mResult: Set(),373 schedFixed::scheduler::mRetry: Set("c1"),374 schedFixed::scheduler::mRevoke: Set(),375 schedFixed::scheduler::mSchedule: Set(),376 schedFixed::scheduler::published: 0,377 schedFixed::scheduler::publishedBy: Set(),378 schedFixed::scheduler::ws:379 Map(380 "w1" ->381 {382 attached: Set(),383 built: false,384 expecting: false,385 running: false,386 session: true,387 up: true388 },389 "w2" ->390 {391 attached: Set(),392 built: false,393 expecting: false,394 running: false,395 session: false,396 up: false397 }398 )399}400401[State 10]402{403 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),404 schedFixed::scheduler::crashes: 2,405 schedFixed::scheduler::entry:406 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],407 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),408 schedFixed::scheduler::mAssigned: Set(),409 schedFixed::scheduler::mBuild: Set(("c2", "w2")),410 schedFixed::scheduler::mDone: Set(),411 schedFixed::scheduler::mExpect: Set(),412 schedFixed::scheduler::mResult: Set(),413 schedFixed::scheduler::mRetry: Set("c1"),414 schedFixed::scheduler::mRevoke: Set(),415 schedFixed::scheduler::mSchedule: Set(),416 schedFixed::scheduler::published: 0,417 schedFixed::scheduler::publishedBy: Set(),418 schedFixed::scheduler::ws:419 Map(420 "w1" ->421 {422 attached: Set(),423 built: false,424 expecting: false,425 running: false,426 session: true,427 up: true428 },429 "w2" ->430 {431 attached: Set(),432 built: false,433 expecting: false,434 running: false,435 session: false,436 up: false437 }438 )439}440441[State 11]442{443 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CSent("w2")),444 schedFixed::scheduler::crashes: 2,445 schedFixed::scheduler::entry:446 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],447 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),448 schedFixed::scheduler::mAssigned: Set(),449 schedFixed::scheduler::mBuild: Set(),450 schedFixed::scheduler::mDone: Set(),451 schedFixed::scheduler::mExpect: Set(),452 schedFixed::scheduler::mResult: Set(),453 schedFixed::scheduler::mRetry: Set("c1", "c2"),454 schedFixed::scheduler::mRevoke: Set(),455 schedFixed::scheduler::mSchedule: Set(),456 schedFixed::scheduler::published: 0,457 schedFixed::scheduler::publishedBy: Set(),458 schedFixed::scheduler::ws:459 Map(460 "w1" ->461 {462 attached: Set(),463 built: false,464 expecting: false,465 running: false,466 session: true,467 up: true468 },469 "w2" ->470 {471 attached: Set(),472 built: false,473 expecting: false,474 running: false,475 session: false,476 up: false477 }478 )479}480481[State 12]482{483 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),484 schedFixed::scheduler::crashes: 2,485 schedFixed::scheduler::entry:486 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],487 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),488 schedFixed::scheduler::mAssigned: Set(),489 schedFixed::scheduler::mBuild: Set(),490 schedFixed::scheduler::mDone: Set(),491 schedFixed::scheduler::mExpect: Set(),492 schedFixed::scheduler::mResult: Set(),493 schedFixed::scheduler::mRetry: Set("c1"),494 schedFixed::scheduler::mRevoke: Set(),495 schedFixed::scheduler::mSchedule: Set("c2"),496 schedFixed::scheduler::published: 0,497 schedFixed::scheduler::publishedBy: Set(),498 schedFixed::scheduler::ws:499 Map(500 "w1" ->501 {502 attached: Set(),503 built: false,504 expecting: false,505 running: false,506 session: true,507 up: true508 },509 "w2" ->510 {511 attached: Set(),512 built: false,513 expecting: false,514 running: false,515 session: false,516 up: false517 }518 )519}520521[State 13]522{523 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),524 schedFixed::scheduler::crashes: 2,525 schedFixed::scheduler::entry:526 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],527 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),528 schedFixed::scheduler::mAssigned: Set(),529 schedFixed::scheduler::mBuild: Set(),530 schedFixed::scheduler::mDone: Set(),531 schedFixed::scheduler::mExpect: Set(),532 schedFixed::scheduler::mResult: Set(),533 schedFixed::scheduler::mRetry: Set(),534 schedFixed::scheduler::mRevoke: Set(),535 schedFixed::scheduler::mSchedule: Set("c1", "c2"),536 schedFixed::scheduler::published: 0,537 schedFixed::scheduler::publishedBy: Set(),538 schedFixed::scheduler::ws:539 Map(540 "w1" ->541 {542 attached: Set(),543 built: false,544 expecting: false,545 running: false,546 session: true,547 up: true548 },549 "w2" ->550 {551 attached: Set(),552 built: false,553 expecting: false,554 running: false,555 session: false,556 up: false557 }558 )559}560561[State 14]562{563 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),564 schedFixed::scheduler::crashes: 2,565 schedFixed::scheduler::entry: [],566 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),567 schedFixed::scheduler::mAssigned: Set(),568 schedFixed::scheduler::mBuild: Set(),569 schedFixed::scheduler::mDone: Set(),570 schedFixed::scheduler::mExpect: Set(),571 schedFixed::scheduler::mResult: Set(),572 schedFixed::scheduler::mRetry: Set("c1", "c2"),573 schedFixed::scheduler::mRevoke: Set(),574 schedFixed::scheduler::mSchedule: Set("c1", "c2"),575 schedFixed::scheduler::published: 0,576 schedFixed::scheduler::publishedBy: Set(),577 schedFixed::scheduler::ws:578 Map(579 "w1" ->580 {581 attached: Set(),582 built: false,583 expecting: false,584 running: false,585 session: true,586 up: true587 },588 "w2" ->589 {590 attached: Set(),591 built: false,592 expecting: false,593 running: false,594 session: false,595 up: false596 }597 )598}599600[State 15]601{602 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),603 schedFixed::scheduler::crashes: 2,604 schedFixed::scheduler::entry: [],605 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),606 schedFixed::scheduler::mAssigned: Set(),607 schedFixed::scheduler::mBuild: Set(),608 schedFixed::scheduler::mDone: Set(),609 schedFixed::scheduler::mExpect: Set(),610 schedFixed::scheduler::mResult: Set(),611 schedFixed::scheduler::mRetry: Set("c1"),612 schedFixed::scheduler::mRevoke: Set(),613 schedFixed::scheduler::mSchedule: Set("c1", "c2"),614 schedFixed::scheduler::published: 0,615 schedFixed::scheduler::publishedBy: Set(),616 schedFixed::scheduler::ws:617 Map(618 "w1" ->619 {620 attached: Set(),621 built: false,622 expecting: false,623 running: false,624 session: true,625 up: true626 },627 "w2" ->628 {629 attached: Set(),630 built: false,631 expecting: false,632 running: false,633 session: false,634 up: false635 }636 )637}638639[State 16]640{641 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),642 schedFixed::scheduler::crashes: 2,643 schedFixed::scheduler::entry: [],644 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),645 schedFixed::scheduler::mAssigned: Set(),646 schedFixed::scheduler::mBuild: Set(),647 schedFixed::scheduler::mDone: Set(),648 schedFixed::scheduler::mExpect: Set(),649 schedFixed::scheduler::mResult: Set(),650 schedFixed::scheduler::mRetry: Set("c1"),651 schedFixed::scheduler::mRevoke: Set(),652 schedFixed::scheduler::mSchedule: Set("c1", "c2"),653 schedFixed::scheduler::published: 0,654 schedFixed::scheduler::publishedBy: Set(),655 schedFixed::scheduler::ws:656 Map(657 "w1" ->658 {659 attached: Set(),660 built: false,661 expecting: false,662 running: false,663 session: true,664 up: true665 },666 "w2" ->667 {668 attached: Set(),669 built: false,670 expecting: false,671 running: false,672 session: true,673 up: true674 }675 )676}677678[State 17]679{680 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),681 schedFixed::scheduler::crashes: 2,682 schedFixed::scheduler::entry: [],683 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),684 schedFixed::scheduler::mAssigned: Set(),685 schedFixed::scheduler::mBuild: Set(),686 schedFixed::scheduler::mDone: Set(),687 schedFixed::scheduler::mExpect: Set(),688 schedFixed::scheduler::mResult: Set(),689 schedFixed::scheduler::mRetry: Set(),690 schedFixed::scheduler::mRevoke: Set(),691 schedFixed::scheduler::mSchedule: Set("c1", "c2"),692 schedFixed::scheduler::published: 0,693 schedFixed::scheduler::publishedBy: Set(),694 schedFixed::scheduler::ws:695 Map(696 "w1" ->697 {698 attached: Set(),699 built: false,700 expecting: false,701 running: false,702 session: true,703 up: true704 },705 "w2" ->706 {707 attached: Set(),708 built: false,709 expecting: false,710 running: false,711 session: true,712 up: true713 }714 )715}716717[State 18]718{719 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),720 schedFixed::scheduler::crashes: 2,721 schedFixed::scheduler::entry:722 [{ followers: Set("c2"), leased: true, worker: "w1" }],723 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),724 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),725 schedFixed::scheduler::mBuild: Set(),726 schedFixed::scheduler::mDone: Set(),727 schedFixed::scheduler::mExpect: Set("w1"),728 schedFixed::scheduler::mResult: Set(),729 schedFixed::scheduler::mRetry: Set(),730 schedFixed::scheduler::mRevoke: Set(),731 schedFixed::scheduler::mSchedule: Set("c1"),732 schedFixed::scheduler::published: 0,733 schedFixed::scheduler::publishedBy: Set(),734 schedFixed::scheduler::ws:735 Map(736 "w1" ->737 {738 attached: Set(),739 built: false,740 expecting: false,741 running: false,742 session: true,743 up: true744 },745 "w2" ->746 {747 attached: Set(),748 built: false,749 expecting: false,750 running: false,751 session: true,752 up: true753 }754 )755}756757[State 19]758{759 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),760 schedFixed::scheduler::crashes: 2,761 schedFixed::scheduler::entry:762 [{ followers: Set("c2"), leased: true, worker: "w1" }],763 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),764 schedFixed::scheduler::mAssigned: Set(),765 schedFixed::scheduler::mBuild: Set(("c2", "w1")),766 schedFixed::scheduler::mDone: Set(),767 schedFixed::scheduler::mExpect: Set("w1"),768 schedFixed::scheduler::mResult: Set(),769 schedFixed::scheduler::mRetry: Set(),770 schedFixed::scheduler::mRevoke: Set(),771 schedFixed::scheduler::mSchedule: Set("c1"),772 schedFixed::scheduler::published: 0,773 schedFixed::scheduler::publishedBy: Set(),774 schedFixed::scheduler::ws:775 Map(776 "w1" ->777 {778 attached: Set(),779 built: false,780 expecting: false,781 running: false,782 session: true,783 up: true784 },785 "w2" ->786 {787 attached: Set(),788 built: false,789 expecting: false,790 running: false,791 session: true,792 up: true793 }794 )795}796797[State 20]798{799 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),800 schedFixed::scheduler::crashes: 2,801 schedFixed::scheduler::entry:802 [{ followers: Set("c2"), leased: true, worker: "w1" }],803 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),804 schedFixed::scheduler::mAssigned: Set(),805 schedFixed::scheduler::mBuild: Set(),806 schedFixed::scheduler::mDone: Set(),807 schedFixed::scheduler::mExpect: Set("w1"),808 schedFixed::scheduler::mResult: Set(),809 schedFixed::scheduler::mRetry: Set("c2"),810 schedFixed::scheduler::mRevoke: Set(),811 schedFixed::scheduler::mSchedule: Set("c1"),812 schedFixed::scheduler::published: 0,813 schedFixed::scheduler::publishedBy: Set(),814 schedFixed::scheduler::ws:815 Map(816 "w1" ->817 {818 attached: Set(),819 built: false,820 expecting: false,821 running: false,822 session: true,823 up: true824 },825 "w2" ->826 {827 attached: Set(),828 built: false,829 expecting: false,830 running: false,831 session: true,832 up: true833 }834 )835}836837[State 21]838{839 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),840 schedFixed::scheduler::crashes: 2,841 schedFixed::scheduler::entry:842 [{ followers: Set("c2"), leased: true, worker: "w1" }],843 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),844 schedFixed::scheduler::mAssigned: Set(),845 schedFixed::scheduler::mBuild: Set(),846 schedFixed::scheduler::mDone: Set(),847 schedFixed::scheduler::mExpect: Set("w1"),848 schedFixed::scheduler::mResult: Set(),849 schedFixed::scheduler::mRetry: Set(),850 schedFixed::scheduler::mRevoke: Set(),851 schedFixed::scheduler::mSchedule: Set("c1", "c2"),852 schedFixed::scheduler::published: 0,853 schedFixed::scheduler::publishedBy: Set(),854 schedFixed::scheduler::ws:855 Map(856 "w1" ->857 {858 attached: Set(),859 built: false,860 expecting: false,861 running: false,862 session: true,863 up: true864 },865 "w2" ->866 {867 attached: Set(),868 built: false,869 expecting: false,870 running: false,871 session: true,872 up: true873 }874 )875}876877[State 22]878{879 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),880 schedFixed::scheduler::crashes: 2,881 schedFixed::scheduler::entry:882 [{ followers: Set("c2"), leased: true, worker: "w1" }],883 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),884 schedFixed::scheduler::mAssigned: Set(),885 schedFixed::scheduler::mBuild: Set(),886 schedFixed::scheduler::mDone: Set(),887 schedFixed::scheduler::mExpect: Set(),888 schedFixed::scheduler::mResult: Set(),889 schedFixed::scheduler::mRetry: Set(),890 schedFixed::scheduler::mRevoke: Set(),891 schedFixed::scheduler::mSchedule: Set("c1", "c2"),892 schedFixed::scheduler::published: 0,893 schedFixed::scheduler::publishedBy: Set(),894 schedFixed::scheduler::ws:895 Map(896 "w1" ->897 {898 attached: Set(),899 built: false,900 expecting: true,901 running: true,902 session: true,903 up: true904 },905 "w2" ->906 {907 attached: Set(),908 built: false,909 expecting: false,910 running: false,911 session: true,912 up: true913 }914 )915}916917[State 23]918{919 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),920 schedFixed::scheduler::crashes: 2,921 schedFixed::scheduler::entry:922 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],923 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),924 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),925 schedFixed::scheduler::mBuild: Set(),926 schedFixed::scheduler::mDone: Set(),927 schedFixed::scheduler::mExpect: Set(),928 schedFixed::scheduler::mResult: Set(),929 schedFixed::scheduler::mRetry: Set(),930 schedFixed::scheduler::mRevoke: Set(),931 schedFixed::scheduler::mSchedule: Set("c2"),932 schedFixed::scheduler::published: 0,933 schedFixed::scheduler::publishedBy: Set(),934 schedFixed::scheduler::ws:935 Map(936 "w1" ->937 {938 attached: Set(),939 built: false,940 expecting: true,941 running: true,942 session: true,943 up: true944 },945 "w2" ->946 {947 attached: Set(),948 built: false,949 expecting: false,950 running: false,951 session: true,952 up: true953 }954 )955}956957[State 24]958{959 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),960 schedFixed::scheduler::crashes: 2,961 schedFixed::scheduler::entry:962 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],963 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),964 schedFixed::scheduler::mAssigned: Set(),965 schedFixed::scheduler::mBuild: Set(("c1", "w1")),966 schedFixed::scheduler::mDone: Set(),967 schedFixed::scheduler::mExpect: Set(),968 schedFixed::scheduler::mResult: Set(),969 schedFixed::scheduler::mRetry: Set(),970 schedFixed::scheduler::mRevoke: Set(),971 schedFixed::scheduler::mSchedule: Set("c2"),972 schedFixed::scheduler::published: 0,973 schedFixed::scheduler::publishedBy: Set(),974 schedFixed::scheduler::ws:975 Map(976 "w1" ->977 {978 attached: Set(),979 built: false,980 expecting: true,981 running: true,982 session: true,983 up: true984 },985 "w2" ->986 {987 attached: Set(),988 built: false,989 expecting: false,990 running: false,991 session: true,992 up: true993 }994 )995}996997[State 25]998{999 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1000 schedFixed::scheduler::crashes: 2,1001 schedFixed::scheduler::entry:1002 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1003 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1004 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),1005 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1006 schedFixed::scheduler::mDone: Set(),1007 schedFixed::scheduler::mExpect: Set(),1008 schedFixed::scheduler::mResult: Set(),1009 schedFixed::scheduler::mRetry: Set(),1010 schedFixed::scheduler::mRevoke: Set(),1011 schedFixed::scheduler::mSchedule: Set(),1012 schedFixed::scheduler::published: 0,1013 schedFixed::scheduler::publishedBy: Set(),1014 schedFixed::scheduler::ws:1015 Map(1016 "w1" ->1017 {1018 attached: Set(),1019 built: false,1020 expecting: true,1021 running: true,1022 session: true,1023 up: true1024 },1025 "w2" ->1026 {1027 attached: Set(),1028 built: false,1029 expecting: false,1030 running: false,1031 session: true,1032 up: true1033 }1034 )1035}10361037[State 26]1038{1039 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1040 schedFixed::scheduler::crashes: 2,1041 schedFixed::scheduler::entry:1042 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1043 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1044 schedFixed::scheduler::mAssigned: Set(),1045 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1046 schedFixed::scheduler::mDone: Set(),1047 schedFixed::scheduler::mExpect: Set(),1048 schedFixed::scheduler::mResult: Set(),1049 schedFixed::scheduler::mRetry: Set(),1050 schedFixed::scheduler::mRevoke: Set(),1051 schedFixed::scheduler::mSchedule: Set(),1052 schedFixed::scheduler::published: 0,1053 schedFixed::scheduler::publishedBy: Set(),1054 schedFixed::scheduler::ws:1055 Map(1056 "w1" ->1057 {1058 attached: Set(),1059 built: false,1060 expecting: true,1061 running: true,1062 session: true,1063 up: true1064 },1065 "w2" ->1066 {1067 attached: Set(),1068 built: false,1069 expecting: false,1070 running: false,1071 session: true,1072 up: true1073 }1074 )1075}10761077[State 27]1078{1079 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1080 schedFixed::scheduler::crashes: 2,1081 schedFixed::scheduler::entry:1082 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1083 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1084 schedFixed::scheduler::mAssigned: Set(),1085 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),1086 schedFixed::scheduler::mDone: Set("w1"),1087 schedFixed::scheduler::mExpect: Set(),1088 schedFixed::scheduler::mResult: Set(),1089 schedFixed::scheduler::mRetry: Set(),1090 schedFixed::scheduler::mRevoke: Set(),1091 schedFixed::scheduler::mSchedule: Set(),1092 schedFixed::scheduler::published: 1,1093 schedFixed::scheduler::publishedBy: Set("w1"),1094 schedFixed::scheduler::ws:1095 Map(1096 "w1" ->1097 {1098 attached: Set(),1099 built: true,1100 expecting: false,1101 running: false,1102 session: true,1103 up: true1104 },1105 "w2" ->1106 {1107 attached: Set(),1108 built: false,1109 expecting: false,1110 running: false,1111 session: true,1112 up: true1113 }1114 )1115}11161117[State 28]1118{1119 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1120 schedFixed::scheduler::crashes: 2,1121 schedFixed::scheduler::entry:1122 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1123 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1124 schedFixed::scheduler::mAssigned: Set(),1125 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1126 schedFixed::scheduler::mDone: Set("w1"),1127 schedFixed::scheduler::mExpect: Set(),1128 schedFixed::scheduler::mResult: Set("c1"),1129 schedFixed::scheduler::mRetry: Set(),1130 schedFixed::scheduler::mRevoke: Set(),1131 schedFixed::scheduler::mSchedule: Set(),1132 schedFixed::scheduler::published: 1,1133 schedFixed::scheduler::publishedBy: Set("w1"),1134 schedFixed::scheduler::ws:1135 Map(1136 "w1" ->1137 {1138 attached: Set(),1139 built: true,1140 expecting: false,1141 running: false,1142 session: true,1143 up: true1144 },1145 "w2" ->1146 {1147 attached: Set(),1148 built: false,1149 expecting: false,1150 running: false,1151 session: true,1152 up: true1153 }1154 )1155}11561157[State 29]1158{1159 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w1")),1160 schedFixed::scheduler::crashes: 2,1161 schedFixed::scheduler::entry:1162 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1163 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1164 schedFixed::scheduler::mAssigned: Set(),1165 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1166 schedFixed::scheduler::mDone: Set("w1"),1167 schedFixed::scheduler::mExpect: Set(),1168 schedFixed::scheduler::mResult: Set(),1169 schedFixed::scheduler::mRetry: Set(),1170 schedFixed::scheduler::mRevoke: Set(),1171 schedFixed::scheduler::mSchedule: Set(),1172 schedFixed::scheduler::published: 1,1173 schedFixed::scheduler::publishedBy: Set("w1"),1174 schedFixed::scheduler::ws:1175 Map(1176 "w1" ->1177 {1178 attached: Set(),1179 built: true,1180 expecting: false,1181 running: false,1182 session: true,1183 up: true1184 },1185 "w2" ->1186 {1187 attached: Set(),1188 built: false,1189 expecting: false,1190 running: false,1191 session: true,1192 up: true1193 }1194 )1195}11961197[State 30]1198{1199 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w1")),1200 schedFixed::scheduler::crashes: 2,1201 schedFixed::scheduler::entry: [],1202 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1203 schedFixed::scheduler::mAssigned: Set(),1204 schedFixed::scheduler::mBuild: Set(("c2", "w1")),1205 schedFixed::scheduler::mDone: Set(),1206 schedFixed::scheduler::mExpect: Set(),1207 schedFixed::scheduler::mResult: Set(),1208 schedFixed::scheduler::mRetry: Set(),1209 schedFixed::scheduler::mRevoke: Set(),1210 schedFixed::scheduler::mSchedule: Set(),1211 schedFixed::scheduler::published: 1,1212 schedFixed::scheduler::publishedBy: Set("w1"),1213 schedFixed::scheduler::ws:1214 Map(1215 "w1" ->1216 {1217 attached: Set(),1218 built: true,1219 expecting: false,1220 running: false,1221 session: true,1222 up: true1223 },1224 "w2" ->1225 {1226 attached: Set(),1227 built: false,1228 expecting: false,1229 running: false,1230 session: true,1231 up: true1232 }1233 )1234}12351236[ok] No violation found (5924ms at 5064 traces/second).1237Trace length statistics: max=31, min=15, average=18.761238You may increase --max-samples and --max-steps.1239Use --verbosity to produce more (or less) output.1240Use --seed=0x4d71bde72506bba7 --backend=rust to reproduce.1241An example execution:12421243[State 0]1244{1245 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1246 schedNoRevoke::scheduler::crashes: 0,1247 schedNoRevoke::scheduler::entry: [],1248 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1249 schedNoRevoke::scheduler::mAssigned: Set(),1250 schedNoRevoke::scheduler::mBuild: Set(),1251 schedNoRevoke::scheduler::mDone: Set(),1252 schedNoRevoke::scheduler::mExpect: Set(),1253 schedNoRevoke::scheduler::mResult: Set(),1254 schedNoRevoke::scheduler::mRetry: Set(),1255 schedNoRevoke::scheduler::mRevoke: Set(),1256 schedNoRevoke::scheduler::mSchedule: Set(),1257 schedNoRevoke::scheduler::published: 0,1258 schedNoRevoke::scheduler::publishedBy: Set(),1259 schedNoRevoke::scheduler::ws:1260 Map(1261 "w1" ->1262 {1263 attached: Set(),1264 built: false,1265 expecting: false,1266 running: false,1267 session: true,1268 up: true1269 },1270 "w2" ->1271 {1272 attached: Set(),1273 built: false,1274 expecting: false,1275 running: false,1276 session: true,1277 up: true1278 }1279 )1280}12811282[State 1]1283{1284 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1285 schedNoRevoke::scheduler::crashes: 0,1286 schedNoRevoke::scheduler::entry: [],1287 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1288 schedNoRevoke::scheduler::mAssigned: Set(),1289 schedNoRevoke::scheduler::mBuild: Set(),1290 schedNoRevoke::scheduler::mDone: Set(),1291 schedNoRevoke::scheduler::mExpect: Set(),1292 schedNoRevoke::scheduler::mResult: Set(),1293 schedNoRevoke::scheduler::mRetry: Set(),1294 schedNoRevoke::scheduler::mRevoke: Set(),1295 schedNoRevoke::scheduler::mSchedule: Set("c2"),1296 schedNoRevoke::scheduler::published: 0,1297 schedNoRevoke::scheduler::publishedBy: Set(),1298 schedNoRevoke::scheduler::ws:1299 Map(1300 "w1" ->1301 {1302 attached: Set(),1303 built: false,1304 expecting: false,1305 running: false,1306 session: true,1307 up: true1308 },1309 "w2" ->1310 {1311 attached: Set(),1312 built: false,1313 expecting: false,1314 running: false,1315 session: true,1316 up: true1317 }1318 )1319}13201321[State 2]1322{1323 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1324 schedNoRevoke::scheduler::crashes: 0,1325 schedNoRevoke::scheduler::entry:1326 [{ followers: Set("c2"), leased: true, worker: "w2" }],1327 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1328 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w2")),1329 schedNoRevoke::scheduler::mBuild: Set(),1330 schedNoRevoke::scheduler::mDone: Set(),1331 schedNoRevoke::scheduler::mExpect: Set("w2"),1332 schedNoRevoke::scheduler::mResult: Set(),1333 schedNoRevoke::scheduler::mRetry: Set(),1334 schedNoRevoke::scheduler::mRevoke: Set(),1335 schedNoRevoke::scheduler::mSchedule: Set(),1336 schedNoRevoke::scheduler::published: 0,1337 schedNoRevoke::scheduler::publishedBy: Set(),1338 schedNoRevoke::scheduler::ws:1339 Map(1340 "w1" ->1341 {1342 attached: Set(),1343 built: false,1344 expecting: false,1345 running: false,1346 session: true,1347 up: true1348 },1349 "w2" ->1350 {1351 attached: Set(),1352 built: false,1353 expecting: false,1354 running: false,1355 session: true,1356 up: true1357 }1358 )1359}13601361[State 3]1362{1363 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1364 schedNoRevoke::scheduler::crashes: 0,1365 schedNoRevoke::scheduler::entry:1366 [{ followers: Set("c2"), leased: true, worker: "w2" }],1367 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1368 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w2")),1369 schedNoRevoke::scheduler::mBuild: Set(),1370 schedNoRevoke::scheduler::mDone: Set(),1371 schedNoRevoke::scheduler::mExpect: Set(),1372 schedNoRevoke::scheduler::mResult: Set(),1373 schedNoRevoke::scheduler::mRetry: Set(),1374 schedNoRevoke::scheduler::mRevoke: Set(),1375 schedNoRevoke::scheduler::mSchedule: Set(),1376 schedNoRevoke::scheduler::published: 0,1377 schedNoRevoke::scheduler::publishedBy: Set(),1378 schedNoRevoke::scheduler::ws:1379 Map(1380 "w1" ->1381 {1382 attached: Set(),1383 built: false,1384 expecting: false,1385 running: false,1386 session: true,1387 up: true1388 },1389 "w2" ->1390 {1391 attached: Set(),1392 built: false,1393 expecting: true,1394 running: true,1395 session: true,1396 up: true1397 }1398 )1399}14001401[State 4]1402{1403 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1404 schedNoRevoke::scheduler::crashes: 1,1405 schedNoRevoke::scheduler::entry: [],1406 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1407 schedNoRevoke::scheduler::mAssigned: Set(),1408 schedNoRevoke::scheduler::mBuild: Set(),1409 schedNoRevoke::scheduler::mDone: Set(),1410 schedNoRevoke::scheduler::mExpect: Set(),1411 schedNoRevoke::scheduler::mResult: Set(),1412 schedNoRevoke::scheduler::mRetry: Set("c2"),1413 schedNoRevoke::scheduler::mRevoke: Set(),1414 schedNoRevoke::scheduler::mSchedule: Set(),1415 schedNoRevoke::scheduler::published: 0,1416 schedNoRevoke::scheduler::publishedBy: Set(),1417 schedNoRevoke::scheduler::ws:1418 Map(1419 "w1" ->1420 {1421 attached: Set(),1422 built: false,1423 expecting: false,1424 running: false,1425 session: false,1426 up: true1427 },1428 "w2" ->1429 {1430 attached: Set(),1431 built: false,1432 expecting: true,1433 running: true,1434 session: false,1435 up: true1436 }1437 )1438}14391440[State 5]1441{1442 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1443 schedNoRevoke::scheduler::crashes: 2,1444 schedNoRevoke::scheduler::entry: [],1445 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1446 schedNoRevoke::scheduler::mAssigned: Set(),1447 schedNoRevoke::scheduler::mBuild: Set(),1448 schedNoRevoke::scheduler::mDone: Set(),1449 schedNoRevoke::scheduler::mExpect: Set(),1450 schedNoRevoke::scheduler::mResult: Set(),1451 schedNoRevoke::scheduler::mRetry: Set("c2"),1452 schedNoRevoke::scheduler::mRevoke: Set(),1453 schedNoRevoke::scheduler::mSchedule: Set(),1454 schedNoRevoke::scheduler::published: 0,1455 schedNoRevoke::scheduler::publishedBy: Set(),1456 schedNoRevoke::scheduler::ws:1457 Map(1458 "w1" ->1459 {1460 attached: Set(),1461 built: false,1462 expecting: false,1463 running: false,1464 session: false,1465 up: true1466 },1467 "w2" ->1468 {1469 attached: Set(),1470 built: false,1471 expecting: true,1472 running: true,1473 session: false,1474 up: true1475 }1476 )1477}14781479[State 6]1480{1481 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1482 schedNoRevoke::scheduler::crashes: 2,1483 schedNoRevoke::scheduler::entry: [],1484 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1485 schedNoRevoke::scheduler::mAssigned: Set(),1486 schedNoRevoke::scheduler::mBuild: Set(),1487 schedNoRevoke::scheduler::mDone: Set(),1488 schedNoRevoke::scheduler::mExpect: Set(),1489 schedNoRevoke::scheduler::mResult: Set(),1490 schedNoRevoke::scheduler::mRetry: Set("c2"),1491 schedNoRevoke::scheduler::mRevoke: Set(),1492 schedNoRevoke::scheduler::mSchedule: Set(),1493 schedNoRevoke::scheduler::published: 0,1494 schedNoRevoke::scheduler::publishedBy: Set(),1495 schedNoRevoke::scheduler::ws:1496 Map(1497 "w1" ->1498 {1499 attached: Set(),1500 built: false,1501 expecting: false,1502 running: false,1503 session: true,1504 up: true1505 },1506 "w2" ->1507 {1508 attached: Set(),1509 built: false,1510 expecting: true,1511 running: true,1512 session: false,1513 up: true1514 }1515 )1516}15171518[State 7]1519{1520 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1521 schedNoRevoke::scheduler::crashes: 2,1522 schedNoRevoke::scheduler::entry: [],1523 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1524 schedNoRevoke::scheduler::mAssigned: Set(),1525 schedNoRevoke::scheduler::mBuild: Set(),1526 schedNoRevoke::scheduler::mDone: Set(),1527 schedNoRevoke::scheduler::mExpect: Set(),1528 schedNoRevoke::scheduler::mResult: Set(),1529 schedNoRevoke::scheduler::mRetry: Set("c2"),1530 schedNoRevoke::scheduler::mRevoke: Set(),1531 schedNoRevoke::scheduler::mSchedule: Set("c1"),1532 schedNoRevoke::scheduler::published: 0,1533 schedNoRevoke::scheduler::publishedBy: Set(),1534 schedNoRevoke::scheduler::ws:1535 Map(1536 "w1" ->1537 {1538 attached: Set(),1539 built: false,1540 expecting: false,1541 running: false,1542 session: true,1543 up: true1544 },1545 "w2" ->1546 {1547 attached: Set(),1548 built: false,1549 expecting: true,1550 running: true,1551 session: false,1552 up: true1553 }1554 )1555}15561557[State 8]1558{1559 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1560 schedNoRevoke::scheduler::crashes: 2,1561 schedNoRevoke::scheduler::entry:1562 [{ followers: Set("c1"), leased: true, worker: "w1" }],1563 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),1564 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1565 schedNoRevoke::scheduler::mBuild: Set(),1566 schedNoRevoke::scheduler::mDone: Set(),1567 schedNoRevoke::scheduler::mExpect: Set("w1"),1568 schedNoRevoke::scheduler::mResult: Set(),1569 schedNoRevoke::scheduler::mRetry: Set("c2"),1570 schedNoRevoke::scheduler::mRevoke: Set(),1571 schedNoRevoke::scheduler::mSchedule: Set(),1572 schedNoRevoke::scheduler::published: 0,1573 schedNoRevoke::scheduler::publishedBy: Set(),1574 schedNoRevoke::scheduler::ws:1575 Map(1576 "w1" ->1577 {1578 attached: Set(),1579 built: false,1580 expecting: false,1581 running: false,1582 session: true,1583 up: true1584 },1585 "w2" ->1586 {1587 attached: Set(),1588 built: false,1589 expecting: true,1590 running: true,1591 session: false,1592 up: true1593 }1594 )1595}15961597[State 9]1598{1599 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1600 schedNoRevoke::scheduler::crashes: 2,1601 schedNoRevoke::scheduler::entry:1602 [{ followers: Set("c1"), leased: true, worker: "w1" }],1603 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1604 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1605 schedNoRevoke::scheduler::mBuild: Set(),1606 schedNoRevoke::scheduler::mDone: Set(),1607 schedNoRevoke::scheduler::mExpect: Set("w1"),1608 schedNoRevoke::scheduler::mResult: Set(),1609 schedNoRevoke::scheduler::mRetry: Set("c2"),1610 schedNoRevoke::scheduler::mRevoke: Set(),1611 schedNoRevoke::scheduler::mSchedule: Set(),1612 schedNoRevoke::scheduler::published: 0,1613 schedNoRevoke::scheduler::publishedBy: Set(),1614 schedNoRevoke::scheduler::ws:1615 Map(1616 "w1" ->1617 {1618 attached: Set(),1619 built: false,1620 expecting: false,1621 running: false,1622 session: true,1623 up: true1624 },1625 "w2" ->1626 {1627 attached: Set(),1628 built: false,1629 expecting: true,1630 running: true,1631 session: true,1632 up: true1633 }1634 )1635}16361637[State 10]1638{1639 schedNoRevoke::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1640 schedNoRevoke::scheduler::crashes: 2,1641 schedNoRevoke::scheduler::entry:1642 [{ followers: Set("c1"), leased: true, worker: "w1" }],1643 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1644 schedNoRevoke::scheduler::mAssigned: Set(("c1", "w1")),1645 schedNoRevoke::scheduler::mBuild: Set(),1646 schedNoRevoke::scheduler::mDone: Set(),1647 schedNoRevoke::scheduler::mExpect: Set(),1648 schedNoRevoke::scheduler::mResult: Set(),1649 schedNoRevoke::scheduler::mRetry: Set("c2"),1650 schedNoRevoke::scheduler::mRevoke: Set(),1651 schedNoRevoke::scheduler::mSchedule: Set(),1652 schedNoRevoke::scheduler::published: 0,1653 schedNoRevoke::scheduler::publishedBy: Set(),1654 schedNoRevoke::scheduler::ws:1655 Map(1656 "w1" ->1657 {1658 attached: Set(),1659 built: false,1660 expecting: true,1661 running: true,1662 session: true,1663 up: true1664 },1665 "w2" ->1666 {1667 attached: Set(),1668 built: false,1669 expecting: true,1670 running: true,1671 session: true,1672 up: true1673 }1674 )1675}16761677[violation] Found an issue (3470ms at 3653 traces/second).1678Use --verbosity=3 to show executions.1679Use --seed=0x8063cf0a1f1780b7 --backend=rust to reproduce.1680error: Invariant violated1681An example execution:16821683[State 0]1684{1685 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1686 schedNoFence::scheduler::crashes: 0,1687 schedNoFence::scheduler::entry: [],1688 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1689 schedNoFence::scheduler::mAssigned: Set(),1690 schedNoFence::scheduler::mBuild: Set(),1691 schedNoFence::scheduler::mDone: Set(),1692 schedNoFence::scheduler::mExpect: Set(),1693 schedNoFence::scheduler::mResult: Set(),1694 schedNoFence::scheduler::mRetry: Set(),1695 schedNoFence::scheduler::mRevoke: Set(),1696 schedNoFence::scheduler::mSchedule: Set(),1697 schedNoFence::scheduler::published: 0,1698 schedNoFence::scheduler::publishedBy: Set(),1699 schedNoFence::scheduler::ws:1700 Map(1701 "w1" ->1702 {1703 attached: Set(),1704 built: false,1705 expecting: false,1706 running: false,1707 session: true,1708 up: true1709 },1710 "w2" ->1711 {1712 attached: Set(),1713 built: false,1714 expecting: false,1715 running: false,1716 session: true,1717 up: true1718 }1719 )1720}17211722[State 1]1723{1724 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1725 schedNoFence::scheduler::crashes: 1,1726 schedNoFence::scheduler::entry: [],1727 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1728 schedNoFence::scheduler::mAssigned: Set(),1729 schedNoFence::scheduler::mBuild: Set(),1730 schedNoFence::scheduler::mDone: Set(),1731 schedNoFence::scheduler::mExpect: Set(),1732 schedNoFence::scheduler::mResult: Set(),1733 schedNoFence::scheduler::mRetry: Set(),1734 schedNoFence::scheduler::mRevoke: Set(),1735 schedNoFence::scheduler::mSchedule: Set(),1736 schedNoFence::scheduler::published: 0,1737 schedNoFence::scheduler::publishedBy: Set(),1738 schedNoFence::scheduler::ws:1739 Map(1740 "w1" ->1741 {1742 attached: Set(),1743 built: false,1744 expecting: false,1745 running: false,1746 session: true,1747 up: true1748 },1749 "w2" ->1750 {1751 attached: Set(),1752 built: false,1753 expecting: false,1754 running: false,1755 session: false,1756 up: false1757 }1758 )1759}17601761[State 2]1762{1763 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1764 schedNoFence::scheduler::crashes: 1,1765 schedNoFence::scheduler::entry: [],1766 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1767 schedNoFence::scheduler::mAssigned: Set(),1768 schedNoFence::scheduler::mBuild: Set(),1769 schedNoFence::scheduler::mDone: Set(),1770 schedNoFence::scheduler::mExpect: Set(),1771 schedNoFence::scheduler::mResult: Set(),1772 schedNoFence::scheduler::mRetry: Set(),1773 schedNoFence::scheduler::mRevoke: Set(),1774 schedNoFence::scheduler::mSchedule: Set("c2"),1775 schedNoFence::scheduler::published: 0,1776 schedNoFence::scheduler::publishedBy: Set(),1777 schedNoFence::scheduler::ws:1778 Map(1779 "w1" ->1780 {1781 attached: Set(),1782 built: false,1783 expecting: false,1784 running: false,1785 session: true,1786 up: true1787 },1788 "w2" ->1789 {1790 attached: Set(),1791 built: false,1792 expecting: false,1793 running: false,1794 session: false,1795 up: false1796 }1797 )1798}17991800[State 3]1801{1802 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1803 schedNoFence::scheduler::crashes: 1,1804 schedNoFence::scheduler::entry:1805 [{ followers: Set("c2"), leased: true, worker: "w1" }],1806 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1807 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1808 schedNoFence::scheduler::mBuild: Set(),1809 schedNoFence::scheduler::mDone: Set(),1810 schedNoFence::scheduler::mExpect: Set("w1"),1811 schedNoFence::scheduler::mResult: Set(),1812 schedNoFence::scheduler::mRetry: Set(),1813 schedNoFence::scheduler::mRevoke: Set(),1814 schedNoFence::scheduler::mSchedule: Set(),1815 schedNoFence::scheduler::published: 0,1816 schedNoFence::scheduler::publishedBy: Set(),1817 schedNoFence::scheduler::ws:1818 Map(1819 "w1" ->1820 {1821 attached: Set(),1822 built: false,1823 expecting: false,1824 running: false,1825 session: true,1826 up: true1827 },1828 "w2" ->1829 {1830 attached: Set(),1831 built: false,1832 expecting: false,1833 running: false,1834 session: false,1835 up: false1836 }1837 )1838}18391840[State 4]1841{1842 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1843 schedNoFence::scheduler::crashes: 1,1844 schedNoFence::scheduler::entry:1845 [{ followers: Set("c2"), leased: true, worker: "w1" }],1846 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1847 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1848 schedNoFence::scheduler::mBuild: Set(),1849 schedNoFence::scheduler::mDone: Set(),1850 schedNoFence::scheduler::mExpect: Set(),1851 schedNoFence::scheduler::mResult: Set(),1852 schedNoFence::scheduler::mRetry: Set(),1853 schedNoFence::scheduler::mRevoke: Set(),1854 schedNoFence::scheduler::mSchedule: Set(),1855 schedNoFence::scheduler::published: 0,1856 schedNoFence::scheduler::publishedBy: Set(),1857 schedNoFence::scheduler::ws:1858 Map(1859 "w1" ->1860 {1861 attached: Set(),1862 built: false,1863 expecting: true,1864 running: true,1865 session: true,1866 up: true1867 },1868 "w2" ->1869 {1870 attached: Set(),1871 built: false,1872 expecting: false,1873 running: false,1874 session: false,1875 up: false1876 }1877 )1878}18791880[State 5]1881{1882 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1883 schedNoFence::scheduler::crashes: 2,1884 schedNoFence::scheduler::entry: [],1885 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1886 schedNoFence::scheduler::mAssigned: Set(),1887 schedNoFence::scheduler::mBuild: Set(),1888 schedNoFence::scheduler::mDone: Set(),1889 schedNoFence::scheduler::mExpect: Set(),1890 schedNoFence::scheduler::mResult: Set(),1891 schedNoFence::scheduler::mRetry: Set("c2"),1892 schedNoFence::scheduler::mRevoke: Set(),1893 schedNoFence::scheduler::mSchedule: Set(),1894 schedNoFence::scheduler::published: 0,1895 schedNoFence::scheduler::publishedBy: Set(),1896 schedNoFence::scheduler::ws:1897 Map(1898 "w1" ->1899 {1900 attached: Set(),1901 built: false,1902 expecting: true,1903 running: true,1904 session: false,1905 up: true1906 },1907 "w2" ->1908 {1909 attached: Set(),1910 built: false,1911 expecting: false,1912 running: false,1913 session: false,1914 up: false1915 }1916 )1917}19181919[State 6]1920{1921 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1922 schedNoFence::scheduler::crashes: 2,1923 schedNoFence::scheduler::entry: [],1924 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1925 schedNoFence::scheduler::mAssigned: Set(),1926 schedNoFence::scheduler::mBuild: Set(),1927 schedNoFence::scheduler::mDone: Set(),1928 schedNoFence::scheduler::mExpect: Set(),1929 schedNoFence::scheduler::mResult: Set(),1930 schedNoFence::scheduler::mRetry: Set("c2"),1931 schedNoFence::scheduler::mRevoke: Set(),1932 schedNoFence::scheduler::mSchedule: Set(),1933 schedNoFence::scheduler::published: 0,1934 schedNoFence::scheduler::publishedBy: Set(),1935 schedNoFence::scheduler::ws:1936 Map(1937 "w1" ->1938 {1939 attached: Set(),1940 built: false,1941 expecting: true,1942 running: true,1943 session: false,1944 up: true1945 },1946 "w2" ->1947 {1948 attached: Set(),1949 built: false,1950 expecting: false,1951 running: false,1952 session: true,1953 up: true1954 }1955 )1956}19571958[State 7]1959{1960 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1961 schedNoFence::scheduler::crashes: 2,1962 schedNoFence::scheduler::entry: [],1963 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1964 schedNoFence::scheduler::mAssigned: Set(),1965 schedNoFence::scheduler::mBuild: Set(),1966 schedNoFence::scheduler::mDone: Set(),1967 schedNoFence::scheduler::mExpect: Set(),1968 schedNoFence::scheduler::mResult: Set(),1969 schedNoFence::scheduler::mRetry: Set(),1970 schedNoFence::scheduler::mRevoke: Set(),1971 schedNoFence::scheduler::mSchedule: Set("c2"),1972 schedNoFence::scheduler::published: 0,1973 schedNoFence::scheduler::publishedBy: Set(),1974 schedNoFence::scheduler::ws:1975 Map(1976 "w1" ->1977 {1978 attached: Set(),1979 built: false,1980 expecting: true,1981 running: true,1982 session: false,1983 up: true1984 },1985 "w2" ->1986 {1987 attached: Set(),1988 built: false,1989 expecting: false,1990 running: false,1991 session: true,1992 up: true1993 }1994 )1995}19961997[State 8]1998{1999 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2000 schedNoFence::scheduler::crashes: 2,2001 schedNoFence::scheduler::entry:2002 [{ followers: Set("c2"), leased: true, worker: "w2" }],2003 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2004 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2005 schedNoFence::scheduler::mBuild: Set(),2006 schedNoFence::scheduler::mDone: Set(),2007 schedNoFence::scheduler::mExpect: Set("w2"),2008 schedNoFence::scheduler::mResult: Set(),2009 schedNoFence::scheduler::mRetry: Set(),2010 schedNoFence::scheduler::mRevoke: Set(),2011 schedNoFence::scheduler::mSchedule: Set(),2012 schedNoFence::scheduler::published: 0,2013 schedNoFence::scheduler::publishedBy: Set(),2014 schedNoFence::scheduler::ws:2015 Map(2016 "w1" ->2017 {2018 attached: Set(),2019 built: false,2020 expecting: true,2021 running: true,2022 session: false,2023 up: true2024 },2025 "w2" ->2026 {2027 attached: Set(),2028 built: false,2029 expecting: false,2030 running: false,2031 session: true,2032 up: true2033 }2034 )2035}20362037[State 9]2038{2039 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2040 schedNoFence::scheduler::crashes: 2,2041 schedNoFence::scheduler::entry:2042 [{ followers: Set("c2"), leased: true, worker: "w2" }],2043 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2044 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2045 schedNoFence::scheduler::mBuild: Set(),2046 schedNoFence::scheduler::mDone: Set(),2047 schedNoFence::scheduler::mExpect: Set(),2048 schedNoFence::scheduler::mResult: Set(),2049 schedNoFence::scheduler::mRetry: Set(),2050 schedNoFence::scheduler::mRevoke: Set(),2051 schedNoFence::scheduler::mSchedule: Set(),2052 schedNoFence::scheduler::published: 0,2053 schedNoFence::scheduler::publishedBy: Set(),2054 schedNoFence::scheduler::ws:2055 Map(2056 "w1" ->2057 {2058 attached: Set(),2059 built: false,2060 expecting: true,2061 running: true,2062 session: false,2063 up: true2064 },2065 "w2" ->2066 {2067 attached: Set(),2068 built: false,2069 expecting: true,2070 running: true,2071 session: true,2072 up: true2073 }2074 )2075}20762077[State 10]2078{2079 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2080 schedNoFence::scheduler::crashes: 2,2081 schedNoFence::scheduler::entry:2082 [{ followers: Set("c2"), leased: true, worker: "w2" }],2083 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),2084 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2085 schedNoFence::scheduler::mBuild: Set(),2086 schedNoFence::scheduler::mDone: Set("w2"),2087 schedNoFence::scheduler::mExpect: Set(),2088 schedNoFence::scheduler::mResult: Set(),2089 schedNoFence::scheduler::mRetry: Set(),2090 schedNoFence::scheduler::mRevoke: Set(),2091 schedNoFence::scheduler::mSchedule: Set(),2092 schedNoFence::scheduler::published: 1,2093 schedNoFence::scheduler::publishedBy: Set("w2"),2094 schedNoFence::scheduler::ws:2095 Map(2096 "w1" ->2097 {2098 attached: Set(),2099 built: false,2100 expecting: true,2101 running: true,2102 session: false,2103 up: true2104 },2105 "w2" ->2106 {2107 attached: Set(),2108 built: true,2109 expecting: false,2110 running: false,2111 session: true,2112 up: true2113 }2114 )2115}21162117[State 11]2118{2119 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2120 schedNoFence::scheduler::crashes: 2,2121 schedNoFence::scheduler::entry: [],2122 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2123 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2124 schedNoFence::scheduler::mBuild: Set(),2125 schedNoFence::scheduler::mDone: Set(),2126 schedNoFence::scheduler::mExpect: Set(),2127 schedNoFence::scheduler::mResult: Set(),2128 schedNoFence::scheduler::mRetry: Set(),2129 schedNoFence::scheduler::mRevoke: Set(),2130 schedNoFence::scheduler::mSchedule: Set(),2131 schedNoFence::scheduler::published: 1,2132 schedNoFence::scheduler::publishedBy: Set("w2"),2133 schedNoFence::scheduler::ws:2134 Map(2135 "w1" ->2136 {2137 attached: Set(),2138 built: false,2139 expecting: true,2140 running: true,2141 session: false,2142 up: true2143 },2144 "w2" ->2145 {2146 attached: Set(),2147 built: true,2148 expecting: false,2149 running: false,2150 session: true,2151 up: true2152 }2153 )2154}21552156[State 12]2157{2158 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2159 schedNoFence::scheduler::crashes: 2,2160 schedNoFence::scheduler::entry:2161 [{ followers: Set(), leased: true, worker: "w1" }],2162 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2163 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2164 schedNoFence::scheduler::mBuild: Set(),2165 schedNoFence::scheduler::mDone: Set(),2166 schedNoFence::scheduler::mExpect: Set(),2167 schedNoFence::scheduler::mResult: Set(),2168 schedNoFence::scheduler::mRetry: Set(),2169 schedNoFence::scheduler::mRevoke: Set(),2170 schedNoFence::scheduler::mSchedule: Set(),2171 schedNoFence::scheduler::published: 1,2172 schedNoFence::scheduler::publishedBy: Set("w2"),2173 schedNoFence::scheduler::ws:2174 Map(2175 "w1" ->2176 {2177 attached: Set(),2178 built: false,2179 expecting: true,2180 running: true,2181 session: true,2182 up: true2183 },2184 "w2" ->2185 {2186 attached: Set(),2187 built: true,2188 expecting: false,2189 running: false,2190 session: true,2191 up: true2192 }2193 )2194}21952196[State 13]2197{2198 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2199 schedNoFence::scheduler::crashes: 2,2200 schedNoFence::scheduler::entry:2201 [{ followers: Set(), leased: true, worker: "w1" }],2202 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2203 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),2204 schedNoFence::scheduler::mBuild: Set(),2205 schedNoFence::scheduler::mDone: Set("w1"),2206 schedNoFence::scheduler::mExpect: Set(),2207 schedNoFence::scheduler::mResult: Set(),2208 schedNoFence::scheduler::mRetry: Set(),2209 schedNoFence::scheduler::mRevoke: Set(),2210 schedNoFence::scheduler::mSchedule: Set(),2211 schedNoFence::scheduler::published: 2,2212 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),2213 schedNoFence::scheduler::ws:2214 Map(2215 "w1" ->2216 {2217 attached: Set(),2218 built: true,2219 expecting: false,2220 running: false,2221 session: true,2222 up: true2223 },2224 "w2" ->2225 {2226 attached: Set(),2227 built: true,2228 expecting: false,2229 running: false,2230 session: true,2231 up: true2232 }2233 )2234}22352236[violation] Found an issue (1005ms at 2185 traces/second).2237Use --verbosity=3 to show executions.2238Use --seed=0xb226a0e1c7cc4801 --backend=rust to reproduce.2239error: Invariant violated2240An example execution:22412242[State 0]2243{2244 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2245 schedNoPush::scheduler::crashes: 0,2246 schedNoPush::scheduler::entry: [],2247 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2248 schedNoPush::scheduler::mAssigned: Set(),2249 schedNoPush::scheduler::mBuild: Set(),2250 schedNoPush::scheduler::mDone: Set(),2251 schedNoPush::scheduler::mExpect: Set(),2252 schedNoPush::scheduler::mResult: Set(),2253 schedNoPush::scheduler::mRetry: Set(),2254 schedNoPush::scheduler::mRevoke: Set(),2255 schedNoPush::scheduler::mSchedule: Set(),2256 schedNoPush::scheduler::published: 0,2257 schedNoPush::scheduler::publishedBy: Set(),2258 schedNoPush::scheduler::ws:2259 Map(2260 "w1" ->2261 {2262 attached: Set(),2263 built: false,2264 expecting: false,2265 running: false,2266 session: true,2267 up: true2268 },2269 "w2" ->2270 {2271 attached: Set(),2272 built: false,2273 expecting: false,2274 running: false,2275 session: true,2276 up: true2277 }2278 )2279}22802281[State 1]2282{2283 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2284 schedNoPush::scheduler::crashes: 0,2285 schedNoPush::scheduler::entry: [],2286 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2287 schedNoPush::scheduler::mAssigned: Set(),2288 schedNoPush::scheduler::mBuild: Set(),2289 schedNoPush::scheduler::mDone: Set(),2290 schedNoPush::scheduler::mExpect: Set(),2291 schedNoPush::scheduler::mResult: Set(),2292 schedNoPush::scheduler::mRetry: Set(),2293 schedNoPush::scheduler::mRevoke: Set(),2294 schedNoPush::scheduler::mSchedule: Set("c1"),2295 schedNoPush::scheduler::published: 0,2296 schedNoPush::scheduler::publishedBy: Set(),2297 schedNoPush::scheduler::ws:2298 Map(2299 "w1" ->2300 {2301 attached: Set(),2302 built: false,2303 expecting: false,2304 running: false,2305 session: true,2306 up: true2307 },2308 "w2" ->2309 {2310 attached: Set(),2311 built: false,2312 expecting: false,2313 running: false,2314 session: true,2315 up: true2316 }2317 )2318}23192320[State 2]2321{2322 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2323 schedNoPush::scheduler::crashes: 0,2324 schedNoPush::scheduler::entry:2325 [{ followers: Set("c1"), leased: true, worker: "w1" }],2326 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2327 schedNoPush::scheduler::mAssigned: Set(("c1", "w1")),2328 schedNoPush::scheduler::mBuild: Set(),2329 schedNoPush::scheduler::mDone: Set(),2330 schedNoPush::scheduler::mExpect: Set(),2331 schedNoPush::scheduler::mResult: Set(),2332 schedNoPush::scheduler::mRetry: Set(),2333 schedNoPush::scheduler::mRevoke: Set(),2334 schedNoPush::scheduler::mSchedule: Set(),2335 schedNoPush::scheduler::published: 0,2336 schedNoPush::scheduler::publishedBy: Set(),2337 schedNoPush::scheduler::ws:2338 Map(2339 "w1" ->2340 {2341 attached: Set(),2342 built: false,2343 expecting: false,2344 running: false,2345 session: true,2346 up: true2347 },2348 "w2" ->2349 {2350 attached: Set(),2351 built: false,2352 expecting: false,2353 running: false,2354 session: true,2355 up: true2356 }2357 )2358}23592360[State 3]2361{2362 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),2363 schedNoPush::scheduler::crashes: 0,2364 schedNoPush::scheduler::entry:2365 [{ followers: Set("c1"), leased: true, worker: "w1" }],2366 schedNoPush::scheduler::free: Map("w1" -> 0, "w2" -> 1),2367 schedNoPush::scheduler::mAssigned: Set(),2368 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),2369 schedNoPush::scheduler::mDone: Set(),2370 schedNoPush::scheduler::mExpect: Set(),2371 schedNoPush::scheduler::mResult: Set(),2372 schedNoPush::scheduler::mRetry: Set(),2373 schedNoPush::scheduler::mRevoke: Set(),2374 schedNoPush::scheduler::mSchedule: Set(),2375 schedNoPush::scheduler::published: 0,2376 schedNoPush::scheduler::publishedBy: Set(),2377 schedNoPush::scheduler::ws:2378 Map(2379 "w1" ->2380 {2381 attached: Set(),2382 built: false,2383 expecting: false,2384 running: false,2385 session: true,2386 up: true2387 },2388 "w2" ->2389 {2390 attached: Set(),2391 built: false,2392 expecting: false,2393 running: false,2394 session: true,2395 up: true2396 }2397 )2398}23992400[State 4]2401{2402 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),2403 schedNoPush::scheduler::crashes: 1,2404 schedNoPush::scheduler::entry: [],2405 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2406 schedNoPush::scheduler::mAssigned: Set(),2407 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),2408 schedNoPush::scheduler::mDone: Set(),2409 schedNoPush::scheduler::mExpect: Set(),2410 schedNoPush::scheduler::mResult: Set(),2411 schedNoPush::scheduler::mRetry: Set(),2412 schedNoPush::scheduler::mRevoke: Set(),2413 schedNoPush::scheduler::mSchedule: Set(),2414 schedNoPush::scheduler::published: 0,2415 schedNoPush::scheduler::publishedBy: Set(),2416 schedNoPush::scheduler::ws:2417 Map(2418 "w1" ->2419 {2420 attached: Set(),2421 built: false,2422 expecting: false,2423 running: false,2424 session: false,2425 up: true2426 },2427 "w2" ->2428 {2429 attached: Set(),2430 built: false,2431 expecting: false,2432 running: false,2433 session: false,2434 up: true2435 }2436 )2437}24382439[State 5]2440{2441 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),2442 schedNoPush::scheduler::crashes: 2,2443 schedNoPush::scheduler::entry: [],2444 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2445 schedNoPush::scheduler::mAssigned: Set(),2446 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),2447 schedNoPush::scheduler::mDone: Set(),2448 schedNoPush::scheduler::mExpect: Set(),2449 schedNoPush::scheduler::mResult: Set(),2450 schedNoPush::scheduler::mRetry: Set(),2451 schedNoPush::scheduler::mRevoke: Set(),2452 schedNoPush::scheduler::mSchedule: Set(),2453 schedNoPush::scheduler::published: 0,2454 schedNoPush::scheduler::publishedBy: Set(),2455 schedNoPush::scheduler::ws:2456 Map(2457 "w1" ->2458 {2459 attached: Set(),2460 built: false,2461 expecting: false,2462 running: false,2463 session: false,2464 up: false2465 },2466 "w2" ->2467 {2468 attached: Set(),2469 built: false,2470 expecting: false,2471 running: false,2472 session: false,2473 up: true2474 }2475 )2476}24772478[State 6]2479{2480 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CIdle),2481 schedNoPush::scheduler::crashes: 2,2482 schedNoPush::scheduler::entry: [],2483 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2484 schedNoPush::scheduler::mAssigned: Set(),2485 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),2486 schedNoPush::scheduler::mDone: Set(),2487 schedNoPush::scheduler::mExpect: Set(),2488 schedNoPush::scheduler::mResult: Set(),2489 schedNoPush::scheduler::mRetry: Set(),2490 schedNoPush::scheduler::mRevoke: Set(),2491 schedNoPush::scheduler::mSchedule: Set(),2492 schedNoPush::scheduler::published: 0,2493 schedNoPush::scheduler::publishedBy: Set(),2494 schedNoPush::scheduler::ws:2495 Map(2496 "w1" ->2497 {2498 attached: Set(),2499 built: false,2500 expecting: false,2501 running: false,2502 session: true,2503 up: true2504 },2505 "w2" ->2506 {2507 attached: Set(),2508 built: false,2509 expecting: false,2510 running: false,2511 session: false,2512 up: true2513 }2514 )2515}25162517[State 7]2518{2519 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),2520 schedNoPush::scheduler::crashes: 2,2521 schedNoPush::scheduler::entry: [],2522 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2523 schedNoPush::scheduler::mAssigned: Set(),2524 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),2525 schedNoPush::scheduler::mDone: Set(),2526 schedNoPush::scheduler::mExpect: Set(),2527 schedNoPush::scheduler::mResult: Set(),2528 schedNoPush::scheduler::mRetry: Set(),2529 schedNoPush::scheduler::mRevoke: Set(),2530 schedNoPush::scheduler::mSchedule: Set("c2"),2531 schedNoPush::scheduler::published: 0,2532 schedNoPush::scheduler::publishedBy: Set(),2533 schedNoPush::scheduler::ws:2534 Map(2535 "w1" ->2536 {2537 attached: Set(),2538 built: false,2539 expecting: false,2540 running: false,2541 session: true,2542 up: true2543 },2544 "w2" ->2545 {2546 attached: Set(),2547 built: false,2548 expecting: false,2549 running: false,2550 session: false,2551 up: true2552 }2553 )2554}25552556[State 8]2557{2558 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),2559 schedNoPush::scheduler::crashes: 2,2560 schedNoPush::scheduler::entry: [],2561 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2562 schedNoPush::scheduler::mAssigned: Set(),2563 schedNoPush::scheduler::mBuild: Set(("c1", "w1")),2564 schedNoPush::scheduler::mDone: Set(),2565 schedNoPush::scheduler::mExpect: Set(),2566 schedNoPush::scheduler::mResult: Set(),2567 schedNoPush::scheduler::mRetry: Set(),2568 schedNoPush::scheduler::mRevoke: Set(),2569 schedNoPush::scheduler::mSchedule: Set("c2"),2570 schedNoPush::scheduler::published: 0,2571 schedNoPush::scheduler::publishedBy: Set(),2572 schedNoPush::scheduler::ws:2573 Map(2574 "w1" ->2575 {2576 attached: Set(),2577 built: false,2578 expecting: false,2579 running: false,2580 session: true,2581 up: true2582 },2583 "w2" ->2584 {2585 attached: Set(),2586 built: false,2587 expecting: false,2588 running: false,2589 session: true,2590 up: true2591 }2592 )2593}25942595[State 9]2596{2597 schedNoPush::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),2598 schedNoPush::scheduler::crashes: 2,2599 schedNoPush::scheduler::entry: [],2600 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2601 schedNoPush::scheduler::mAssigned: Set(),2602 schedNoPush::scheduler::mBuild: Set(),2603 schedNoPush::scheduler::mDone: Set(),2604 schedNoPush::scheduler::mExpect: Set(),2605 schedNoPush::scheduler::mResult: Set(),2606 schedNoPush::scheduler::mRetry: Set(),2607 schedNoPush::scheduler::mRevoke: Set(),2608 schedNoPush::scheduler::mSchedule: Set("c2"),2609 schedNoPush::scheduler::published: 0,2610 schedNoPush::scheduler::publishedBy: Set(),2611 schedNoPush::scheduler::ws:2612 Map(2613 "w1" ->2614 {2615 attached: Set("c1"),2616 built: false,2617 expecting: true,2618 running: true,2619 session: true,2620 up: true2621 },2622 "w2" ->2623 {2624 attached: Set(),2625 built: false,2626 expecting: false,2627 running: false,2628 session: true,2629 up: true2630 }2631 )2632}26332634[violation] Found an issue (533ms at 1743 traces/second).2635Use --verbosity=3 to show executions.2636Use --seed=0x28fb49aef66b7e1e --backend=rust to reproduce.2637error: Invariant violated2638An example execution:26392640[State 0]2641{2642 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2643 schedNoReport::scheduler::crashes: 0,2644 schedNoReport::scheduler::entry: [],2645 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2646 schedNoReport::scheduler::mAssigned: Set(),2647 schedNoReport::scheduler::mBuild: Set(),2648 schedNoReport::scheduler::mDone: Set(),2649 schedNoReport::scheduler::mExpect: Set(),2650 schedNoReport::scheduler::mResult: Set(),2651 schedNoReport::scheduler::mRetry: Set(),2652 schedNoReport::scheduler::mRevoke: Set(),2653 schedNoReport::scheduler::mSchedule: Set(),2654 schedNoReport::scheduler::published: 0,2655 schedNoReport::scheduler::publishedBy: Set(),2656 schedNoReport::scheduler::ws:2657 Map(2658 "w1" ->2659 {2660 attached: Set(),2661 built: false,2662 expecting: false,2663 running: false,2664 session: true,2665 up: true2666 },2667 "w2" ->2668 {2669 attached: Set(),2670 built: false,2671 expecting: false,2672 running: false,2673 session: true,2674 up: true2675 }2676 )2677}26782679[State 1]2680{2681 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2682 schedNoReport::scheduler::crashes: 0,2683 schedNoReport::scheduler::entry: [],2684 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2685 schedNoReport::scheduler::mAssigned: Set(),2686 schedNoReport::scheduler::mBuild: Set(),2687 schedNoReport::scheduler::mDone: Set(),2688 schedNoReport::scheduler::mExpect: Set(),2689 schedNoReport::scheduler::mResult: Set(),2690 schedNoReport::scheduler::mRetry: Set(),2691 schedNoReport::scheduler::mRevoke: Set(),2692 schedNoReport::scheduler::mSchedule: Set("c1"),2693 schedNoReport::scheduler::published: 0,2694 schedNoReport::scheduler::publishedBy: Set(),2695 schedNoReport::scheduler::ws:2696 Map(2697 "w1" ->2698 {2699 attached: Set(),2700 built: false,2701 expecting: false,2702 running: false,2703 session: true,2704 up: true2705 },2706 "w2" ->2707 {2708 attached: Set(),2709 built: false,2710 expecting: false,2711 running: false,2712 session: true,2713 up: true2714 }2715 )2716}27172718[State 2]2719{2720 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2721 schedNoReport::scheduler::crashes: 1,2722 schedNoReport::scheduler::entry: [],2723 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2724 schedNoReport::scheduler::mAssigned: Set(),2725 schedNoReport::scheduler::mBuild: Set(),2726 schedNoReport::scheduler::mDone: Set(),2727 schedNoReport::scheduler::mExpect: Set(),2728 schedNoReport::scheduler::mResult: Set(),2729 schedNoReport::scheduler::mRetry: Set(),2730 schedNoReport::scheduler::mRevoke: Set(),2731 schedNoReport::scheduler::mSchedule: Set("c1"),2732 schedNoReport::scheduler::published: 0,2733 schedNoReport::scheduler::publishedBy: Set(),2734 schedNoReport::scheduler::ws:2735 Map(2736 "w1" ->2737 {2738 attached: Set(),2739 built: false,2740 expecting: false,2741 running: false,2742 session: false,2743 up: false2744 },2745 "w2" ->2746 {2747 attached: Set(),2748 built: false,2749 expecting: false,2750 running: false,2751 session: true,2752 up: true2753 }2754 )2755}27562757[State 3]2758{2759 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2760 schedNoReport::scheduler::crashes: 1,2761 schedNoReport::scheduler::entry:2762 [{ followers: Set("c1"), leased: true, worker: "w2" }],2763 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2764 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2765 schedNoReport::scheduler::mBuild: Set(),2766 schedNoReport::scheduler::mDone: Set(),2767 schedNoReport::scheduler::mExpect: Set("w2"),2768 schedNoReport::scheduler::mResult: Set(),2769 schedNoReport::scheduler::mRetry: Set(),2770 schedNoReport::scheduler::mRevoke: Set(),2771 schedNoReport::scheduler::mSchedule: Set(),2772 schedNoReport::scheduler::published: 0,2773 schedNoReport::scheduler::publishedBy: Set(),2774 schedNoReport::scheduler::ws:2775 Map(2776 "w1" ->2777 {2778 attached: Set(),2779 built: false,2780 expecting: false,2781 running: false,2782 session: false,2783 up: false2784 },2785 "w2" ->2786 {2787 attached: Set(),2788 built: false,2789 expecting: false,2790 running: false,2791 session: true,2792 up: true2793 }2794 )2795}27962797[State 4]2798{2799 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2800 schedNoReport::scheduler::crashes: 1,2801 schedNoReport::scheduler::entry:2802 [{ followers: Set("c1"), leased: true, worker: "w2" }],2803 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2804 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2805 schedNoReport::scheduler::mBuild: Set(),2806 schedNoReport::scheduler::mDone: Set(),2807 schedNoReport::scheduler::mExpect: Set(),2808 schedNoReport::scheduler::mResult: Set(),2809 schedNoReport::scheduler::mRetry: Set(),2810 schedNoReport::scheduler::mRevoke: Set(),2811 schedNoReport::scheduler::mSchedule: Set(),2812 schedNoReport::scheduler::published: 0,2813 schedNoReport::scheduler::publishedBy: Set(),2814 schedNoReport::scheduler::ws:2815 Map(2816 "w1" ->2817 {2818 attached: Set(),2819 built: false,2820 expecting: false,2821 running: false,2822 session: false,2823 up: false2824 },2825 "w2" ->2826 {2827 attached: Set(),2828 built: false,2829 expecting: true,2830 running: true,2831 session: true,2832 up: true2833 }2834 )2835}28362837[State 5]2838{2839 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2840 schedNoReport::scheduler::crashes: 2,2841 schedNoReport::scheduler::entry: [],2842 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2843 schedNoReport::scheduler::mAssigned: Set(),2844 schedNoReport::scheduler::mBuild: Set(),2845 schedNoReport::scheduler::mDone: Set(),2846 schedNoReport::scheduler::mExpect: Set(),2847 schedNoReport::scheduler::mResult: Set(),2848 schedNoReport::scheduler::mRetry: Set("c1"),2849 schedNoReport::scheduler::mRevoke: Set(),2850 schedNoReport::scheduler::mSchedule: Set(),2851 schedNoReport::scheduler::published: 0,2852 schedNoReport::scheduler::publishedBy: Set(),2853 schedNoReport::scheduler::ws:2854 Map(2855 "w1" ->2856 {2857 attached: Set(),2858 built: false,2859 expecting: false,2860 running: false,2861 session: false,2862 up: false2863 },2864 "w2" ->2865 {2866 attached: Set(),2867 built: false,2868 expecting: true,2869 running: true,2870 session: false,2871 up: true2872 }2873 )2874}28752876[State 6]2877{2878 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2879 schedNoReport::scheduler::crashes: 2,2880 schedNoReport::scheduler::entry: [],2881 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2882 schedNoReport::scheduler::mAssigned: Set(),2883 schedNoReport::scheduler::mBuild: Set(),2884 schedNoReport::scheduler::mDone: Set(),2885 schedNoReport::scheduler::mExpect: Set(),2886 schedNoReport::scheduler::mResult: Set(),2887 schedNoReport::scheduler::mRetry: Set("c1"),2888 schedNoReport::scheduler::mRevoke: Set(),2889 schedNoReport::scheduler::mSchedule: Set("c2"),2890 schedNoReport::scheduler::published: 0,2891 schedNoReport::scheduler::publishedBy: Set(),2892 schedNoReport::scheduler::ws:2893 Map(2894 "w1" ->2895 {2896 attached: Set(),2897 built: false,2898 expecting: false,2899 running: false,2900 session: false,2901 up: false2902 },2903 "w2" ->2904 {2905 attached: Set(),2906 built: false,2907 expecting: true,2908 running: true,2909 session: false,2910 up: true2911 }2912 )2913}29142915[State 7]2916{2917 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2918 schedNoReport::scheduler::crashes: 2,2919 schedNoReport::scheduler::entry: [],2920 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2921 schedNoReport::scheduler::mAssigned: Set(),2922 schedNoReport::scheduler::mBuild: Set(),2923 schedNoReport::scheduler::mDone: Set(),2924 schedNoReport::scheduler::mExpect: Set(),2925 schedNoReport::scheduler::mResult: Set(),2926 schedNoReport::scheduler::mRetry: Set("c1"),2927 schedNoReport::scheduler::mRevoke: Set(),2928 schedNoReport::scheduler::mSchedule: Set("c2"),2929 schedNoReport::scheduler::published: 0,2930 schedNoReport::scheduler::publishedBy: Set(),2931 schedNoReport::scheduler::ws:2932 Map(2933 "w1" ->2934 {2935 attached: Set(),2936 built: false,2937 expecting: false,2938 running: false,2939 session: true,2940 up: true2941 },2942 "w2" ->2943 {2944 attached: Set(),2945 built: false,2946 expecting: true,2947 running: true,2948 session: false,2949 up: true2950 }2951 )2952}29532954[State 8]2955{2956 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2957 schedNoReport::scheduler::crashes: 2,2958 schedNoReport::scheduler::entry:2959 [{ followers: Set("c2"), leased: true, worker: "w1" }],2960 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2961 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),2962 schedNoReport::scheduler::mBuild: Set(),2963 schedNoReport::scheduler::mDone: Set(),2964 schedNoReport::scheduler::mExpect: Set("w1"),2965 schedNoReport::scheduler::mResult: Set(),2966 schedNoReport::scheduler::mRetry: Set("c1"),2967 schedNoReport::scheduler::mRevoke: Set(),2968 schedNoReport::scheduler::mSchedule: Set(),2969 schedNoReport::scheduler::published: 0,2970 schedNoReport::scheduler::publishedBy: Set(),2971 schedNoReport::scheduler::ws:2972 Map(2973 "w1" ->2974 {2975 attached: Set(),2976 built: false,2977 expecting: false,2978 running: false,2979 session: true,2980 up: true2981 },2982 "w2" ->2983 {2984 attached: Set(),2985 built: false,2986 expecting: true,2987 running: true,2988 session: false,2989 up: true2990 }2991 )2992}29932994[State 9]2995{2996 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2997 schedNoReport::scheduler::crashes: 2,2998 schedNoReport::scheduler::entry:2999 [{ followers: Set("c2"), leased: true, worker: "w1" }],3000 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3001 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3002 schedNoReport::scheduler::mBuild: Set(),3003 schedNoReport::scheduler::mDone: Set(),3004 schedNoReport::scheduler::mExpect: Set(),3005 schedNoReport::scheduler::mResult: Set(),3006 schedNoReport::scheduler::mRetry: Set("c1"),3007 schedNoReport::scheduler::mRevoke: Set(),3008 schedNoReport::scheduler::mSchedule: Set(),3009 schedNoReport::scheduler::published: 0,3010 schedNoReport::scheduler::publishedBy: Set(),3011 schedNoReport::scheduler::ws:3012 Map(3013 "w1" ->3014 {3015 attached: Set(),3016 built: false,3017 expecting: true,3018 running: true,3019 session: true,3020 up: true3021 },3022 "w2" ->3023 {3024 attached: Set(),3025 built: false,3026 expecting: true,3027 running: true,3028 session: false,3029 up: true3030 }3031 )3032}30333034[State 10]3035{3036 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3037 schedNoReport::scheduler::crashes: 2,3038 schedNoReport::scheduler::entry:3039 [{ followers: Set("c2"), leased: true, worker: "w1" }],3040 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3041 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3042 schedNoReport::scheduler::mBuild: Set(),3043 schedNoReport::scheduler::mDone: Set("w1"),3044 schedNoReport::scheduler::mExpect: Set(),3045 schedNoReport::scheduler::mResult: Set(),3046 schedNoReport::scheduler::mRetry: Set("c1"),3047 schedNoReport::scheduler::mRevoke: Set(),3048 schedNoReport::scheduler::mSchedule: Set(),3049 schedNoReport::scheduler::published: 1,3050 schedNoReport::scheduler::publishedBy: Set("w1"),3051 schedNoReport::scheduler::ws:3052 Map(3053 "w1" ->3054 {3055 attached: Set(),3056 built: true,3057 expecting: false,3058 running: false,3059 session: true,3060 up: true3061 },3062 "w2" ->3063 {3064 attached: Set(),3065 built: false,3066 expecting: true,3067 running: true,3068 session: false,3069 up: true3070 }3071 )3072}30733074[State 11]3075{3076 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),3077 schedNoReport::scheduler::crashes: 2,3078 schedNoReport::scheduler::entry:3079 [{ followers: Set("c2"), leased: true, worker: "w1" }],3080 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3081 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3082 schedNoReport::scheduler::mBuild: Set(),3083 schedNoReport::scheduler::mDone: Set("w1"),3084 schedNoReport::scheduler::mExpect: Set(),3085 schedNoReport::scheduler::mResult: Set(),3086 schedNoReport::scheduler::mRetry: Set("c1"),3087 schedNoReport::scheduler::mRevoke: Set(),3088 schedNoReport::scheduler::mSchedule: Set(),3089 schedNoReport::scheduler::published: 2,3090 schedNoReport::scheduler::publishedBy: Set("w1", "w2"),3091 schedNoReport::scheduler::ws:3092 Map(3093 "w1" ->3094 {3095 attached: Set(),3096 built: true,3097 expecting: false,3098 running: false,3099 session: true,3100 up: true3101 },3102 "w2" ->3103 {3104 attached: Set(),3105 built: true,3106 expecting: false,3107 running: false,3108 session: false,3109 up: true3110 }3111 )3112}31133114[violation] Found an issue (556ms at 3773 traces/second).3115Use --verbosity=3 to show executions.3116Use --seed=0xb8481f705b2994ef --backend=rust to reproduce.3117error: Invariant violated3118An example execution:31193120[State 0]3121{3122 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3123 schedTerminal::scheduler::crashes: 0,3124 schedTerminal::scheduler::entry: [],3125 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3126 schedTerminal::scheduler::mAssigned: Set(),3127 schedTerminal::scheduler::mBuild: Set(),3128 schedTerminal::scheduler::mDone: Set(),3129 schedTerminal::scheduler::mExpect: Set(),3130 schedTerminal::scheduler::mResult: Set(),3131 schedTerminal::scheduler::mRetry: Set(),3132 schedTerminal::scheduler::mRevoke: Set(),3133 schedTerminal::scheduler::mSchedule: Set(),3134 schedTerminal::scheduler::published: 0,3135 schedTerminal::scheduler::publishedBy: Set(),3136 schedTerminal::scheduler::ws:3137 Map(3138 "w1" ->3139 {3140 attached: Set(),3141 built: false,3142 expecting: false,3143 running: false,3144 session: true,3145 up: true3146 },3147 "w2" ->3148 {3149 attached: Set(),3150 built: false,3151 expecting: false,3152 running: false,3153 session: true,3154 up: true3155 }3156 )3157}31583159[State 1]3160{3161 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3162 schedTerminal::scheduler::crashes: 1,3163 schedTerminal::scheduler::entry: [],3164 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3165 schedTerminal::scheduler::mAssigned: Set(),3166 schedTerminal::scheduler::mBuild: Set(),3167 schedTerminal::scheduler::mDone: Set(),3168 schedTerminal::scheduler::mExpect: Set(),3169 schedTerminal::scheduler::mResult: Set(),3170 schedTerminal::scheduler::mRetry: Set(),3171 schedTerminal::scheduler::mRevoke: Set(),3172 schedTerminal::scheduler::mSchedule: Set(),3173 schedTerminal::scheduler::published: 0,3174 schedTerminal::scheduler::publishedBy: Set(),3175 schedTerminal::scheduler::ws:3176 Map(3177 "w1" ->3178 {3179 attached: Set(),3180 built: false,3181 expecting: false,3182 running: false,3183 session: false,3184 up: true3185 },3186 "w2" ->3187 {3188 attached: Set(),3189 built: false,3190 expecting: false,3191 running: false,3192 session: false,3193 up: true3194 }3195 )3196}31973198[State 2]3199{3200 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3201 schedTerminal::scheduler::crashes: 2,3202 schedTerminal::scheduler::entry: [],3203 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3204 schedTerminal::scheduler::mAssigned: Set(),3205 schedTerminal::scheduler::mBuild: Set(),3206 schedTerminal::scheduler::mDone: Set(),3207 schedTerminal::scheduler::mExpect: Set(),3208 schedTerminal::scheduler::mResult: Set(),3209 schedTerminal::scheduler::mRetry: Set(),3210 schedTerminal::scheduler::mRevoke: Set(),3211 schedTerminal::scheduler::mSchedule: Set(),3212 schedTerminal::scheduler::published: 0,3213 schedTerminal::scheduler::publishedBy: Set(),3214 schedTerminal::scheduler::ws:3215 Map(3216 "w1" ->3217 {3218 attached: Set(),3219 built: false,3220 expecting: false,3221 running: false,3222 session: false,3223 up: true3224 },3225 "w2" ->3226 {3227 attached: Set(),3228 built: false,3229 expecting: false,3230 running: false,3231 session: false,3232 up: true3233 }3234 )3235}32363237[State 3]3238{3239 schedTerminal::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),3240 schedTerminal::scheduler::crashes: 2,3241 schedTerminal::scheduler::entry: [],3242 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3243 schedTerminal::scheduler::mAssigned: Set(),3244 schedTerminal::scheduler::mBuild: Set(),3245 schedTerminal::scheduler::mDone: Set(),3246 schedTerminal::scheduler::mExpect: Set(),3247 schedTerminal::scheduler::mResult: Set(),3248 schedTerminal::scheduler::mRetry: Set(),3249 schedTerminal::scheduler::mRevoke: Set(),3250 schedTerminal::scheduler::mSchedule: Set("c1"),3251 schedTerminal::scheduler::published: 0,3252 schedTerminal::scheduler::publishedBy: Set(),3253 schedTerminal::scheduler::ws:3254 Map(3255 "w1" ->3256 {3257 attached: Set(),3258 built: false,3259 expecting: false,3260 running: false,3261 session: false,3262 up: true3263 },3264 "w2" ->3265 {3266 attached: Set(),3267 built: false,3268 expecting: false,3269 running: false,3270 session: false,3271 up: true3272 }3273 )3274}32753276[State 4]3277{3278 schedTerminal::scheduler::cl: Map("c1" -> CFailed, "c2" -> CIdle),3279 schedTerminal::scheduler::crashes: 2,3280 schedTerminal::scheduler::entry: [],3281 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3282 schedTerminal::scheduler::mAssigned: Set(),3283 schedTerminal::scheduler::mBuild: Set(),3284 schedTerminal::scheduler::mDone: Set(),3285 schedTerminal::scheduler::mExpect: Set(),3286 schedTerminal::scheduler::mResult: Set(),3287 schedTerminal::scheduler::mRetry: Set(),3288 schedTerminal::scheduler::mRevoke: Set(),3289 schedTerminal::scheduler::mSchedule: Set(),3290 schedTerminal::scheduler::published: 0,3291 schedTerminal::scheduler::publishedBy: Set(),3292 schedTerminal::scheduler::ws:3293 Map(3294 "w1" ->3295 {3296 attached: Set(),3297 built: false,3298 expecting: false,3299 running: false,3300 session: false,3301 up: true3302 },3303 "w2" ->3304 {3305 attached: Set(),3306 built: false,3307 expecting: false,3308 running: false,3309 session: false,3310 up: true3311 }3312 )3313}33143315[violation] Found an issue (52ms at 519 traces/second).3316Use --verbosity=3 to show executions.3317Use --seed=0xfc513f58f050fd1c --backend=rust to reproduce.3318error: Invariant violated3319An example execution:33203321[State 0]3322{3323 pushFixed::push::byPath: Map(),3324 pushFixed::push::inflight: Set(),3325 pushFixed::push::left: Map(),3326 pushFixed::push::sent: Map()3327}33283329[State 1]3330{3331 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3332 pushFixed::push::inflight: Set((2, "a"), (2, "b")),3333 pushFixed::push::left: Map(2 -> 2),3334 pushFixed::push::sent: Map(2 -> Set("a", "b"))3335}33363337[State 2]3338{3339 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3340 pushFixed::push::inflight: Set((2, "a")),3341 pushFixed::push::left: Map(2 -> 1),3342 pushFixed::push::sent: Map(2 -> Set("a", "b"))3343}33443345[State 3]3346{3347 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3348 pushFixed::push::inflight: Set(),3349 pushFixed::push::left: Map(2 -> 0),3350 pushFixed::push::sent: Map(2 -> Set("a", "b"))3351}33523353[State 4]3354{3355 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3356 pushFixed::push::inflight: Set((1, "a"), (1, "b")),3357 pushFixed::push::left: Map(1 -> 2, 2 -> 0),3358 pushFixed::push::sent: Map(1 -> Set("a", "b"), 2 -> Set("a", "b"))3359}33603361[State 5]3362{3363 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3364 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (3, "a"), (3, "b")),3365 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 2),3366 pushFixed::push::sent:3367 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3368}33693370[State 6]3371{3372 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3373 pushFixed::push::inflight: Set((1, "b"), (3, "a"), (3, "b")),3374 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 2),3375 pushFixed::push::sent:3376 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3377}33783379[State 7]3380{3381 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3382 pushFixed::push::inflight: Set((3, "a"), (3, "b")),3383 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 2),3384 pushFixed::push::sent:3385 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3386}33873388[State 8]3389{3390 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3391 pushFixed::push::inflight: Set((3, "b")),3392 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 1),3393 pushFixed::push::sent:3394 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3395}33963397[State 9]3398{3399 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3400 pushFixed::push::inflight: Set(),3401 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),3402 pushFixed::push::sent:3403 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3404}34053406[ok] No violation found (363ms at 55096 traces/second).3407Trace length statistics: max=10, min=7, average=7.983408You may increase --max-samples and --max-steps.3409Use --verbosity to produce more (or less) output.3410Use --seed=0x2adb08069ce678ca --backend=rust to reproduce.