nix-grpc-store-spec log

succeeded `nix-grpc-store-spec` `checks.aarch64-linux.spec` · build #186 · raw

1tribuchet: building on eliza2An example execution:34[State 0]5{6 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),7 schedFixed::scheduler::crashes: 0,8 schedFixed::scheduler::entry: [],9 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),10 schedFixed::scheduler::mAssigned: Set(),11 schedFixed::scheduler::mBuild: Set(),12 schedFixed::scheduler::mDone: Set(),13 schedFixed::scheduler::mExpect: Set(),14 schedFixed::scheduler::mResult: Set(),15 schedFixed::scheduler::mRetry: Set(),16 schedFixed::scheduler::mSchedule: Set(),17 schedFixed::scheduler::published: 0,18 schedFixed::scheduler::publishedBy: Set(),19 schedFixed::scheduler::ws:20 Map(21 "w1" ->22 {23 attached: Set(),24 built: false,25 expecting: false,26 running: false,27 session: true,28 up: true29 },30 "w2" ->31 {32 attached: Set(),33 built: false,34 expecting: false,35 running: false,36 session: true,37 up: true38 }39 )40}4142[State 1]43{44 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),45 schedFixed::scheduler::crashes: 0,46 schedFixed::scheduler::entry: [],47 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),48 schedFixed::scheduler::mAssigned: Set(),49 schedFixed::scheduler::mBuild: Set(),50 schedFixed::scheduler::mDone: Set(),51 schedFixed::scheduler::mExpect: Set(),52 schedFixed::scheduler::mResult: Set(),53 schedFixed::scheduler::mRetry: Set(),54 schedFixed::scheduler::mSchedule: Set("c2"),55 schedFixed::scheduler::published: 0,56 schedFixed::scheduler::publishedBy: Set(),57 schedFixed::scheduler::ws:58 Map(59 "w1" ->60 {61 attached: Set(),62 built: false,63 expecting: false,64 running: false,65 session: true,66 up: true67 },68 "w2" ->69 {70 attached: Set(),71 built: false,72 expecting: false,73 running: false,74 session: true,75 up: true76 }77 )78}7980[State 2]81{82 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),83 schedFixed::scheduler::crashes: 0,84 schedFixed::scheduler::entry: [],85 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),86 schedFixed::scheduler::mAssigned: Set(),87 schedFixed::scheduler::mBuild: Set(),88 schedFixed::scheduler::mDone: Set(),89 schedFixed::scheduler::mExpect: Set(),90 schedFixed::scheduler::mResult: Set(),91 schedFixed::scheduler::mRetry: Set(),92 schedFixed::scheduler::mSchedule: Set("c1", "c2"),93 schedFixed::scheduler::published: 0,94 schedFixed::scheduler::publishedBy: Set(),95 schedFixed::scheduler::ws:96 Map(97 "w1" ->98 {99 attached: Set(),100 built: false,101 expecting: false,102 running: false,103 session: true,104 up: true105 },106 "w2" ->107 {108 attached: Set(),109 built: false,110 expecting: false,111 running: false,112 session: true,113 up: true114 }115 )116}117118[State 3]119{120 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),121 schedFixed::scheduler::crashes: 1,122 schedFixed::scheduler::entry: [],123 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),124 schedFixed::scheduler::mAssigned: Set(),125 schedFixed::scheduler::mBuild: Set(),126 schedFixed::scheduler::mDone: Set(),127 schedFixed::scheduler::mExpect: Set(),128 schedFixed::scheduler::mResult: Set(),129 schedFixed::scheduler::mRetry: Set(),130 schedFixed::scheduler::mSchedule: Set("c1", "c2"),131 schedFixed::scheduler::published: 0,132 schedFixed::scheduler::publishedBy: Set(),133 schedFixed::scheduler::ws:134 Map(135 "w1" ->136 {137 attached: Set(),138 built: false,139 expecting: false,140 running: false,141 session: true,142 up: true143 },144 "w2" ->145 {146 attached: Set(),147 built: false,148 expecting: false,149 running: false,150 session: false,151 up: false152 }153 )154}155156[State 4]157{158 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),159 schedFixed::scheduler::crashes: 1,160 schedFixed::scheduler::entry:161 [{ followers: Set("c2"), leased: true, worker: "w1" }],162 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),163 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),164 schedFixed::scheduler::mBuild: Set(),165 schedFixed::scheduler::mDone: Set(),166 schedFixed::scheduler::mExpect: Set("w1"),167 schedFixed::scheduler::mResult: Set(),168 schedFixed::scheduler::mRetry: Set(),169 schedFixed::scheduler::mSchedule: Set("c1"),170 schedFixed::scheduler::published: 0,171 schedFixed::scheduler::publishedBy: Set(),172 schedFixed::scheduler::ws:173 Map(174 "w1" ->175 {176 attached: Set(),177 built: false,178 expecting: false,179 running: false,180 session: true,181 up: true182 },183 "w2" ->184 {185 attached: Set(),186 built: false,187 expecting: false,188 running: false,189 session: false,190 up: false191 }192 )193}194195[State 5]196{197 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),198 schedFixed::scheduler::crashes: 2,199 schedFixed::scheduler::entry:200 [{ followers: Set("c2"), leased: true, worker: "w1" }],201 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),202 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),203 schedFixed::scheduler::mBuild: Set(),204 schedFixed::scheduler::mDone: Set(),205 schedFixed::scheduler::mExpect: Set(),206 schedFixed::scheduler::mResult: Set(),207 schedFixed::scheduler::mRetry: Set(),208 schedFixed::scheduler::mSchedule: Set("c1"),209 schedFixed::scheduler::published: 0,210 schedFixed::scheduler::publishedBy: Set(),211 schedFixed::scheduler::ws:212 Map(213 "w1" ->214 {215 attached: Set(),216 built: false,217 expecting: false,218 running: false,219 session: false,220 up: false221 },222 "w2" ->223 {224 attached: Set(),225 built: false,226 expecting: false,227 running: false,228 session: false,229 up: false230 }231 )232}233234[State 6]235{236 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),237 schedFixed::scheduler::crashes: 2,238 schedFixed::scheduler::entry:239 [{ followers: Set("c2"), leased: true, worker: "w1" }],240 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),241 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),242 schedFixed::scheduler::mBuild: Set(),243 schedFixed::scheduler::mDone: Set(),244 schedFixed::scheduler::mExpect: Set(),245 schedFixed::scheduler::mResult: Set(),246 schedFixed::scheduler::mRetry: Set(),247 schedFixed::scheduler::mSchedule: Set("c1"),248 schedFixed::scheduler::published: 0,249 schedFixed::scheduler::publishedBy: Set(),250 schedFixed::scheduler::ws:251 Map(252 "w1" ->253 {254 attached: Set(),255 built: false,256 expecting: false,257 running: false,258 session: false,259 up: false260 },261 "w2" ->262 {263 attached: Set(),264 built: false,265 expecting: false,266 running: false,267 session: true,268 up: true269 }270 )271}272273[State 7]274{275 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),276 schedFixed::scheduler::crashes: 2,277 schedFixed::scheduler::entry:278 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],279 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),280 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),281 schedFixed::scheduler::mBuild: Set(),282 schedFixed::scheduler::mDone: Set(),283 schedFixed::scheduler::mExpect: Set(),284 schedFixed::scheduler::mResult: Set(),285 schedFixed::scheduler::mRetry: Set(),286 schedFixed::scheduler::mSchedule: Set(),287 schedFixed::scheduler::published: 0,288 schedFixed::scheduler::publishedBy: Set(),289 schedFixed::scheduler::ws:290 Map(291 "w1" ->292 {293 attached: Set(),294 built: false,295 expecting: false,296 running: false,297 session: false,298 up: false299 },300 "w2" ->301 {302 attached: Set(),303 built: false,304 expecting: false,305 running: false,306 session: true,307 up: true308 }309 )310}311312[State 8]313{314 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),315 schedFixed::scheduler::crashes: 2,316 schedFixed::scheduler::entry: [],317 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),318 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),319 schedFixed::scheduler::mBuild: Set(),320 schedFixed::scheduler::mDone: Set(),321 schedFixed::scheduler::mExpect: Set(),322 schedFixed::scheduler::mResult: Set(),323 schedFixed::scheduler::mRetry: Set("c1", "c2"),324 schedFixed::scheduler::mSchedule: Set(),325 schedFixed::scheduler::published: 0,326 schedFixed::scheduler::publishedBy: Set(),327 schedFixed::scheduler::ws:328 Map(329 "w1" ->330 {331 attached: Set(),332 built: false,333 expecting: false,334 running: false,335 session: false,336 up: false337 },338 "w2" ->339 {340 attached: Set(),341 built: false,342 expecting: false,343 running: false,344 session: true,345 up: true346 }347 )348}349350[State 9]351{352 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),353 schedFixed::scheduler::crashes: 2,354 schedFixed::scheduler::entry: [],355 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),356 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),357 schedFixed::scheduler::mBuild: Set(),358 schedFixed::scheduler::mDone: Set(),359 schedFixed::scheduler::mExpect: Set(),360 schedFixed::scheduler::mResult: Set(),361 schedFixed::scheduler::mRetry: Set("c1"),362 schedFixed::scheduler::mSchedule: Set("c2"),363 schedFixed::scheduler::published: 0,364 schedFixed::scheduler::publishedBy: Set(),365 schedFixed::scheduler::ws:366 Map(367 "w1" ->368 {369 attached: Set(),370 built: false,371 expecting: false,372 running: false,373 session: false,374 up: false375 },376 "w2" ->377 {378 attached: Set(),379 built: false,380 expecting: false,381 running: false,382 session: true,383 up: true384 }385 )386}387388[State 10]389{390 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),391 schedFixed::scheduler::crashes: 2,392 schedFixed::scheduler::entry:393 [{ followers: Set("c2"), leased: true, worker: "w2" }],394 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),395 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w2")),396 schedFixed::scheduler::mBuild: Set(),397 schedFixed::scheduler::mDone: Set(),398 schedFixed::scheduler::mExpect: Set("w2"),399 schedFixed::scheduler::mResult: Set(),400 schedFixed::scheduler::mRetry: Set("c1"),401 schedFixed::scheduler::mSchedule: Set(),402 schedFixed::scheduler::published: 0,403 schedFixed::scheduler::publishedBy: Set(),404 schedFixed::scheduler::ws:405 Map(406 "w1" ->407 {408 attached: Set(),409 built: false,410 expecting: false,411 running: false,412 session: false,413 up: false414 },415 "w2" ->416 {417 attached: Set(),418 built: false,419 expecting: false,420 running: false,421 session: true,422 up: true423 }424 )425}426427[State 11]428{429 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),430 schedFixed::scheduler::crashes: 2,431 schedFixed::scheduler::entry:432 [{ followers: Set("c2"), leased: true, worker: "w2" }],433 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),434 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w2")),435 schedFixed::scheduler::mBuild: Set(),436 schedFixed::scheduler::mDone: Set(),437 schedFixed::scheduler::mExpect: Set("w2"),438 schedFixed::scheduler::mResult: Set(),439 schedFixed::scheduler::mRetry: Set("c1"),440 schedFixed::scheduler::mSchedule: Set(),441 schedFixed::scheduler::published: 0,442 schedFixed::scheduler::publishedBy: Set(),443 schedFixed::scheduler::ws:444 Map(445 "w1" ->446 {447 attached: Set(),448 built: false,449 expecting: false,450 running: false,451 session: true,452 up: true453 },454 "w2" ->455 {456 attached: Set(),457 built: false,458 expecting: false,459 running: false,460 session: true,461 up: true462 }463 )464}465466[State 12]467{468 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),469 schedFixed::scheduler::crashes: 2,470 schedFixed::scheduler::entry:471 [{ followers: Set("c2"), leased: true, worker: "w2" }],472 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),473 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),474 schedFixed::scheduler::mBuild: Set(("c2", "w2")),475 schedFixed::scheduler::mDone: Set(),476 schedFixed::scheduler::mExpect: Set("w2"),477 schedFixed::scheduler::mResult: Set(),478 schedFixed::scheduler::mRetry: Set("c1"),479 schedFixed::scheduler::mSchedule: Set(),480 schedFixed::scheduler::published: 0,481 schedFixed::scheduler::publishedBy: Set(),482 schedFixed::scheduler::ws:483 Map(484 "w1" ->485 {486 attached: Set(),487 built: false,488 expecting: false,489 running: false,490 session: true,491 up: true492 },493 "w2" ->494 {495 attached: Set(),496 built: false,497 expecting: false,498 running: false,499 session: true,500 up: true501 }502 )503}504505[State 13]506{507 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),508 schedFixed::scheduler::crashes: 2,509 schedFixed::scheduler::entry:510 [{ followers: Set("c2"), leased: true, worker: "w2" }],511 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),512 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),513 schedFixed::scheduler::mBuild: Set(),514 schedFixed::scheduler::mDone: Set(),515 schedFixed::scheduler::mExpect: Set("w2"),516 schedFixed::scheduler::mResult: Set(),517 schedFixed::scheduler::mRetry: Set("c1", "c2"),518 schedFixed::scheduler::mSchedule: Set(),519 schedFixed::scheduler::published: 0,520 schedFixed::scheduler::publishedBy: Set(),521 schedFixed::scheduler::ws:522 Map(523 "w1" ->524 {525 attached: Set(),526 built: false,527 expecting: false,528 running: false,529 session: true,530 up: true531 },532 "w2" ->533 {534 attached: Set(),535 built: false,536 expecting: false,537 running: false,538 session: true,539 up: true540 }541 )542}543544[State 14]545{546 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),547 schedFixed::scheduler::crashes: 2,548 schedFixed::scheduler::entry:549 [{ followers: Set("c2"), leased: true, worker: "w2" }],550 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),551 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),552 schedFixed::scheduler::mBuild: Set(),553 schedFixed::scheduler::mDone: Set(),554 schedFixed::scheduler::mExpect: Set("w2"),555 schedFixed::scheduler::mResult: Set(),556 schedFixed::scheduler::mRetry: Set("c1"),557 schedFixed::scheduler::mSchedule: Set("c2"),558 schedFixed::scheduler::published: 0,559 schedFixed::scheduler::publishedBy: Set(),560 schedFixed::scheduler::ws:561 Map(562 "w1" ->563 {564 attached: Set(),565 built: false,566 expecting: false,567 running: false,568 session: true,569 up: true570 },571 "w2" ->572 {573 attached: Set(),574 built: false,575 expecting: false,576 running: false,577 session: true,578 up: true579 }580 )581}582583[State 15]584{585 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),586 schedFixed::scheduler::crashes: 2,587 schedFixed::scheduler::entry:588 [{ followers: Set("c2"), leased: true, worker: "w2" }],589 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),590 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w2")),591 schedFixed::scheduler::mBuild: Set(),592 schedFixed::scheduler::mDone: Set(),593 schedFixed::scheduler::mExpect: Set("w2"),594 schedFixed::scheduler::mResult: Set(),595 schedFixed::scheduler::mRetry: Set("c1"),596 schedFixed::scheduler::mSchedule: Set(),597 schedFixed::scheduler::published: 0,598 schedFixed::scheduler::publishedBy: Set(),599 schedFixed::scheduler::ws:600 Map(601 "w1" ->602 {603 attached: Set(),604 built: false,605 expecting: false,606 running: false,607 session: true,608 up: true609 },610 "w2" ->611 {612 attached: Set(),613 built: false,614 expecting: false,615 running: false,616 session: true,617 up: true618 }619 )620}621622[State 16]623{624 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),625 schedFixed::scheduler::crashes: 2,626 schedFixed::scheduler::entry:627 [{ followers: Set("c2"), leased: true, worker: "w2" }],628 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),629 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),630 schedFixed::scheduler::mBuild: Set(),631 schedFixed::scheduler::mDone: Set(),632 schedFixed::scheduler::mExpect: Set("w2"),633 schedFixed::scheduler::mResult: Set(),634 schedFixed::scheduler::mRetry: Set(),635 schedFixed::scheduler::mSchedule: Set("c1"),636 schedFixed::scheduler::published: 0,637 schedFixed::scheduler::publishedBy: Set(),638 schedFixed::scheduler::ws:639 Map(640 "w1" ->641 {642 attached: Set(),643 built: false,644 expecting: false,645 running: false,646 session: true,647 up: true648 },649 "w2" ->650 {651 attached: Set(),652 built: false,653 expecting: false,654 running: false,655 session: true,656 up: true657 }658 )659}660661[State 17]662{663 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),664 schedFixed::scheduler::crashes: 2,665 schedFixed::scheduler::entry:666 [{ followers: Set("c2"), leased: true, worker: "w2" }],667 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),668 schedFixed::scheduler::mAssigned: Set(),669 schedFixed::scheduler::mBuild: Set(("c2", "w2")),670 schedFixed::scheduler::mDone: Set(),671 schedFixed::scheduler::mExpect: Set("w2"),672 schedFixed::scheduler::mResult: Set(),673 schedFixed::scheduler::mRetry: Set(),674 schedFixed::scheduler::mSchedule: Set("c1"),675 schedFixed::scheduler::published: 0,676 schedFixed::scheduler::publishedBy: Set(),677 schedFixed::scheduler::ws:678 Map(679 "w1" ->680 {681 attached: Set(),682 built: false,683 expecting: false,684 running: false,685 session: true,686 up: true687 },688 "w2" ->689 {690 attached: Set(),691 built: false,692 expecting: false,693 running: false,694 session: true,695 up: true696 }697 )698}699700[State 18]701{702 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),703 schedFixed::scheduler::crashes: 2,704 schedFixed::scheduler::entry:705 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],706 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),707 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),708 schedFixed::scheduler::mBuild: Set(("c2", "w2")),709 schedFixed::scheduler::mDone: Set(),710 schedFixed::scheduler::mExpect: Set("w2"),711 schedFixed::scheduler::mResult: Set(),712 schedFixed::scheduler::mRetry: Set(),713 schedFixed::scheduler::mSchedule: Set(),714 schedFixed::scheduler::published: 0,715 schedFixed::scheduler::publishedBy: Set(),716 schedFixed::scheduler::ws:717 Map(718 "w1" ->719 {720 attached: Set(),721 built: false,722 expecting: false,723 running: false,724 session: true,725 up: true726 },727 "w2" ->728 {729 attached: Set(),730 built: false,731 expecting: false,732 running: false,733 session: true,734 up: true735 }736 )737}738739[State 19]740{741 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w2")),742 schedFixed::scheduler::crashes: 2,743 schedFixed::scheduler::entry:744 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],745 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),746 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),747 schedFixed::scheduler::mBuild: Set(),748 schedFixed::scheduler::mDone: Set(),749 schedFixed::scheduler::mExpect: Set("w2"),750 schedFixed::scheduler::mResult: Set(),751 schedFixed::scheduler::mRetry: Set("c2"),752 schedFixed::scheduler::mSchedule: Set(),753 schedFixed::scheduler::published: 0,754 schedFixed::scheduler::publishedBy: Set(),755 schedFixed::scheduler::ws:756 Map(757 "w1" ->758 {759 attached: Set(),760 built: false,761 expecting: false,762 running: false,763 session: true,764 up: true765 },766 "w2" ->767 {768 attached: Set(),769 built: false,770 expecting: false,771 running: false,772 session: true,773 up: true774 }775 )776}777778[State 20]779{780 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),781 schedFixed::scheduler::crashes: 2,782 schedFixed::scheduler::entry:783 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],784 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),785 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),786 schedFixed::scheduler::mBuild: Set(),787 schedFixed::scheduler::mDone: Set(),788 schedFixed::scheduler::mExpect: Set("w2"),789 schedFixed::scheduler::mResult: Set(),790 schedFixed::scheduler::mRetry: Set(),791 schedFixed::scheduler::mSchedule: Set("c2"),792 schedFixed::scheduler::published: 0,793 schedFixed::scheduler::publishedBy: Set(),794 schedFixed::scheduler::ws:795 Map(796 "w1" ->797 {798 attached: Set(),799 built: false,800 expecting: false,801 running: false,802 session: true,803 up: true804 },805 "w2" ->806 {807 attached: Set(),808 built: false,809 expecting: false,810 running: false,811 session: true,812 up: true813 }814 )815}816817[State 21]818{819 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),820 schedFixed::scheduler::crashes: 2,821 schedFixed::scheduler::entry:822 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],823 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),824 schedFixed::scheduler::mAssigned: Set(("c1", "w2")),825 schedFixed::scheduler::mBuild: Set(),826 schedFixed::scheduler::mDone: Set(),827 schedFixed::scheduler::mExpect: Set(),828 schedFixed::scheduler::mResult: Set(),829 schedFixed::scheduler::mRetry: Set(),830 schedFixed::scheduler::mSchedule: Set("c2"),831 schedFixed::scheduler::published: 0,832 schedFixed::scheduler::publishedBy: Set(),833 schedFixed::scheduler::ws:834 Map(835 "w1" ->836 {837 attached: Set(),838 built: false,839 expecting: false,840 running: false,841 session: true,842 up: true843 },844 "w2" ->845 {846 attached: Set(),847 built: false,848 expecting: true,849 running: true,850 session: true,851 up: true852 }853 )854}855856[State 22]857{858 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),859 schedFixed::scheduler::crashes: 2,860 schedFixed::scheduler::entry:861 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],862 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),863 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),864 schedFixed::scheduler::mBuild: Set(),865 schedFixed::scheduler::mDone: Set(),866 schedFixed::scheduler::mExpect: Set(),867 schedFixed::scheduler::mResult: Set(),868 schedFixed::scheduler::mRetry: Set(),869 schedFixed::scheduler::mSchedule: Set(),870 schedFixed::scheduler::published: 0,871 schedFixed::scheduler::publishedBy: Set(),872 schedFixed::scheduler::ws:873 Map(874 "w1" ->875 {876 attached: Set(),877 built: false,878 expecting: false,879 running: false,880 session: true,881 up: true882 },883 "w2" ->884 {885 attached: Set(),886 built: false,887 expecting: true,888 running: true,889 session: true,890 up: true891 }892 )893}894895[State 23]896{897 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),898 schedFixed::scheduler::crashes: 2,899 schedFixed::scheduler::entry:900 [{ followers: Set("c1", "c2"), leased: true, worker: "w2" }],901 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 0),902 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),903 schedFixed::scheduler::mBuild: Set(),904 schedFixed::scheduler::mDone: Set("w2"),905 schedFixed::scheduler::mExpect: Set(),906 schedFixed::scheduler::mResult: Set(),907 schedFixed::scheduler::mRetry: Set(),908 schedFixed::scheduler::mSchedule: Set(),909 schedFixed::scheduler::published: 1,910 schedFixed::scheduler::publishedBy: Set("w2"),911 schedFixed::scheduler::ws:912 Map(913 "w1" ->914 {915 attached: Set(),916 built: false,917 expecting: false,918 running: false,919 session: true,920 up: true921 },922 "w2" ->923 {924 attached: Set(),925 built: true,926 expecting: false,927 running: false,928 session: true,929 up: true930 }931 )932}933934[State 24]935{936 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),937 schedFixed::scheduler::crashes: 2,938 schedFixed::scheduler::entry: [],939 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),940 schedFixed::scheduler::mAssigned: Set(("c1", "w2"), ("c2", "w2")),941 schedFixed::scheduler::mBuild: Set(),942 schedFixed::scheduler::mDone: Set(),943 schedFixed::scheduler::mExpect: Set(),944 schedFixed::scheduler::mResult: Set(),945 schedFixed::scheduler::mRetry: Set(),946 schedFixed::scheduler::mSchedule: Set(),947 schedFixed::scheduler::published: 1,948 schedFixed::scheduler::publishedBy: Set("w2"),949 schedFixed::scheduler::ws:950 Map(951 "w1" ->952 {953 attached: Set(),954 built: false,955 expecting: false,956 running: false,957 session: true,958 up: true959 },960 "w2" ->961 {962 attached: Set(),963 built: true,964 expecting: false,965 running: false,966 session: true,967 up: true968 }969 )970}971972[State 25]973{974 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),975 schedFixed::scheduler::crashes: 2,976 schedFixed::scheduler::entry: [],977 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),978 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),979 schedFixed::scheduler::mBuild: Set(("c1", "w2")),980 schedFixed::scheduler::mDone: Set(),981 schedFixed::scheduler::mExpect: Set(),982 schedFixed::scheduler::mResult: Set(),983 schedFixed::scheduler::mRetry: Set(),984 schedFixed::scheduler::mSchedule: Set(),985 schedFixed::scheduler::published: 1,986 schedFixed::scheduler::publishedBy: Set("w2"),987 schedFixed::scheduler::ws:988 Map(989 "w1" ->990 {991 attached: Set(),992 built: false,993 expecting: false,994 running: false,995 session: true,996 up: true997 },998 "w2" ->999 {1000 attached: Set(),1001 built: true,1002 expecting: false,1003 running: false,1004 session: true,1005 up: true1006 }1007 )1008}10091010[State 26]1011{1012 schedFixed::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),1013 schedFixed::scheduler::crashes: 2,1014 schedFixed::scheduler::entry: [],1015 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1016 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1017 schedFixed::scheduler::mBuild: Set(),1018 schedFixed::scheduler::mDone: Set(),1019 schedFixed::scheduler::mExpect: Set(),1020 schedFixed::scheduler::mResult: Set("c1"),1021 schedFixed::scheduler::mRetry: Set(),1022 schedFixed::scheduler::mSchedule: Set(),1023 schedFixed::scheduler::published: 1,1024 schedFixed::scheduler::publishedBy: Set("w2"),1025 schedFixed::scheduler::ws:1026 Map(1027 "w1" ->1028 {1029 attached: Set(),1030 built: false,1031 expecting: false,1032 running: false,1033 session: true,1034 up: true1035 },1036 "w2" ->1037 {1038 attached: Set(),1039 built: true,1040 expecting: false,1041 running: false,1042 session: true,1043 up: true1044 }1045 )1046}10471048[State 27]1049{1050 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),1051 schedFixed::scheduler::crashes: 2,1052 schedFixed::scheduler::entry: [],1053 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1054 schedFixed::scheduler::mAssigned: Set(("c2", "w2")),1055 schedFixed::scheduler::mBuild: Set(),1056 schedFixed::scheduler::mDone: Set(),1057 schedFixed::scheduler::mExpect: Set(),1058 schedFixed::scheduler::mResult: Set(),1059 schedFixed::scheduler::mRetry: Set(),1060 schedFixed::scheduler::mSchedule: Set(),1061 schedFixed::scheduler::published: 1,1062 schedFixed::scheduler::publishedBy: Set("w2"),1063 schedFixed::scheduler::ws:1064 Map(1065 "w1" ->1066 {1067 attached: Set(),1068 built: false,1069 expecting: false,1070 running: false,1071 session: true,1072 up: true1073 },1074 "w2" ->1075 {1076 attached: Set(),1077 built: true,1078 expecting: false,1079 running: false,1080 session: true,1081 up: true1082 }1083 )1084}10851086[State 28]1087{1088 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),1089 schedFixed::scheduler::crashes: 2,1090 schedFixed::scheduler::entry: [],1091 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1092 schedFixed::scheduler::mAssigned: Set(),1093 schedFixed::scheduler::mBuild: Set(("c2", "w2")),1094 schedFixed::scheduler::mDone: Set(),1095 schedFixed::scheduler::mExpect: Set(),1096 schedFixed::scheduler::mResult: Set(),1097 schedFixed::scheduler::mRetry: Set(),1098 schedFixed::scheduler::mSchedule: Set(),1099 schedFixed::scheduler::published: 1,1100 schedFixed::scheduler::publishedBy: Set("w2"),1101 schedFixed::scheduler::ws:1102 Map(1103 "w1" ->1104 {1105 attached: Set(),1106 built: false,1107 expecting: false,1108 running: false,1109 session: true,1110 up: true1111 },1112 "w2" ->1113 {1114 attached: Set(),1115 built: true,1116 expecting: false,1117 running: false,1118 session: true,1119 up: true1120 }1121 )1122}11231124[State 29]1125{1126 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CSent("w2")),1127 schedFixed::scheduler::crashes: 2,1128 schedFixed::scheduler::entry: [],1129 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1130 schedFixed::scheduler::mAssigned: Set(),1131 schedFixed::scheduler::mBuild: Set(),1132 schedFixed::scheduler::mDone: Set(),1133 schedFixed::scheduler::mExpect: Set(),1134 schedFixed::scheduler::mResult: Set("c2"),1135 schedFixed::scheduler::mRetry: Set(),1136 schedFixed::scheduler::mSchedule: Set(),1137 schedFixed::scheduler::published: 1,1138 schedFixed::scheduler::publishedBy: Set("w2"),1139 schedFixed::scheduler::ws:1140 Map(1141 "w1" ->1142 {1143 attached: Set(),1144 built: false,1145 expecting: false,1146 running: false,1147 session: true,1148 up: true1149 },1150 "w2" ->1151 {1152 attached: Set(),1153 built: true,1154 expecting: false,1155 running: false,1156 session: true,1157 up: true1158 }1159 )1160}11611162[State 30]1163{1164 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),1165 schedFixed::scheduler::crashes: 2,1166 schedFixed::scheduler::entry: [],1167 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1168 schedFixed::scheduler::mAssigned: Set(),1169 schedFixed::scheduler::mBuild: Set(),1170 schedFixed::scheduler::mDone: Set(),1171 schedFixed::scheduler::mExpect: Set(),1172 schedFixed::scheduler::mResult: Set(),1173 schedFixed::scheduler::mRetry: Set(),1174 schedFixed::scheduler::mSchedule: Set(),1175 schedFixed::scheduler::published: 1,1176 schedFixed::scheduler::publishedBy: Set("w2"),1177 schedFixed::scheduler::ws:1178 Map(1179 "w1" ->1180 {1181 attached: Set(),1182 built: false,1183 expecting: false,1184 running: false,1185 session: true,1186 up: true1187 },1188 "w2" ->1189 {1190 attached: Set(),1191 built: true,1192 expecting: false,1193 running: false,1194 session: true,1195 up: true1196 }1197 )1198}11991200[ok] No violation found (582ms at 51546 traces/second).1201Trace length statistics: max=31, min=14, average=17.791202You may increase --max-samples and --max-steps.1203Use --verbosity to produce more (or less) output.1204Use --seed=0xf6235ea2967a5a83 --backend=rust to reproduce.1205An example execution:12061207[State 0]1208{1209 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1210 schedNoFence::scheduler::crashes: 0,1211 schedNoFence::scheduler::entry: [],1212 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1213 schedNoFence::scheduler::mAssigned: Set(),1214 schedNoFence::scheduler::mBuild: Set(),1215 schedNoFence::scheduler::mDone: Set(),1216 schedNoFence::scheduler::mExpect: Set(),1217 schedNoFence::scheduler::mResult: Set(),1218 schedNoFence::scheduler::mRetry: Set(),1219 schedNoFence::scheduler::mSchedule: Set(),1220 schedNoFence::scheduler::published: 0,1221 schedNoFence::scheduler::publishedBy: Set(),1222 schedNoFence::scheduler::ws:1223 Map(1224 "w1" ->1225 {1226 attached: Set(),1227 built: false,1228 expecting: false,1229 running: false,1230 session: true,1231 up: true1232 },1233 "w2" ->1234 {1235 attached: Set(),1236 built: false,1237 expecting: false,1238 running: false,1239 session: true,1240 up: true1241 }1242 )1243}12441245[State 1]1246{1247 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1248 schedNoFence::scheduler::crashes: 0,1249 schedNoFence::scheduler::entry: [],1250 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1251 schedNoFence::scheduler::mAssigned: Set(),1252 schedNoFence::scheduler::mBuild: Set(),1253 schedNoFence::scheduler::mDone: Set(),1254 schedNoFence::scheduler::mExpect: Set(),1255 schedNoFence::scheduler::mResult: Set(),1256 schedNoFence::scheduler::mRetry: Set(),1257 schedNoFence::scheduler::mSchedule: Set("c2"),1258 schedNoFence::scheduler::published: 0,1259 schedNoFence::scheduler::publishedBy: Set(),1260 schedNoFence::scheduler::ws:1261 Map(1262 "w1" ->1263 {1264 attached: Set(),1265 built: false,1266 expecting: false,1267 running: false,1268 session: true,1269 up: true1270 },1271 "w2" ->1272 {1273 attached: Set(),1274 built: false,1275 expecting: false,1276 running: false,1277 session: true,1278 up: true1279 }1280 )1281}12821283[State 2]1284{1285 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1286 schedNoFence::scheduler::crashes: 1,1287 schedNoFence::scheduler::entry: [],1288 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1289 schedNoFence::scheduler::mAssigned: Set(),1290 schedNoFence::scheduler::mBuild: Set(),1291 schedNoFence::scheduler::mDone: Set(),1292 schedNoFence::scheduler::mExpect: Set(),1293 schedNoFence::scheduler::mResult: Set(),1294 schedNoFence::scheduler::mRetry: Set("c2"),1295 schedNoFence::scheduler::mSchedule: Set(),1296 schedNoFence::scheduler::published: 0,1297 schedNoFence::scheduler::publishedBy: Set(),1298 schedNoFence::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 3]1322{1323 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1324 schedNoFence::scheduler::crashes: 2,1325 schedNoFence::scheduler::entry: [],1326 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1327 schedNoFence::scheduler::mAssigned: Set(),1328 schedNoFence::scheduler::mBuild: Set(),1329 schedNoFence::scheduler::mDone: Set(),1330 schedNoFence::scheduler::mExpect: Set(),1331 schedNoFence::scheduler::mResult: Set(),1332 schedNoFence::scheduler::mRetry: Set("c2"),1333 schedNoFence::scheduler::mSchedule: Set(),1334 schedNoFence::scheduler::published: 0,1335 schedNoFence::scheduler::publishedBy: Set(),1336 schedNoFence::scheduler::ws:1337 Map(1338 "w1" ->1339 {1340 attached: Set(),1341 built: false,1342 expecting: false,1343 running: false,1344 session: true,1345 up: true1346 },1347 "w2" ->1348 {1349 attached: Set(),1350 built: false,1351 expecting: false,1352 running: false,1353 session: true,1354 up: true1355 }1356 )1357}13581359[State 4]1360{1361 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1362 schedNoFence::scheduler::crashes: 2,1363 schedNoFence::scheduler::entry: [],1364 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1365 schedNoFence::scheduler::mAssigned: Set(),1366 schedNoFence::scheduler::mBuild: Set(),1367 schedNoFence::scheduler::mDone: Set(),1368 schedNoFence::scheduler::mExpect: Set(),1369 schedNoFence::scheduler::mResult: Set(),1370 schedNoFence::scheduler::mRetry: Set("c2"),1371 schedNoFence::scheduler::mSchedule: Set("c1"),1372 schedNoFence::scheduler::published: 0,1373 schedNoFence::scheduler::publishedBy: Set(),1374 schedNoFence::scheduler::ws:1375 Map(1376 "w1" ->1377 {1378 attached: Set(),1379 built: false,1380 expecting: false,1381 running: false,1382 session: true,1383 up: true1384 },1385 "w2" ->1386 {1387 attached: Set(),1388 built: false,1389 expecting: false,1390 running: false,1391 session: true,1392 up: true1393 }1394 )1395}13961397[State 5]1398{1399 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1400 schedNoFence::scheduler::crashes: 2,1401 schedNoFence::scheduler::entry:1402 [{ followers: Set("c1"), leased: true, worker: "w1" }],1403 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1404 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1405 schedNoFence::scheduler::mBuild: Set(),1406 schedNoFence::scheduler::mDone: Set(),1407 schedNoFence::scheduler::mExpect: Set("w1"),1408 schedNoFence::scheduler::mResult: Set(),1409 schedNoFence::scheduler::mRetry: Set("c2"),1410 schedNoFence::scheduler::mSchedule: Set(),1411 schedNoFence::scheduler::published: 0,1412 schedNoFence::scheduler::publishedBy: Set(),1413 schedNoFence::scheduler::ws:1414 Map(1415 "w1" ->1416 {1417 attached: Set(),1418 built: false,1419 expecting: false,1420 running: false,1421 session: true,1422 up: true1423 },1424 "w2" ->1425 {1426 attached: Set(),1427 built: false,1428 expecting: false,1429 running: false,1430 session: true,1431 up: true1432 }1433 )1434}14351436[State 6]1437{1438 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1439 schedNoFence::scheduler::crashes: 2,1440 schedNoFence::scheduler::entry:1441 [{ followers: Set("c1"), leased: true, worker: "w1" }],1442 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1443 schedNoFence::scheduler::mAssigned: Set(),1444 schedNoFence::scheduler::mBuild: Set(("c1", "w1")),1445 schedNoFence::scheduler::mDone: Set(),1446 schedNoFence::scheduler::mExpect: Set("w1"),1447 schedNoFence::scheduler::mResult: Set(),1448 schedNoFence::scheduler::mRetry: Set("c2"),1449 schedNoFence::scheduler::mSchedule: Set(),1450 schedNoFence::scheduler::published: 0,1451 schedNoFence::scheduler::publishedBy: Set(),1452 schedNoFence::scheduler::ws:1453 Map(1454 "w1" ->1455 {1456 attached: Set(),1457 built: false,1458 expecting: false,1459 running: false,1460 session: true,1461 up: true1462 },1463 "w2" ->1464 {1465 attached: Set(),1466 built: false,1467 expecting: false,1468 running: false,1469 session: true,1470 up: true1471 }1472 )1473}14741475[State 7]1476{1477 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1478 schedNoFence::scheduler::crashes: 2,1479 schedNoFence::scheduler::entry:1480 [{ followers: Set("c1"), leased: true, worker: "w1" }],1481 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1482 schedNoFence::scheduler::mAssigned: Set(),1483 schedNoFence::scheduler::mBuild: Set(),1484 schedNoFence::scheduler::mDone: Set(),1485 schedNoFence::scheduler::mExpect: Set("w1"),1486 schedNoFence::scheduler::mResult: Set(),1487 schedNoFence::scheduler::mRetry: Set("c1", "c2"),1488 schedNoFence::scheduler::mSchedule: Set(),1489 schedNoFence::scheduler::published: 0,1490 schedNoFence::scheduler::publishedBy: Set(),1491 schedNoFence::scheduler::ws:1492 Map(1493 "w1" ->1494 {1495 attached: Set(),1496 built: false,1497 expecting: false,1498 running: false,1499 session: true,1500 up: true1501 },1502 "w2" ->1503 {1504 attached: Set(),1505 built: false,1506 expecting: false,1507 running: false,1508 session: true,1509 up: true1510 }1511 )1512}15131514[State 8]1515{1516 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1517 schedNoFence::scheduler::crashes: 2,1518 schedNoFence::scheduler::entry:1519 [{ followers: Set("c1"), leased: true, worker: "w1" }],1520 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1521 schedNoFence::scheduler::mAssigned: Set(),1522 schedNoFence::scheduler::mBuild: Set(),1523 schedNoFence::scheduler::mDone: Set(),1524 schedNoFence::scheduler::mExpect: Set("w1"),1525 schedNoFence::scheduler::mResult: Set(),1526 schedNoFence::scheduler::mRetry: Set("c1"),1527 schedNoFence::scheduler::mSchedule: Set("c2"),1528 schedNoFence::scheduler::published: 0,1529 schedNoFence::scheduler::publishedBy: Set(),1530 schedNoFence::scheduler::ws:1531 Map(1532 "w1" ->1533 {1534 attached: Set(),1535 built: false,1536 expecting: false,1537 running: false,1538 session: true,1539 up: true1540 },1541 "w2" ->1542 {1543 attached: Set(),1544 built: false,1545 expecting: false,1546 running: false,1547 session: true,1548 up: true1549 }1550 )1551}15521553[State 9]1554{1555 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1556 schedNoFence::scheduler::crashes: 2,1557 schedNoFence::scheduler::entry:1558 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1559 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1560 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1561 schedNoFence::scheduler::mBuild: Set(),1562 schedNoFence::scheduler::mDone: Set(),1563 schedNoFence::scheduler::mExpect: Set("w1"),1564 schedNoFence::scheduler::mResult: Set(),1565 schedNoFence::scheduler::mRetry: Set("c1"),1566 schedNoFence::scheduler::mSchedule: Set(),1567 schedNoFence::scheduler::published: 0,1568 schedNoFence::scheduler::publishedBy: Set(),1569 schedNoFence::scheduler::ws:1570 Map(1571 "w1" ->1572 {1573 attached: Set(),1574 built: false,1575 expecting: false,1576 running: false,1577 session: true,1578 up: true1579 },1580 "w2" ->1581 {1582 attached: Set(),1583 built: false,1584 expecting: false,1585 running: false,1586 session: true,1587 up: true1588 }1589 )1590}15911592[State 10]1593{1594 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1595 schedNoFence::scheduler::crashes: 2,1596 schedNoFence::scheduler::entry:1597 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1598 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1599 schedNoFence::scheduler::mAssigned: Set(),1600 schedNoFence::scheduler::mBuild: Set(("c2", "w1")),1601 schedNoFence::scheduler::mDone: Set(),1602 schedNoFence::scheduler::mExpect: Set("w1"),1603 schedNoFence::scheduler::mResult: Set(),1604 schedNoFence::scheduler::mRetry: Set("c1"),1605 schedNoFence::scheduler::mSchedule: Set(),1606 schedNoFence::scheduler::published: 0,1607 schedNoFence::scheduler::publishedBy: Set(),1608 schedNoFence::scheduler::ws:1609 Map(1610 "w1" ->1611 {1612 attached: Set(),1613 built: false,1614 expecting: false,1615 running: false,1616 session: true,1617 up: true1618 },1619 "w2" ->1620 {1621 attached: Set(),1622 built: false,1623 expecting: false,1624 running: false,1625 session: true,1626 up: true1627 }1628 )1629}16301631[State 11]1632{1633 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1634 schedNoFence::scheduler::crashes: 2,1635 schedNoFence::scheduler::entry:1636 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1637 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1638 schedNoFence::scheduler::mAssigned: Set(),1639 schedNoFence::scheduler::mBuild: Set(),1640 schedNoFence::scheduler::mDone: Set(),1641 schedNoFence::scheduler::mExpect: Set("w1"),1642 schedNoFence::scheduler::mResult: Set(),1643 schedNoFence::scheduler::mRetry: Set("c1", "c2"),1644 schedNoFence::scheduler::mSchedule: Set(),1645 schedNoFence::scheduler::published: 0,1646 schedNoFence::scheduler::publishedBy: Set(),1647 schedNoFence::scheduler::ws:1648 Map(1649 "w1" ->1650 {1651 attached: Set(),1652 built: false,1653 expecting: false,1654 running: false,1655 session: true,1656 up: true1657 },1658 "w2" ->1659 {1660 attached: Set(),1661 built: false,1662 expecting: false,1663 running: false,1664 session: true,1665 up: true1666 }1667 )1668}16691670[State 12]1671{1672 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1673 schedNoFence::scheduler::crashes: 2,1674 schedNoFence::scheduler::entry:1675 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1676 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1677 schedNoFence::scheduler::mAssigned: Set(),1678 schedNoFence::scheduler::mBuild: Set(),1679 schedNoFence::scheduler::mDone: Set(),1680 schedNoFence::scheduler::mExpect: Set("w1"),1681 schedNoFence::scheduler::mResult: Set(),1682 schedNoFence::scheduler::mRetry: Set("c1"),1683 schedNoFence::scheduler::mSchedule: Set("c2"),1684 schedNoFence::scheduler::published: 0,1685 schedNoFence::scheduler::publishedBy: Set(),1686 schedNoFence::scheduler::ws:1687 Map(1688 "w1" ->1689 {1690 attached: Set(),1691 built: false,1692 expecting: false,1693 running: false,1694 session: true,1695 up: true1696 },1697 "w2" ->1698 {1699 attached: Set(),1700 built: false,1701 expecting: false,1702 running: false,1703 session: true,1704 up: true1705 }1706 )1707}17081709[State 13]1710{1711 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),1712 schedNoFence::scheduler::crashes: 2,1713 schedNoFence::scheduler::entry:1714 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1715 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1716 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),1717 schedNoFence::scheduler::mBuild: Set(),1718 schedNoFence::scheduler::mDone: Set(),1719 schedNoFence::scheduler::mExpect: Set("w1"),1720 schedNoFence::scheduler::mResult: Set(),1721 schedNoFence::scheduler::mRetry: Set("c1"),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 14]1749{1750 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1751 schedNoFence::scheduler::crashes: 2,1752 schedNoFence::scheduler::entry:1753 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1754 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1755 schedNoFence::scheduler::mAssigned: Set(),1756 schedNoFence::scheduler::mBuild: Set(("c2", "w1")),1757 schedNoFence::scheduler::mDone: Set(),1758 schedNoFence::scheduler::mExpect: Set("w1"),1759 schedNoFence::scheduler::mResult: Set(),1760 schedNoFence::scheduler::mRetry: Set("c1"),1761 schedNoFence::scheduler::mSchedule: Set(),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 15]1788{1789 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1790 schedNoFence::scheduler::crashes: 2,1791 schedNoFence::scheduler::entry:1792 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1793 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1794 schedNoFence::scheduler::mAssigned: Set(),1795 schedNoFence::scheduler::mBuild: Set(("c2", "w1")),1796 schedNoFence::scheduler::mDone: Set(),1797 schedNoFence::scheduler::mExpect: Set("w1"),1798 schedNoFence::scheduler::mResult: Set(),1799 schedNoFence::scheduler::mRetry: Set(),1800 schedNoFence::scheduler::mSchedule: Set("c1"),1801 schedNoFence::scheduler::published: 0,1802 schedNoFence::scheduler::publishedBy: Set(),1803 schedNoFence::scheduler::ws:1804 Map(1805 "w1" ->1806 {1807 attached: Set(),1808 built: false,1809 expecting: false,1810 running: false,1811 session: true,1812 up: true1813 },1814 "w2" ->1815 {1816 attached: Set(),1817 built: false,1818 expecting: false,1819 running: false,1820 session: true,1821 up: true1822 }1823 )1824}18251826[State 16]1827{1828 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1829 schedNoFence::scheduler::crashes: 2,1830 schedNoFence::scheduler::entry:1831 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1832 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1833 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1834 schedNoFence::scheduler::mBuild: Set(("c2", "w1")),1835 schedNoFence::scheduler::mDone: Set(),1836 schedNoFence::scheduler::mExpect: Set("w1"),1837 schedNoFence::scheduler::mResult: Set(),1838 schedNoFence::scheduler::mRetry: Set(),1839 schedNoFence::scheduler::mSchedule: Set(),1840 schedNoFence::scheduler::published: 0,1841 schedNoFence::scheduler::publishedBy: Set(),1842 schedNoFence::scheduler::ws:1843 Map(1844 "w1" ->1845 {1846 attached: Set(),1847 built: false,1848 expecting: false,1849 running: false,1850 session: true,1851 up: true1852 },1853 "w2" ->1854 {1855 attached: Set(),1856 built: false,1857 expecting: false,1858 running: false,1859 session: true,1860 up: true1861 }1862 )1863}18641865[State 17]1866{1867 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1868 schedNoFence::scheduler::crashes: 2,1869 schedNoFence::scheduler::entry:1870 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1871 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1872 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1873 schedNoFence::scheduler::mBuild: Set(),1874 schedNoFence::scheduler::mDone: Set(),1875 schedNoFence::scheduler::mExpect: Set("w1"),1876 schedNoFence::scheduler::mResult: Set(),1877 schedNoFence::scheduler::mRetry: Set("c2"),1878 schedNoFence::scheduler::mSchedule: Set(),1879 schedNoFence::scheduler::published: 0,1880 schedNoFence::scheduler::publishedBy: Set(),1881 schedNoFence::scheduler::ws:1882 Map(1883 "w1" ->1884 {1885 attached: Set(),1886 built: false,1887 expecting: false,1888 running: false,1889 session: true,1890 up: true1891 },1892 "w2" ->1893 {1894 attached: Set(),1895 built: false,1896 expecting: false,1897 running: false,1898 session: true,1899 up: true1900 }1901 )1902}19031904[State 18]1905{1906 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1907 schedNoFence::scheduler::crashes: 2,1908 schedNoFence::scheduler::entry:1909 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1910 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1911 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1912 schedNoFence::scheduler::mBuild: Set(),1913 schedNoFence::scheduler::mDone: Set(),1914 schedNoFence::scheduler::mExpect: Set("w1"),1915 schedNoFence::scheduler::mResult: Set(),1916 schedNoFence::scheduler::mRetry: Set(),1917 schedNoFence::scheduler::mSchedule: Set("c2"),1918 schedNoFence::scheduler::published: 0,1919 schedNoFence::scheduler::publishedBy: Set(),1920 schedNoFence::scheduler::ws:1921 Map(1922 "w1" ->1923 {1924 attached: Set(),1925 built: false,1926 expecting: false,1927 running: false,1928 session: true,1929 up: true1930 },1931 "w2" ->1932 {1933 attached: Set(),1934 built: false,1935 expecting: false,1936 running: false,1937 session: true,1938 up: true1939 }1940 )1941}19421943[State 19]1944{1945 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),1946 schedNoFence::scheduler::crashes: 2,1947 schedNoFence::scheduler::entry:1948 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1949 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1950 schedNoFence::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),1951 schedNoFence::scheduler::mBuild: Set(),1952 schedNoFence::scheduler::mDone: Set(),1953 schedNoFence::scheduler::mExpect: Set("w1"),1954 schedNoFence::scheduler::mResult: Set(),1955 schedNoFence::scheduler::mRetry: Set(),1956 schedNoFence::scheduler::mSchedule: Set(),1957 schedNoFence::scheduler::published: 0,1958 schedNoFence::scheduler::publishedBy: Set(),1959 schedNoFence::scheduler::ws:1960 Map(1961 "w1" ->1962 {1963 attached: Set(),1964 built: false,1965 expecting: false,1966 running: false,1967 session: true,1968 up: true1969 },1970 "w2" ->1971 {1972 attached: Set(),1973 built: false,1974 expecting: false,1975 running: false,1976 session: true,1977 up: true1978 }1979 )1980}19811982[State 20]1983{1984 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),1985 schedNoFence::scheduler::crashes: 2,1986 schedNoFence::scheduler::entry:1987 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1988 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),1989 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),1990 schedNoFence::scheduler::mBuild: Set(("c2", "w1")),1991 schedNoFence::scheduler::mDone: Set(),1992 schedNoFence::scheduler::mExpect: Set("w1"),1993 schedNoFence::scheduler::mResult: Set(),1994 schedNoFence::scheduler::mRetry: Set(),1995 schedNoFence::scheduler::mSchedule: Set(),1996 schedNoFence::scheduler::published: 0,1997 schedNoFence::scheduler::publishedBy: Set(),1998 schedNoFence::scheduler::ws:1999 Map(2000 "w1" ->2001 {2002 attached: Set(),2003 built: false,2004 expecting: false,2005 running: false,2006 session: true,2007 up: true2008 },2009 "w2" ->2010 {2011 attached: Set(),2012 built: false,2013 expecting: false,2014 running: false,2015 session: true,2016 up: true2017 }2018 )2019}20202021[State 21]2022{2023 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2024 schedNoFence::scheduler::crashes: 2,2025 schedNoFence::scheduler::entry:2026 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2027 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2028 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2029 schedNoFence::scheduler::mBuild: Set(),2030 schedNoFence::scheduler::mDone: Set(),2031 schedNoFence::scheduler::mExpect: Set("w1"),2032 schedNoFence::scheduler::mResult: Set(),2033 schedNoFence::scheduler::mRetry: Set("c2"),2034 schedNoFence::scheduler::mSchedule: Set(),2035 schedNoFence::scheduler::published: 0,2036 schedNoFence::scheduler::publishedBy: Set(),2037 schedNoFence::scheduler::ws:2038 Map(2039 "w1" ->2040 {2041 attached: Set(),2042 built: false,2043 expecting: false,2044 running: false,2045 session: true,2046 up: true2047 },2048 "w2" ->2049 {2050 attached: Set(),2051 built: false,2052 expecting: false,2053 running: false,2054 session: true,2055 up: true2056 }2057 )2058}20592060[State 22]2061{2062 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),2063 schedNoFence::scheduler::crashes: 2,2064 schedNoFence::scheduler::entry:2065 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2066 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2067 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2068 schedNoFence::scheduler::mBuild: Set(),2069 schedNoFence::scheduler::mDone: Set(),2070 schedNoFence::scheduler::mExpect: Set(),2071 schedNoFence::scheduler::mResult: Set(),2072 schedNoFence::scheduler::mRetry: Set("c2"),2073 schedNoFence::scheduler::mSchedule: Set(),2074 schedNoFence::scheduler::published: 0,2075 schedNoFence::scheduler::publishedBy: Set(),2076 schedNoFence::scheduler::ws:2077 Map(2078 "w1" ->2079 {2080 attached: Set(),2081 built: false,2082 expecting: true,2083 running: true,2084 session: true,2085 up: true2086 },2087 "w2" ->2088 {2089 attached: Set(),2090 built: false,2091 expecting: false,2092 running: false,2093 session: true,2094 up: true2095 }2096 )2097}20982099[State 23]2100{2101 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2102 schedNoFence::scheduler::crashes: 2,2103 schedNoFence::scheduler::entry:2104 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2105 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2106 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2107 schedNoFence::scheduler::mBuild: Set(),2108 schedNoFence::scheduler::mDone: Set(),2109 schedNoFence::scheduler::mExpect: Set(),2110 schedNoFence::scheduler::mResult: Set(),2111 schedNoFence::scheduler::mRetry: Set(),2112 schedNoFence::scheduler::mSchedule: Set("c2"),2113 schedNoFence::scheduler::published: 0,2114 schedNoFence::scheduler::publishedBy: Set(),2115 schedNoFence::scheduler::ws:2116 Map(2117 "w1" ->2118 {2119 attached: Set(),2120 built: false,2121 expecting: true,2122 running: true,2123 session: true,2124 up: true2125 },2126 "w2" ->2127 {2128 attached: Set(),2129 built: false,2130 expecting: false,2131 running: false,2132 session: true,2133 up: true2134 }2135 )2136}21372138[State 24]2139{2140 schedNoFence::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2141 schedNoFence::scheduler::crashes: 2,2142 schedNoFence::scheduler::entry:2143 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2144 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2145 schedNoFence::scheduler::mAssigned: Set(("c1", "w1")),2146 schedNoFence::scheduler::mBuild: Set(),2147 schedNoFence::scheduler::mDone: Set("w1"),2148 schedNoFence::scheduler::mExpect: Set(),2149 schedNoFence::scheduler::mResult: Set(),2150 schedNoFence::scheduler::mRetry: Set(),2151 schedNoFence::scheduler::mSchedule: Set("c2"),2152 schedNoFence::scheduler::published: 1,2153 schedNoFence::scheduler::publishedBy: Set("w1"),2154 schedNoFence::scheduler::ws:2155 Map(2156 "w1" ->2157 {2158 attached: Set(),2159 built: true,2160 expecting: false,2161 running: false,2162 session: true,2163 up: true2164 },2165 "w2" ->2166 {2167 attached: Set(),2168 built: false,2169 expecting: false,2170 running: false,2171 session: true,2172 up: true2173 }2174 )2175}21762177[State 25]2178{2179 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),2180 schedNoFence::scheduler::crashes: 2,2181 schedNoFence::scheduler::entry:2182 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2183 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2184 schedNoFence::scheduler::mAssigned: Set(),2185 schedNoFence::scheduler::mBuild: Set(("c1", "w1")),2186 schedNoFence::scheduler::mDone: Set("w1"),2187 schedNoFence::scheduler::mExpect: Set(),2188 schedNoFence::scheduler::mResult: Set(),2189 schedNoFence::scheduler::mRetry: Set(),2190 schedNoFence::scheduler::mSchedule: Set("c2"),2191 schedNoFence::scheduler::published: 1,2192 schedNoFence::scheduler::publishedBy: Set("w1"),2193 schedNoFence::scheduler::ws:2194 Map(2195 "w1" ->2196 {2197 attached: Set(),2198 built: true,2199 expecting: false,2200 running: false,2201 session: true,2202 up: true2203 },2204 "w2" ->2205 {2206 attached: Set(),2207 built: false,2208 expecting: false,2209 running: false,2210 session: true,2211 up: true2212 }2213 )2214}22152216[State 26]2217{2218 schedNoFence::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),2219 schedNoFence::scheduler::crashes: 2,2220 schedNoFence::scheduler::entry:2221 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2222 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2223 schedNoFence::scheduler::mAssigned: Set(),2224 schedNoFence::scheduler::mBuild: Set(),2225 schedNoFence::scheduler::mDone: Set("w1"),2226 schedNoFence::scheduler::mExpect: Set(),2227 schedNoFence::scheduler::mResult: Set("c1"),2228 schedNoFence::scheduler::mRetry: Set(),2229 schedNoFence::scheduler::mSchedule: Set("c2"),2230 schedNoFence::scheduler::published: 1,2231 schedNoFence::scheduler::publishedBy: Set("w1"),2232 schedNoFence::scheduler::ws:2233 Map(2234 "w1" ->2235 {2236 attached: Set(),2237 built: true,2238 expecting: false,2239 running: false,2240 session: true,2241 up: true2242 },2243 "w2" ->2244 {2245 attached: Set(),2246 built: false,2247 expecting: false,2248 running: false,2249 session: true,2250 up: true2251 }2252 )2253}22542255[State 27]2256{2257 schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),2258 schedNoFence::scheduler::crashes: 2,2259 schedNoFence::scheduler::entry:2260 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2261 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2262 schedNoFence::scheduler::mAssigned: Set(),2263 schedNoFence::scheduler::mBuild: Set(),2264 schedNoFence::scheduler::mDone: Set("w1"),2265 schedNoFence::scheduler::mExpect: Set(),2266 schedNoFence::scheduler::mResult: Set(),2267 schedNoFence::scheduler::mRetry: Set(),2268 schedNoFence::scheduler::mSchedule: Set("c2"),2269 schedNoFence::scheduler::published: 1,2270 schedNoFence::scheduler::publishedBy: Set("w1"),2271 schedNoFence::scheduler::ws:2272 Map(2273 "w1" ->2274 {2275 attached: Set(),2276 built: true,2277 expecting: false,2278 running: false,2279 session: true,2280 up: true2281 },2282 "w2" ->2283 {2284 attached: Set(),2285 built: false,2286 expecting: false,2287 running: false,2288 session: true,2289 up: true2290 }2291 )2292}22932294[State 28]2295{2296 schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),2297 schedNoFence::scheduler::crashes: 2,2298 schedNoFence::scheduler::entry:2299 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],2300 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2301 schedNoFence::scheduler::mAssigned: Set(),2302 schedNoFence::scheduler::mBuild: Set(),2303 schedNoFence::scheduler::mDone: Set("w1"),2304 schedNoFence::scheduler::mExpect: Set(),2305 schedNoFence::scheduler::mResult: Set("c2"),2306 schedNoFence::scheduler::mRetry: Set(),2307 schedNoFence::scheduler::mSchedule: Set(),2308 schedNoFence::scheduler::published: 1,2309 schedNoFence::scheduler::publishedBy: Set("w1"),2310 schedNoFence::scheduler::ws:2311 Map(2312 "w1" ->2313 {2314 attached: Set(),2315 built: true,2316 expecting: false,2317 running: false,2318 session: true,2319 up: true2320 },2321 "w2" ->2322 {2323 attached: Set(),2324 built: false,2325 expecting: false,2326 running: false,2327 session: true,2328 up: true2329 }2330 )2331}23322333[State 29]2334{2335 schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CQueued),2336 schedNoFence::scheduler::crashes: 2,2337 schedNoFence::scheduler::entry: [],2338 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2339 schedNoFence::scheduler::mAssigned: Set(),2340 schedNoFence::scheduler::mBuild: Set(),2341 schedNoFence::scheduler::mDone: Set(),2342 schedNoFence::scheduler::mExpect: Set(),2343 schedNoFence::scheduler::mResult: Set("c2"),2344 schedNoFence::scheduler::mRetry: Set(),2345 schedNoFence::scheduler::mSchedule: Set(),2346 schedNoFence::scheduler::published: 1,2347 schedNoFence::scheduler::publishedBy: Set("w1"),2348 schedNoFence::scheduler::ws:2349 Map(2350 "w1" ->2351 {2352 attached: Set(),2353 built: true,2354 expecting: false,2355 running: false,2356 session: true,2357 up: true2358 },2359 "w2" ->2360 {2361 attached: Set(),2362 built: false,2363 expecting: false,2364 running: false,2365 session: true,2366 up: true2367 }2368 )2369}23702371[State 30]2372{2373 schedNoFence::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),2374 schedNoFence::scheduler::crashes: 2,2375 schedNoFence::scheduler::entry: [],2376 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),2377 schedNoFence::scheduler::mAssigned: Set(),2378 schedNoFence::scheduler::mBuild: Set(),2379 schedNoFence::scheduler::mDone: Set(),2380 schedNoFence::scheduler::mExpect: Set(),2381 schedNoFence::scheduler::mResult: Set(),2382 schedNoFence::scheduler::mRetry: Set(),2383 schedNoFence::scheduler::mSchedule: Set(),2384 schedNoFence::scheduler::published: 1,2385 schedNoFence::scheduler::publishedBy: Set("w1"),2386 schedNoFence::scheduler::ws:2387 Map(2388 "w1" ->2389 {2390 attached: Set(),2391 built: true,2392 expecting: false,2393 running: false,2394 session: true,2395 up: true2396 },2397 "w2" ->2398 {2399 attached: Set(),2400 built: false,2401 expecting: false,2402 running: false,2403 session: true,2404 up: true2405 }2406 )2407}24082409[ok] No violation found (533ms at 56285 traces/second).2410Trace length statistics: max=31, min=14, average=17.572411You may increase --max-samples and --max-steps.2412Use --verbosity to produce more (or less) output.2413Use --seed=0x5b741cf1116b2ed4 --backend=rust to reproduce.2414An example execution:24152416[State 0]2417{2418 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2419 schedNoPush::scheduler::crashes: 0,2420 schedNoPush::scheduler::entry: [],2421 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2422 schedNoPush::scheduler::mAssigned: Set(),2423 schedNoPush::scheduler::mBuild: Set(),2424 schedNoPush::scheduler::mDone: Set(),2425 schedNoPush::scheduler::mExpect: Set(),2426 schedNoPush::scheduler::mResult: Set(),2427 schedNoPush::scheduler::mRetry: Set(),2428 schedNoPush::scheduler::mSchedule: Set(),2429 schedNoPush::scheduler::published: 0,2430 schedNoPush::scheduler::publishedBy: Set(),2431 schedNoPush::scheduler::ws:2432 Map(2433 "w1" ->2434 {2435 attached: Set(),2436 built: false,2437 expecting: false,2438 running: false,2439 session: true,2440 up: true2441 },2442 "w2" ->2443 {2444 attached: Set(),2445 built: false,2446 expecting: false,2447 running: false,2448 session: true,2449 up: true2450 }2451 )2452}24532454[State 1]2455{2456 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2457 schedNoPush::scheduler::crashes: 0,2458 schedNoPush::scheduler::entry: [],2459 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2460 schedNoPush::scheduler::mAssigned: Set(),2461 schedNoPush::scheduler::mBuild: Set(),2462 schedNoPush::scheduler::mDone: Set(),2463 schedNoPush::scheduler::mExpect: Set(),2464 schedNoPush::scheduler::mResult: Set(),2465 schedNoPush::scheduler::mRetry: Set(),2466 schedNoPush::scheduler::mSchedule: Set("c2"),2467 schedNoPush::scheduler::published: 0,2468 schedNoPush::scheduler::publishedBy: Set(),2469 schedNoPush::scheduler::ws:2470 Map(2471 "w1" ->2472 {2473 attached: Set(),2474 built: false,2475 expecting: false,2476 running: false,2477 session: true,2478 up: true2479 },2480 "w2" ->2481 {2482 attached: Set(),2483 built: false,2484 expecting: false,2485 running: false,2486 session: true,2487 up: true2488 }2489 )2490}24912492[State 2]2493{2494 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2495 schedNoPush::scheduler::crashes: 0,2496 schedNoPush::scheduler::entry:2497 [{ followers: Set("c2"), leased: true, worker: "w2" }],2498 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2499 schedNoPush::scheduler::mAssigned: Set(("c2", "w2")),2500 schedNoPush::scheduler::mBuild: Set(),2501 schedNoPush::scheduler::mDone: Set(),2502 schedNoPush::scheduler::mExpect: Set(),2503 schedNoPush::scheduler::mResult: Set(),2504 schedNoPush::scheduler::mRetry: Set(),2505 schedNoPush::scheduler::mSchedule: Set(),2506 schedNoPush::scheduler::published: 0,2507 schedNoPush::scheduler::publishedBy: Set(),2508 schedNoPush::scheduler::ws:2509 Map(2510 "w1" ->2511 {2512 attached: Set(),2513 built: false,2514 expecting: false,2515 running: false,2516 session: true,2517 up: true2518 },2519 "w2" ->2520 {2521 attached: Set(),2522 built: false,2523 expecting: false,2524 running: false,2525 session: true,2526 up: true2527 }2528 )2529}25302531[State 3]2532{2533 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),2534 schedNoPush::scheduler::crashes: 0,2535 schedNoPush::scheduler::entry:2536 [{ followers: Set("c2"), leased: true, worker: "w2" }],2537 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2538 schedNoPush::scheduler::mAssigned: Set(),2539 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),2540 schedNoPush::scheduler::mDone: Set(),2541 schedNoPush::scheduler::mExpect: Set(),2542 schedNoPush::scheduler::mResult: Set(),2543 schedNoPush::scheduler::mRetry: Set(),2544 schedNoPush::scheduler::mSchedule: Set(),2545 schedNoPush::scheduler::published: 0,2546 schedNoPush::scheduler::publishedBy: Set(),2547 schedNoPush::scheduler::ws:2548 Map(2549 "w1" ->2550 {2551 attached: Set(),2552 built: false,2553 expecting: false,2554 running: false,2555 session: true,2556 up: true2557 },2558 "w2" ->2559 {2560 attached: Set(),2561 built: false,2562 expecting: false,2563 running: false,2564 session: true,2565 up: true2566 }2567 )2568}25692570[State 4]2571{2572 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),2573 schedNoPush::scheduler::crashes: 1,2574 schedNoPush::scheduler::entry: [],2575 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2576 schedNoPush::scheduler::mAssigned: Set(),2577 schedNoPush::scheduler::mBuild: Set(("c2", "w2")),2578 schedNoPush::scheduler::mDone: Set(),2579 schedNoPush::scheduler::mExpect: Set(),2580 schedNoPush::scheduler::mResult: Set(),2581 schedNoPush::scheduler::mRetry: Set(),2582 schedNoPush::scheduler::mSchedule: Set(),2583 schedNoPush::scheduler::published: 0,2584 schedNoPush::scheduler::publishedBy: Set(),2585 schedNoPush::scheduler::ws:2586 Map(2587 "w1" ->2588 {2589 attached: Set(),2590 built: false,2591 expecting: false,2592 running: false,2593 session: true,2594 up: true2595 },2596 "w2" ->2597 {2598 attached: Set(),2599 built: false,2600 expecting: false,2601 running: false,2602 session: true,2603 up: true2604 }2605 )2606}26072608[State 5]2609{2610 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CSent("w2")),2611 schedNoPush::scheduler::crashes: 1,2612 schedNoPush::scheduler::entry: [],2613 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2614 schedNoPush::scheduler::mAssigned: Set(),2615 schedNoPush::scheduler::mBuild: Set(),2616 schedNoPush::scheduler::mDone: Set(),2617 schedNoPush::scheduler::mExpect: Set(),2618 schedNoPush::scheduler::mResult: Set(),2619 schedNoPush::scheduler::mRetry: Set(),2620 schedNoPush::scheduler::mSchedule: Set(),2621 schedNoPush::scheduler::published: 0,2622 schedNoPush::scheduler::publishedBy: Set(),2623 schedNoPush::scheduler::ws:2624 Map(2625 "w1" ->2626 {2627 attached: Set(),2628 built: false,2629 expecting: false,2630 running: false,2631 session: true,2632 up: true2633 },2634 "w2" ->2635 {2636 attached: Set("c2"),2637 built: false,2638 expecting: true,2639 running: true,2640 session: true,2641 up: true2642 }2643 )2644}26452646[violation] Found an issue (350ms at 27386 traces/second).2647Use --verbosity=3 to show executions.2648Use --seed=0x93d77f98bd3773f0 --backend=rust to reproduce.2649error: Invariant violated2650An example execution:26512652[State 0]2653{2654 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2655 schedNoReport::scheduler::crashes: 0,2656 schedNoReport::scheduler::entry: [],2657 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2658 schedNoReport::scheduler::mAssigned: Set(),2659 schedNoReport::scheduler::mBuild: Set(),2660 schedNoReport::scheduler::mDone: Set(),2661 schedNoReport::scheduler::mExpect: Set(),2662 schedNoReport::scheduler::mResult: Set(),2663 schedNoReport::scheduler::mRetry: Set(),2664 schedNoReport::scheduler::mSchedule: Set(),2665 schedNoReport::scheduler::published: 0,2666 schedNoReport::scheduler::publishedBy: Set(),2667 schedNoReport::scheduler::ws:2668 Map(2669 "w1" ->2670 {2671 attached: Set(),2672 built: false,2673 expecting: false,2674 running: false,2675 session: true,2676 up: true2677 },2678 "w2" ->2679 {2680 attached: Set(),2681 built: false,2682 expecting: false,2683 running: false,2684 session: true,2685 up: true2686 }2687 )2688}26892690[State 1]2691{2692 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2693 schedNoReport::scheduler::crashes: 0,2694 schedNoReport::scheduler::entry: [],2695 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2696 schedNoReport::scheduler::mAssigned: Set(),2697 schedNoReport::scheduler::mBuild: Set(),2698 schedNoReport::scheduler::mDone: Set(),2699 schedNoReport::scheduler::mExpect: Set(),2700 schedNoReport::scheduler::mResult: Set(),2701 schedNoReport::scheduler::mRetry: Set(),2702 schedNoReport::scheduler::mSchedule: Set("c1"),2703 schedNoReport::scheduler::published: 0,2704 schedNoReport::scheduler::publishedBy: Set(),2705 schedNoReport::scheduler::ws:2706 Map(2707 "w1" ->2708 {2709 attached: Set(),2710 built: false,2711 expecting: false,2712 running: false,2713 session: true,2714 up: true2715 },2716 "w2" ->2717 {2718 attached: Set(),2719 built: false,2720 expecting: false,2721 running: false,2722 session: true,2723 up: true2724 }2725 )2726}27272728[State 2]2729{2730 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2731 schedNoReport::scheduler::crashes: 0,2732 schedNoReport::scheduler::entry:2733 [{ followers: Set("c1"), leased: true, worker: "w1" }],2734 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2735 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),2736 schedNoReport::scheduler::mBuild: Set(),2737 schedNoReport::scheduler::mDone: Set(),2738 schedNoReport::scheduler::mExpect: Set("w1"),2739 schedNoReport::scheduler::mResult: Set(),2740 schedNoReport::scheduler::mRetry: Set(),2741 schedNoReport::scheduler::mSchedule: Set(),2742 schedNoReport::scheduler::published: 0,2743 schedNoReport::scheduler::publishedBy: Set(),2744 schedNoReport::scheduler::ws:2745 Map(2746 "w1" ->2747 {2748 attached: Set(),2749 built: false,2750 expecting: false,2751 running: false,2752 session: true,2753 up: true2754 },2755 "w2" ->2756 {2757 attached: Set(),2758 built: false,2759 expecting: false,2760 running: false,2761 session: true,2762 up: true2763 }2764 )2765}27662767[State 3]2768{2769 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2770 schedNoReport::scheduler::crashes: 0,2771 schedNoReport::scheduler::entry:2772 [{ followers: Set("c1"), leased: true, worker: "w1" }],2773 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2774 schedNoReport::scheduler::mAssigned: Set(("c1", "w1")),2775 schedNoReport::scheduler::mBuild: Set(),2776 schedNoReport::scheduler::mDone: Set(),2777 schedNoReport::scheduler::mExpect: Set(),2778 schedNoReport::scheduler::mResult: Set(),2779 schedNoReport::scheduler::mRetry: Set(),2780 schedNoReport::scheduler::mSchedule: Set(),2781 schedNoReport::scheduler::published: 0,2782 schedNoReport::scheduler::publishedBy: Set(),2783 schedNoReport::scheduler::ws:2784 Map(2785 "w1" ->2786 {2787 attached: Set(),2788 built: false,2789 expecting: true,2790 running: true,2791 session: true,2792 up: true2793 },2794 "w2" ->2795 {2796 attached: Set(),2797 built: false,2798 expecting: false,2799 running: false,2800 session: true,2801 up: true2802 }2803 )2804}28052806[State 4]2807{2808 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2809 schedNoReport::scheduler::crashes: 1,2810 schedNoReport::scheduler::entry: [],2811 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2812 schedNoReport::scheduler::mAssigned: Set(),2813 schedNoReport::scheduler::mBuild: Set(),2814 schedNoReport::scheduler::mDone: Set(),2815 schedNoReport::scheduler::mExpect: Set(),2816 schedNoReport::scheduler::mResult: Set(),2817 schedNoReport::scheduler::mRetry: Set("c1"),2818 schedNoReport::scheduler::mSchedule: Set(),2819 schedNoReport::scheduler::published: 0,2820 schedNoReport::scheduler::publishedBy: Set(),2821 schedNoReport::scheduler::ws:2822 Map(2823 "w1" ->2824 {2825 attached: Set(),2826 built: false,2827 expecting: true,2828 running: true,2829 session: true,2830 up: true2831 },2832 "w2" ->2833 {2834 attached: Set(),2835 built: false,2836 expecting: false,2837 running: false,2838 session: true,2839 up: true2840 }2841 )2842}28432844[State 5]2845{2846 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2847 schedNoReport::scheduler::crashes: 1,2848 schedNoReport::scheduler::entry: [],2849 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2850 schedNoReport::scheduler::mAssigned: Set(),2851 schedNoReport::scheduler::mBuild: Set(),2852 schedNoReport::scheduler::mDone: Set(),2853 schedNoReport::scheduler::mExpect: Set(),2854 schedNoReport::scheduler::mResult: Set(),2855 schedNoReport::scheduler::mRetry: Set(),2856 schedNoReport::scheduler::mSchedule: Set("c1"),2857 schedNoReport::scheduler::published: 0,2858 schedNoReport::scheduler::publishedBy: Set(),2859 schedNoReport::scheduler::ws:2860 Map(2861 "w1" ->2862 {2863 attached: Set(),2864 built: false,2865 expecting: true,2866 running: true,2867 session: true,2868 up: true2869 },2870 "w2" ->2871 {2872 attached: Set(),2873 built: false,2874 expecting: false,2875 running: false,2876 session: true,2877 up: true2878 }2879 )2880}28812882[State 6]2883{2884 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2885 schedNoReport::scheduler::crashes: 1,2886 schedNoReport::scheduler::entry:2887 [{ followers: Set("c1"), leased: true, worker: "w2" }],2888 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2889 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2890 schedNoReport::scheduler::mBuild: Set(),2891 schedNoReport::scheduler::mDone: Set(),2892 schedNoReport::scheduler::mExpect: Set("w2"),2893 schedNoReport::scheduler::mResult: Set(),2894 schedNoReport::scheduler::mRetry: Set(),2895 schedNoReport::scheduler::mSchedule: Set(),2896 schedNoReport::scheduler::published: 0,2897 schedNoReport::scheduler::publishedBy: Set(),2898 schedNoReport::scheduler::ws:2899 Map(2900 "w1" ->2901 {2902 attached: Set(),2903 built: false,2904 expecting: true,2905 running: true,2906 session: true,2907 up: true2908 },2909 "w2" ->2910 {2911 attached: Set(),2912 built: false,2913 expecting: false,2914 running: false,2915 session: true,2916 up: true2917 }2918 )2919}29202921[State 7]2922{2923 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2924 schedNoReport::scheduler::crashes: 1,2925 schedNoReport::scheduler::entry:2926 [{ followers: Set("c1"), leased: true, worker: "w2" }],2927 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2928 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2929 schedNoReport::scheduler::mBuild: Set(),2930 schedNoReport::scheduler::mDone: Set(),2931 schedNoReport::scheduler::mExpect: Set(),2932 schedNoReport::scheduler::mResult: Set(),2933 schedNoReport::scheduler::mRetry: Set(),2934 schedNoReport::scheduler::mSchedule: Set(),2935 schedNoReport::scheduler::published: 0,2936 schedNoReport::scheduler::publishedBy: Set(),2937 schedNoReport::scheduler::ws:2938 Map(2939 "w1" ->2940 {2941 attached: Set(),2942 built: false,2943 expecting: true,2944 running: true,2945 session: true,2946 up: true2947 },2948 "w2" ->2949 {2950 attached: Set(),2951 built: false,2952 expecting: true,2953 running: true,2954 session: true,2955 up: true2956 }2957 )2958}29592960[violation] Found an issue (449ms at 54425 traces/second).2961Use --verbosity=3 to show executions.2962Use --seed=0xb19b8247001fb83 --backend=rust to reproduce.2963error: Invariant violated2964An example execution:29652966[State 0]2967{2968 hookFixed::hook::cache: Set(),2969 hookFixed::hook::drvUploaded: false,2970 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),2971 hookFixed::hook::phase: Query,2972 hookFixed::hook::restarts: 0,2973 hookFixed::hook::retries: 0,2974 hookFixed::hook::toUpload: Set()2975}29762977[State 1]2978{2979 hookFixed::hook::cache: Set(),2980 hookFixed::hook::drvUploaded: false,2981 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),2982 hookFixed::hook::phase: Query,2983 hookFixed::hook::restarts: 1,2984 hookFixed::hook::retries: 1,2985 hookFixed::hook::toUpload: Set()2986}29872988[State 2]2989{2990 hookFixed::hook::cache: Set(),2991 hookFixed::hook::drvUploaded: false,2992 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),2993 hookFixed::hook::phase: Query,2994 hookFixed::hook::restarts: 2,2995 hookFixed::hook::retries: 2,2996 hookFixed::hook::toUpload: Set()2997}29982999[State 3]3000{3001 hookFixed::hook::cache: Set("in"),3002 hookFixed::hook::drvUploaded: false,3003 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("in")),3004 hookFixed::hook::phase: Upload,3005 hookFixed::hook::restarts: 2,3006 hookFixed::hook::retries: 2,3007 hookFixed::hook::toUpload: Set("drv")3008}30093010[State 4]3011{3012 hookFixed::hook::cache: Set("drv", "in"),3013 hookFixed::hook::drvUploaded: false,3014 hookFixed::hook::local: Map("w1" -> Set("in"), "w2" -> Set("drv", "in")),3015 hookFixed::hook::phase: Build,3016 hookFixed::hook::restarts: 2,3017 hookFixed::hook::retries: 2,3018 hookFixed::hook::toUpload: Set("drv")3019}30203021[State 5]3022{3023 hookFixed::hook::cache: Set("drv", "in", "out"),3024 hookFixed::hook::drvUploaded: false,3025 hookFixed::hook::local:3026 Map("w1" -> Set("drv", "in", "out"), "w2" -> Set("drv", "in")),3027 hookFixed::hook::phase: Fetch,3028 hookFixed::hook::restarts: 2,3029 hookFixed::hook::retries: 2,3030 hookFixed::hook::toUpload: Set("drv")3031}30323033[State 6]3034{3035 hookFixed::hook::cache: Set("drv", "in", "out"),3036 hookFixed::hook::drvUploaded: false,3037 hookFixed::hook::local:3038 Map("w1" -> Set("drv", "in", "out"), "w2" -> Set("drv", "in")),3039 hookFixed::hook::phase: Done,3040 hookFixed::hook::restarts: 2,3041 hookFixed::hook::retries: 2,3042 hookFixed::hook::toUpload: Set("drv")3043}30443045[ok] No violation found (94ms at 212766 traces/second).3046Trace length statistics: max=7, min=5, average=6.803047You may increase --max-samples and --max-steps.3048Use --verbosity to produce more (or less) output.3049Use --seed=0x188c38ba9b8ea8ef --backend=rust to reproduce.3050An example execution:30513052[State 0]3053{3054 hookNoSubstituteRefs::hook::cache: Set(),3055 hookNoSubstituteRefs::hook::drvUploaded: false,3056 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),3057 hookNoSubstituteRefs::hook::phase: Query,3058 hookNoSubstituteRefs::hook::restarts: 0,3059 hookNoSubstituteRefs::hook::retries: 0,3060 hookNoSubstituteRefs::hook::toUpload: Set()3061}30623063[State 1]3064{3065 hookNoSubstituteRefs::hook::cache: Set("in"),3066 hookNoSubstituteRefs::hook::drvUploaded: false,3067 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),3068 hookNoSubstituteRefs::hook::phase: Upload,3069 hookNoSubstituteRefs::hook::restarts: 0,3070 hookNoSubstituteRefs::hook::retries: 0,3071 hookNoSubstituteRefs::hook::toUpload: Set("drv")3072}30733074[State 2]3075{3076 hookNoSubstituteRefs::hook::cache: Set("in"),3077 hookNoSubstituteRefs::hook::drvUploaded: false,3078 hookNoSubstituteRefs::hook::local: Map("w1" -> Set(), "w2" -> Set("in")),3079 hookNoSubstituteRefs::hook::phase: Failed,3080 hookNoSubstituteRefs::hook::restarts: 0,3081 hookNoSubstituteRefs::hook::retries: 0,3082 hookNoSubstituteRefs::hook::toUpload: Set("drv")3083}30843085[violation] Found an issue (70ms at 20900 traces/second).3086Use --verbosity=3 to show executions.3087Use --seed=0x7a13706a4dcf1f19 --backend=rust to reproduce.3088error: Invariant violated3089An example execution:30903091[State 0]3092{3093 hookNoSubstituteDrv::hook::cache: Set(),3094 hookNoSubstituteDrv::hook::drvUploaded: false,3095 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),3096 hookNoSubstituteDrv::hook::phase: Query,3097 hookNoSubstituteDrv::hook::restarts: 0,3098 hookNoSubstituteDrv::hook::retries: 0,3099 hookNoSubstituteDrv::hook::toUpload: Set()3100}31013102[State 1]3103{3104 hookNoSubstituteDrv::hook::cache: Set(),3105 hookNoSubstituteDrv::hook::drvUploaded: false,3106 hookNoSubstituteDrv::hook::local: Map("w1" -> Set("in"), "w2" -> Set()),3107 hookNoSubstituteDrv::hook::phase: Upload,3108 hookNoSubstituteDrv::hook::restarts: 0,3109 hookNoSubstituteDrv::hook::retries: 0,3110 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")3111}31123113[State 2]3114{3115 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),3116 hookNoSubstituteDrv::hook::drvUploaded: false,3117 hookNoSubstituteDrv::hook::local:3118 Map("w1" -> Set("drv", "in"), "w2" -> Set()),3119 hookNoSubstituteDrv::hook::phase: Build,3120 hookNoSubstituteDrv::hook::restarts: 0,3121 hookNoSubstituteDrv::hook::retries: 0,3122 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")3123}31243125[State 3]3126{3127 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),3128 hookNoSubstituteDrv::hook::drvUploaded: false,3129 hookNoSubstituteDrv::hook::local:3130 Map("w1" -> Set("drv", "in"), "w2" -> Set()),3131 hookNoSubstituteDrv::hook::phase: UploadDrv,3132 hookNoSubstituteDrv::hook::restarts: 0,3133 hookNoSubstituteDrv::hook::retries: 0,3134 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")3135}31363137[State 4]3138{3139 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),3140 hookNoSubstituteDrv::hook::drvUploaded: true,3141 hookNoSubstituteDrv::hook::local:3142 Map("w1" -> Set("drv", "in"), "w2" -> Set()),3143 hookNoSubstituteDrv::hook::phase: Build,3144 hookNoSubstituteDrv::hook::restarts: 0,3145 hookNoSubstituteDrv::hook::retries: 0,3146 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")3147}31483149[State 5]3150{3151 hookNoSubstituteDrv::hook::cache: Set("drv", "in"),3152 hookNoSubstituteDrv::hook::drvUploaded: true,3153 hookNoSubstituteDrv::hook::local:3154 Map("w1" -> Set("drv", "in"), "w2" -> Set()),3155 hookNoSubstituteDrv::hook::phase: Failed,3156 hookNoSubstituteDrv::hook::restarts: 0,3157 hookNoSubstituteDrv::hook::retries: 0,3158 hookNoSubstituteDrv::hook::toUpload: Set("drv", "in")3159}31603161[violation] Found an issue (80ms at 25238 traces/second).3162Use --verbosity=3 to show executions.3163Use --seed=0x9083efec4d35a253 --backend=rust to reproduce.3164error: Invariant violated3165An example execution:31663167[State 0]3168{3169 pushFixed::push::byPath: Map(),3170 pushFixed::push::inflight: Set(),3171 pushFixed::push::left: Map(),3172 pushFixed::push::sent: Map()3173}31743175[State 1]3176{3177 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3178 pushFixed::push::inflight: Set((3, "a"), (3, "b")),3179 pushFixed::push::left: Map(3 -> 2),3180 pushFixed::push::sent: Map(3 -> Set("a", "b"))3181}31823183[State 2]3184{3185 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3186 pushFixed::push::inflight: Set((3, "b")),3187 pushFixed::push::left: Map(3 -> 1),3188 pushFixed::push::sent: Map(3 -> Set("a", "b"))3189}31903191[State 3]3192{3193 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3194 pushFixed::push::inflight: Set((2, "a"), (2, "b"), (3, "b")),3195 pushFixed::push::left: Map(2 -> 2, 3 -> 1),3196 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))3197}31983199[State 4]3200{3201 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3202 pushFixed::push::inflight: Set((2, "a"), (3, "b")),3203 pushFixed::push::left: Map(2 -> 1, 3 -> 1),3204 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))3205}32063207[State 5]3208{3209 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3210 pushFixed::push::inflight: Set((2, "a")),3211 pushFixed::push::left: Map(2 -> 1, 3 -> 0),3212 pushFixed::push::sent: Map(2 -> Set("a", "b"), 3 -> Set("a", "b"))3213}32143215[State 6]3216{3217 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3218 pushFixed::push::inflight: Set((1, "a"), (1, "b"), (2, "a")),3219 pushFixed::push::left: Map(1 -> 2, 2 -> 1, 3 -> 0),3220 pushFixed::push::sent:3221 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3222}32233224[State 7]3225{3226 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3227 pushFixed::push::inflight: Set((1, "a"), (1, "b")),3228 pushFixed::push::left: Map(1 -> 2, 2 -> 0, 3 -> 0),3229 pushFixed::push::sent:3230 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3231}32323233[State 8]3234{3235 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3236 pushFixed::push::inflight: Set((1, "b")),3237 pushFixed::push::left: Map(1 -> 1, 2 -> 0, 3 -> 0),3238 pushFixed::push::sent:3239 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3240}32413242[State 9]3243{3244 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3245 pushFixed::push::inflight: Set(),3246 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),3247 pushFixed::push::sent:3248 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3249}32503251[ok] No violation found (111ms at 180180 traces/second).3252Trace length statistics: max=10, min=7, average=7.993253You may increase --max-samples and --max-steps.3254Use --verbosity to produce more (or less) output.3255Use --seed=0x218550bf909093f5 --backend=rust to reproduce.

succeeded nix-grpc-store-spec checks.aarch64-linux.spec · build #186 · raw

succeeded `nix-grpc-store-spec` `checks.aarch64-linux.spec` · build #186 · raw