nix-grpc-store-spec log

succeeded `nix-grpc-store-spec` `checks.aarch64-darwin.spec` · build #385 · raw

1Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■■ ] 6% | ETA: 4s | 1839/30000 samples | 8397 samples/sRunning... [■■ ] 6% | ETA: 4s | 1839/30000 samples | 8397 samples/sRunning... [■■■■ ] 10% | ETA: 4s | 3173/30000 samples | 7739 samples/sRunning... [■■■■■■ ] 15% | ETA: 4s | 4564/30000 samples | 7482 samples/sRunning... [■■■■■■ ] 15% | ETA: 4s | 4564/30000 samples | 7482 samples/sRunning... [■■■■■■■ ] 17% | ETA: 4s | 5372/30000 samples | 7329 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 4s | 6069/30000 samples | 7208 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 4s | 6928/30000 samples | 7091 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 4s | 6928/30000 samples | 7091 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 4s | 8140/30000 samples | 6981 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 4s | 9001/30000 samples | 6861 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 3s | 9688/30000 samples | 6813 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 3s | 9688/30000 samples | 6813 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 3s | 9688/30000 samples | 6813 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 3s | 11232/30000 samples | 6758 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 3s | 11232/30000 samples | 6758 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 3s | 12474/30000 samples | 6739 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 3s | 13592/30000 samples | 6729 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 3s | 13592/30000 samples | 6729 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 3s | 14399/30000 samples | 6722 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 3s | 14399/30000 samples | 6722 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 3s | 15780/30000 samples | 6712 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 3s | 15780/30000 samples | 6712 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 2s | 17430/30000 samples | 6701 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 2s | 17430/30000 samples | 6701 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 2s | 19056/30000 samples | 6684 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 2s | 19056/30000 samples | 6684 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 2s | 19056/30000 samples | 6684 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 20526/30000 samples | 6660 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 20526/30000 samples | 6660 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 2s | 22154/30000 samples | 6649 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 2s | 22154/30000 samples | 6649 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 2s | 23453/30000 samples | 6642 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 1s | 24213/30000 samples | 6632 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 1s | 24213/30000 samples | 6632 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 1s | 25116/30000 samples | 6620 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 1s | 25844/30000 samples | 6605 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 26525/30000 samples | 6606 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 27098/30000 samples | 6503 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27313/30000 samples | 6392 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27313/30000 samples | 6392 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 27313/30000 samples | 6392 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 27915/30000 samples | 6177 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28219/30000 samples | 6080 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 28481/30000 samples | 5982 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28699/30000 samples | 5892 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28699/30000 samples | 5892 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 28699/30000 samples | 5892 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 29230/30000 samples | 5718 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 29488/30000 samples | 5656 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29927/30000 samples | 5544 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29927/30000 samples | 5544 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 29927/30000 samples | 5544 samples/sAn example execution:23[State 0]4{5 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),6 schedFixed::scheduler::crashes: 0,7 schedFixed::scheduler::entry: [],8 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),9 schedFixed::scheduler::mAssigned: Set(),10 schedFixed::scheduler::mBuild: Set(),11 schedFixed::scheduler::mDone: Set(),12 schedFixed::scheduler::mExpect: Set(),13 schedFixed::scheduler::mResult: Set(),14 schedFixed::scheduler::mRetry: Set(),15 schedFixed::scheduler::mRevoke: 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" -> CIdle),45 schedFixed::scheduler::crashes: 1,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::mRevoke: Set(),55 schedFixed::scheduler::mSchedule: Set(),56 schedFixed::scheduler::published: 0,57 schedFixed::scheduler::publishedBy: Set(),58 schedFixed::scheduler::ws:59 Map(60 "w1" ->61 {62 attached: Set(),63 built: false,64 expecting: false,65 running: false,66 session: false,67 up: true68 },69 "w2" ->70 {71 attached: Set(),72 built: false,73 expecting: false,74 running: false,75 session: false,76 up: true77 }78 )79}8081[State 2]82{83 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),84 schedFixed::scheduler::crashes: 1,85 schedFixed::scheduler::entry: [],86 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),87 schedFixed::scheduler::mAssigned: Set(),88 schedFixed::scheduler::mBuild: Set(),89 schedFixed::scheduler::mDone: Set(),90 schedFixed::scheduler::mExpect: Set(),91 schedFixed::scheduler::mResult: Set(),92 schedFixed::scheduler::mRetry: Set(),93 schedFixed::scheduler::mRevoke: Set(),94 schedFixed::scheduler::mSchedule: Set(),95 schedFixed::scheduler::published: 0,96 schedFixed::scheduler::publishedBy: Set(),97 schedFixed::scheduler::ws:98 Map(99 "w1" ->100 {101 attached: Set(),102 built: false,103 expecting: false,104 running: false,105 session: true,106 up: true107 },108 "w2" ->109 {110 attached: Set(),111 built: false,112 expecting: false,113 running: false,114 session: false,115 up: true116 }117 )118}119120[State 3]121{122 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),123 schedFixed::scheduler::crashes: 2,124 schedFixed::scheduler::entry: [],125 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),126 schedFixed::scheduler::mAssigned: Set(),127 schedFixed::scheduler::mBuild: Set(),128 schedFixed::scheduler::mDone: Set(),129 schedFixed::scheduler::mExpect: Set(),130 schedFixed::scheduler::mResult: Set(),131 schedFixed::scheduler::mRetry: Set(),132 schedFixed::scheduler::mRevoke: Set(),133 schedFixed::scheduler::mSchedule: Set(),134 schedFixed::scheduler::published: 0,135 schedFixed::scheduler::publishedBy: Set(),136 schedFixed::scheduler::ws:137 Map(138 "w1" ->139 {140 attached: Set(),141 built: false,142 expecting: false,143 running: false,144 session: false,145 up: true146 },147 "w2" ->148 {149 attached: Set(),150 built: false,151 expecting: false,152 running: false,153 session: false,154 up: true155 }156 )157}158159[State 4]160{161 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),162 schedFixed::scheduler::crashes: 2,163 schedFixed::scheduler::entry: [],164 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),165 schedFixed::scheduler::mAssigned: Set(),166 schedFixed::scheduler::mBuild: Set(),167 schedFixed::scheduler::mDone: Set(),168 schedFixed::scheduler::mExpect: Set(),169 schedFixed::scheduler::mResult: Set(),170 schedFixed::scheduler::mRetry: Set(),171 schedFixed::scheduler::mRevoke: Set(),172 schedFixed::scheduler::mSchedule: Set(),173 schedFixed::scheduler::published: 0,174 schedFixed::scheduler::publishedBy: Set(),175 schedFixed::scheduler::ws:176 Map(177 "w1" ->178 {179 attached: Set(),180 built: false,181 expecting: false,182 running: false,183 session: true,184 up: true185 },186 "w2" ->187 {188 attached: Set(),189 built: false,190 expecting: false,191 running: false,192 session: false,193 up: true194 }195 )196}197198[State 5]199{200 schedFixed::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),201 schedFixed::scheduler::crashes: 2,202 schedFixed::scheduler::entry: [],203 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),204 schedFixed::scheduler::mAssigned: Set(),205 schedFixed::scheduler::mBuild: Set(),206 schedFixed::scheduler::mDone: Set(),207 schedFixed::scheduler::mExpect: Set(),208 schedFixed::scheduler::mResult: Set(),209 schedFixed::scheduler::mRetry: Set(),210 schedFixed::scheduler::mRevoke: Set(),211 schedFixed::scheduler::mSchedule: Set("c2"),212 schedFixed::scheduler::published: 0,213 schedFixed::scheduler::publishedBy: Set(),214 schedFixed::scheduler::ws:215 Map(216 "w1" ->217 {218 attached: Set(),219 built: false,220 expecting: false,221 running: false,222 session: true,223 up: true224 },225 "w2" ->226 {227 attached: Set(),228 built: false,229 expecting: false,230 running: false,231 session: false,232 up: true233 }234 )235}236237[State 6]238{239 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),240 schedFixed::scheduler::crashes: 2,241 schedFixed::scheduler::entry: [],242 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),243 schedFixed::scheduler::mAssigned: Set(),244 schedFixed::scheduler::mBuild: Set(),245 schedFixed::scheduler::mDone: Set(),246 schedFixed::scheduler::mExpect: Set(),247 schedFixed::scheduler::mResult: Set(),248 schedFixed::scheduler::mRetry: Set(),249 schedFixed::scheduler::mRevoke: Set(),250 schedFixed::scheduler::mSchedule: Set("c1", "c2"),251 schedFixed::scheduler::published: 0,252 schedFixed::scheduler::publishedBy: Set(),253 schedFixed::scheduler::ws:254 Map(255 "w1" ->256 {257 attached: Set(),258 built: false,259 expecting: false,260 running: false,261 session: true,262 up: true263 },264 "w2" ->265 {266 attached: Set(),267 built: false,268 expecting: false,269 running: false,270 session: false,271 up: true272 }273 )274}275276[State 7]277{278 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),279 schedFixed::scheduler::crashes: 2,280 schedFixed::scheduler::entry:281 [{ followers: Set("c2"), leased: true, worker: "w1" }],282 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),283 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),284 schedFixed::scheduler::mBuild: Set(),285 schedFixed::scheduler::mDone: Set(),286 schedFixed::scheduler::mExpect: Set("w1"),287 schedFixed::scheduler::mResult: Set(),288 schedFixed::scheduler::mRetry: Set(),289 schedFixed::scheduler::mRevoke: Set(),290 schedFixed::scheduler::mSchedule: Set("c1"),291 schedFixed::scheduler::published: 0,292 schedFixed::scheduler::publishedBy: Set(),293 schedFixed::scheduler::ws:294 Map(295 "w1" ->296 {297 attached: Set(),298 built: false,299 expecting: false,300 running: false,301 session: true,302 up: true303 },304 "w2" ->305 {306 attached: Set(),307 built: false,308 expecting: false,309 running: false,310 session: false,311 up: true312 }313 )314}315316[State 8]317{318 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),319 schedFixed::scheduler::crashes: 2,320 schedFixed::scheduler::entry:321 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],322 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),323 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),324 schedFixed::scheduler::mBuild: Set(),325 schedFixed::scheduler::mDone: Set(),326 schedFixed::scheduler::mExpect: Set("w1"),327 schedFixed::scheduler::mResult: Set(),328 schedFixed::scheduler::mRetry: Set(),329 schedFixed::scheduler::mRevoke: Set(),330 schedFixed::scheduler::mSchedule: Set(),331 schedFixed::scheduler::published: 0,332 schedFixed::scheduler::publishedBy: Set(),333 schedFixed::scheduler::ws:334 Map(335 "w1" ->336 {337 attached: Set(),338 built: false,339 expecting: false,340 running: false,341 session: true,342 up: true343 },344 "w2" ->345 {346 attached: Set(),347 built: false,348 expecting: false,349 running: false,350 session: false,351 up: true352 }353 )354}355356[State 9]357{358 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),359 schedFixed::scheduler::crashes: 2,360 schedFixed::scheduler::entry:361 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],362 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),363 schedFixed::scheduler::mAssigned: Set(("c1", "w1"), ("c2", "w1")),364 schedFixed::scheduler::mBuild: Set(),365 schedFixed::scheduler::mDone: Set(),366 schedFixed::scheduler::mExpect: Set("w1"),367 schedFixed::scheduler::mResult: Set(),368 schedFixed::scheduler::mRetry: Set(),369 schedFixed::scheduler::mRevoke: Set(),370 schedFixed::scheduler::mSchedule: Set(),371 schedFixed::scheduler::published: 0,372 schedFixed::scheduler::publishedBy: Set(),373 schedFixed::scheduler::ws:374 Map(375 "w1" ->376 {377 attached: Set(),378 built: false,379 expecting: false,380 running: false,381 session: true,382 up: true383 },384 "w2" ->385 {386 attached: Set(),387 built: false,388 expecting: false,389 running: false,390 session: true,391 up: true392 }393 )394}395396[State 10]397{398 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),399 schedFixed::scheduler::crashes: 2,400 schedFixed::scheduler::entry:401 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],402 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),403 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),404 schedFixed::scheduler::mBuild: Set(("c2", "w1")),405 schedFixed::scheduler::mDone: Set(),406 schedFixed::scheduler::mExpect: Set("w1"),407 schedFixed::scheduler::mResult: Set(),408 schedFixed::scheduler::mRetry: Set(),409 schedFixed::scheduler::mRevoke: Set(),410 schedFixed::scheduler::mSchedule: Set(),411 schedFixed::scheduler::published: 0,412 schedFixed::scheduler::publishedBy: Set(),413 schedFixed::scheduler::ws:414 Map(415 "w1" ->416 {417 attached: Set(),418 built: false,419 expecting: false,420 running: false,421 session: true,422 up: true423 },424 "w2" ->425 {426 attached: Set(),427 built: false,428 expecting: false,429 running: false,430 session: true,431 up: true432 }433 )434}435436[State 11]437{438 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),439 schedFixed::scheduler::crashes: 2,440 schedFixed::scheduler::entry:441 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],442 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),443 schedFixed::scheduler::mAssigned: Set(),444 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),445 schedFixed::scheduler::mDone: Set(),446 schedFixed::scheduler::mExpect: Set("w1"),447 schedFixed::scheduler::mResult: Set(),448 schedFixed::scheduler::mRetry: Set(),449 schedFixed::scheduler::mRevoke: Set(),450 schedFixed::scheduler::mSchedule: Set(),451 schedFixed::scheduler::published: 0,452 schedFixed::scheduler::publishedBy: Set(),453 schedFixed::scheduler::ws:454 Map(455 "w1" ->456 {457 attached: Set(),458 built: false,459 expecting: false,460 running: false,461 session: true,462 up: true463 },464 "w2" ->465 {466 attached: Set(),467 built: false,468 expecting: false,469 running: false,470 session: true,471 up: true472 }473 )474}475476[State 12]477{478 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),479 schedFixed::scheduler::crashes: 2,480 schedFixed::scheduler::entry:481 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],482 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),483 schedFixed::scheduler::mAssigned: Set(),484 schedFixed::scheduler::mBuild: Set(("c2", "w1")),485 schedFixed::scheduler::mDone: Set(),486 schedFixed::scheduler::mExpect: Set("w1"),487 schedFixed::scheduler::mResult: Set(),488 schedFixed::scheduler::mRetry: Set("c1"),489 schedFixed::scheduler::mRevoke: Set(),490 schedFixed::scheduler::mSchedule: Set(),491 schedFixed::scheduler::published: 0,492 schedFixed::scheduler::publishedBy: Set(),493 schedFixed::scheduler::ws:494 Map(495 "w1" ->496 {497 attached: Set(),498 built: false,499 expecting: false,500 running: false,501 session: true,502 up: true503 },504 "w2" ->505 {506 attached: Set(),507 built: false,508 expecting: false,509 running: false,510 session: true,511 up: true512 }513 )514}515516[State 13]517{518 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),519 schedFixed::scheduler::crashes: 2,520 schedFixed::scheduler::entry:521 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],522 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),523 schedFixed::scheduler::mAssigned: Set(),524 schedFixed::scheduler::mBuild: Set(),525 schedFixed::scheduler::mDone: Set(),526 schedFixed::scheduler::mExpect: Set("w1"),527 schedFixed::scheduler::mResult: Set(),528 schedFixed::scheduler::mRetry: Set("c1", "c2"),529 schedFixed::scheduler::mRevoke: Set(),530 schedFixed::scheduler::mSchedule: Set(),531 schedFixed::scheduler::published: 0,532 schedFixed::scheduler::publishedBy: Set(),533 schedFixed::scheduler::ws:534 Map(535 "w1" ->536 {537 attached: Set(),538 built: false,539 expecting: false,540 running: false,541 session: true,542 up: true543 },544 "w2" ->545 {546 attached: Set(),547 built: false,548 expecting: false,549 running: false,550 session: true,551 up: true552 }553 )554}555556[State 14]557{558 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CSent("w1")),559 schedFixed::scheduler::crashes: 2,560 schedFixed::scheduler::entry:561 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],562 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),563 schedFixed::scheduler::mAssigned: Set(),564 schedFixed::scheduler::mBuild: Set(),565 schedFixed::scheduler::mDone: Set(),566 schedFixed::scheduler::mExpect: Set("w1"),567 schedFixed::scheduler::mResult: Set(),568 schedFixed::scheduler::mRetry: Set("c2"),569 schedFixed::scheduler::mRevoke: Set(),570 schedFixed::scheduler::mSchedule: Set("c1"),571 schedFixed::scheduler::published: 0,572 schedFixed::scheduler::publishedBy: Set(),573 schedFixed::scheduler::ws:574 Map(575 "w1" ->576 {577 attached: Set(),578 built: false,579 expecting: false,580 running: false,581 session: true,582 up: true583 },584 "w2" ->585 {586 attached: Set(),587 built: false,588 expecting: false,589 running: false,590 session: true,591 up: true592 }593 )594}595596[State 15]597{598 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),599 schedFixed::scheduler::crashes: 2,600 schedFixed::scheduler::entry:601 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],602 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),603 schedFixed::scheduler::mAssigned: Set(),604 schedFixed::scheduler::mBuild: Set(),605 schedFixed::scheduler::mDone: Set(),606 schedFixed::scheduler::mExpect: Set("w1"),607 schedFixed::scheduler::mResult: Set(),608 schedFixed::scheduler::mRetry: Set(),609 schedFixed::scheduler::mRevoke: Set(),610 schedFixed::scheduler::mSchedule: Set("c1", "c2"),611 schedFixed::scheduler::published: 0,612 schedFixed::scheduler::publishedBy: Set(),613 schedFixed::scheduler::ws:614 Map(615 "w1" ->616 {617 attached: Set(),618 built: false,619 expecting: false,620 running: false,621 session: true,622 up: true623 },624 "w2" ->625 {626 attached: Set(),627 built: false,628 expecting: false,629 running: false,630 session: true,631 up: true632 }633 )634}635636[State 16]637{638 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),639 schedFixed::scheduler::crashes: 2,640 schedFixed::scheduler::entry:641 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],642 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),643 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),644 schedFixed::scheduler::mBuild: Set(),645 schedFixed::scheduler::mDone: Set(),646 schedFixed::scheduler::mExpect: Set("w1"),647 schedFixed::scheduler::mResult: Set(),648 schedFixed::scheduler::mRetry: Set(),649 schedFixed::scheduler::mRevoke: Set(),650 schedFixed::scheduler::mSchedule: Set("c2"),651 schedFixed::scheduler::published: 0,652 schedFixed::scheduler::publishedBy: Set(),653 schedFixed::scheduler::ws:654 Map(655 "w1" ->656 {657 attached: Set(),658 built: false,659 expecting: false,660 running: false,661 session: true,662 up: true663 },664 "w2" ->665 {666 attached: Set(),667 built: false,668 expecting: false,669 running: false,670 session: true,671 up: true672 }673 )674}675676[State 17]677{678 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),679 schedFixed::scheduler::crashes: 2,680 schedFixed::scheduler::entry:681 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],682 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),683 schedFixed::scheduler::mAssigned: Set(),684 schedFixed::scheduler::mBuild: Set(("c1", "w1")),685 schedFixed::scheduler::mDone: Set(),686 schedFixed::scheduler::mExpect: Set("w1"),687 schedFixed::scheduler::mResult: Set(),688 schedFixed::scheduler::mRetry: Set(),689 schedFixed::scheduler::mRevoke: Set(),690 schedFixed::scheduler::mSchedule: Set("c2"),691 schedFixed::scheduler::published: 0,692 schedFixed::scheduler::publishedBy: Set(),693 schedFixed::scheduler::ws:694 Map(695 "w1" ->696 {697 attached: Set(),698 built: false,699 expecting: false,700 running: false,701 session: true,702 up: true703 },704 "w2" ->705 {706 attached: Set(),707 built: false,708 expecting: false,709 running: false,710 session: true,711 up: true712 }713 )714}715716[State 18]717{718 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),719 schedFixed::scheduler::crashes: 2,720 schedFixed::scheduler::entry:721 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],722 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),723 schedFixed::scheduler::mAssigned: Set(),724 schedFixed::scheduler::mBuild: Set(),725 schedFixed::scheduler::mDone: Set(),726 schedFixed::scheduler::mExpect: Set("w1"),727 schedFixed::scheduler::mResult: Set(),728 schedFixed::scheduler::mRetry: Set("c1"),729 schedFixed::scheduler::mRevoke: Set(),730 schedFixed::scheduler::mSchedule: Set("c2"),731 schedFixed::scheduler::published: 0,732 schedFixed::scheduler::publishedBy: Set(),733 schedFixed::scheduler::ws:734 Map(735 "w1" ->736 {737 attached: Set(),738 built: false,739 expecting: false,740 running: false,741 session: true,742 up: true743 },744 "w2" ->745 {746 attached: Set(),747 built: false,748 expecting: false,749 running: false,750 session: true,751 up: true752 }753 )754}755756[State 19]757{758 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),759 schedFixed::scheduler::crashes: 2,760 schedFixed::scheduler::entry:761 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],762 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),763 schedFixed::scheduler::mAssigned: Set(),764 schedFixed::scheduler::mBuild: Set(),765 schedFixed::scheduler::mDone: Set(),766 schedFixed::scheduler::mExpect: Set("w1"),767 schedFixed::scheduler::mResult: Set(),768 schedFixed::scheduler::mRetry: Set(),769 schedFixed::scheduler::mRevoke: Set(),770 schedFixed::scheduler::mSchedule: Set("c1", "c2"),771 schedFixed::scheduler::published: 0,772 schedFixed::scheduler::publishedBy: Set(),773 schedFixed::scheduler::ws:774 Map(775 "w1" ->776 {777 attached: Set(),778 built: false,779 expecting: false,780 running: false,781 session: true,782 up: true783 },784 "w2" ->785 {786 attached: Set(),787 built: false,788 expecting: false,789 running: false,790 session: true,791 up: true792 }793 )794}795796[State 20]797{798 schedFixed::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),799 schedFixed::scheduler::crashes: 2,800 schedFixed::scheduler::entry:801 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],802 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),803 schedFixed::scheduler::mAssigned: Set(("c1", "w1")),804 schedFixed::scheduler::mBuild: Set(),805 schedFixed::scheduler::mDone: Set(),806 schedFixed::scheduler::mExpect: Set("w1"),807 schedFixed::scheduler::mResult: Set(),808 schedFixed::scheduler::mRetry: Set(),809 schedFixed::scheduler::mRevoke: Set(),810 schedFixed::scheduler::mSchedule: Set("c2"),811 schedFixed::scheduler::published: 0,812 schedFixed::scheduler::publishedBy: Set(),813 schedFixed::scheduler::ws:814 Map(815 "w1" ->816 {817 attached: Set(),818 built: false,819 expecting: false,820 running: false,821 session: true,822 up: true823 },824 "w2" ->825 {826 attached: Set(),827 built: false,828 expecting: false,829 running: false,830 session: true,831 up: true832 }833 )834}835836[State 21]837{838 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),839 schedFixed::scheduler::crashes: 2,840 schedFixed::scheduler::entry:841 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],842 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),843 schedFixed::scheduler::mAssigned: Set(),844 schedFixed::scheduler::mBuild: Set(("c1", "w1")),845 schedFixed::scheduler::mDone: Set(),846 schedFixed::scheduler::mExpect: Set("w1"),847 schedFixed::scheduler::mResult: Set(),848 schedFixed::scheduler::mRetry: Set(),849 schedFixed::scheduler::mRevoke: Set(),850 schedFixed::scheduler::mSchedule: Set("c2"),851 schedFixed::scheduler::published: 0,852 schedFixed::scheduler::publishedBy: Set(),853 schedFixed::scheduler::ws:854 Map(855 "w1" ->856 {857 attached: Set(),858 built: false,859 expecting: false,860 running: false,861 session: true,862 up: true863 },864 "w2" ->865 {866 attached: Set(),867 built: false,868 expecting: false,869 running: false,870 session: true,871 up: true872 }873 )874}875876[State 22]877{878 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),879 schedFixed::scheduler::crashes: 2,880 schedFixed::scheduler::entry:881 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],882 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),883 schedFixed::scheduler::mAssigned: Set(),884 schedFixed::scheduler::mBuild: Set(("c1", "w1")),885 schedFixed::scheduler::mDone: Set(),886 schedFixed::scheduler::mExpect: Set(),887 schedFixed::scheduler::mResult: Set(),888 schedFixed::scheduler::mRetry: Set(),889 schedFixed::scheduler::mRevoke: Set(),890 schedFixed::scheduler::mSchedule: Set("c2"),891 schedFixed::scheduler::published: 0,892 schedFixed::scheduler::publishedBy: Set(),893 schedFixed::scheduler::ws:894 Map(895 "w1" ->896 {897 attached: Set(),898 built: false,899 expecting: true,900 running: true,901 session: true,902 up: true903 },904 "w2" ->905 {906 attached: Set(),907 built: false,908 expecting: false,909 running: false,910 session: true,911 up: true912 }913 )914}915916[State 23]917{918 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CQueued),919 schedFixed::scheduler::crashes: 2,920 schedFixed::scheduler::entry:921 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],922 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),923 schedFixed::scheduler::mAssigned: Set(("c2", "w1")),924 schedFixed::scheduler::mBuild: Set(("c1", "w1")),925 schedFixed::scheduler::mDone: Set(),926 schedFixed::scheduler::mExpect: Set(),927 schedFixed::scheduler::mResult: Set(),928 schedFixed::scheduler::mRetry: Set(),929 schedFixed::scheduler::mRevoke: Set(),930 schedFixed::scheduler::mSchedule: Set(),931 schedFixed::scheduler::published: 0,932 schedFixed::scheduler::publishedBy: Set(),933 schedFixed::scheduler::ws:934 Map(935 "w1" ->936 {937 attached: Set(),938 built: false,939 expecting: true,940 running: true,941 session: true,942 up: true943 },944 "w2" ->945 {946 attached: Set(),947 built: false,948 expecting: false,949 running: false,950 session: true,951 up: true952 }953 )954}955956[State 24]957{958 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),959 schedFixed::scheduler::crashes: 2,960 schedFixed::scheduler::entry:961 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],962 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),963 schedFixed::scheduler::mAssigned: Set(),964 schedFixed::scheduler::mBuild: Set(("c1", "w1"), ("c2", "w1")),965 schedFixed::scheduler::mDone: Set(),966 schedFixed::scheduler::mExpect: Set(),967 schedFixed::scheduler::mResult: Set(),968 schedFixed::scheduler::mRetry: Set(),969 schedFixed::scheduler::mRevoke: Set(),970 schedFixed::scheduler::mSchedule: Set(),971 schedFixed::scheduler::published: 0,972 schedFixed::scheduler::publishedBy: Set(),973 schedFixed::scheduler::ws:974 Map(975 "w1" ->976 {977 attached: Set(),978 built: false,979 expecting: true,980 running: true,981 session: true,982 up: true983 },984 "w2" ->985 {986 attached: Set(),987 built: false,988 expecting: false,989 running: false,990 session: true,991 up: true992 }993 )994}995996[State 25]997{998 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),999 schedFixed::scheduler::crashes: 2,1000 schedFixed::scheduler::entry:1001 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1002 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1003 schedFixed::scheduler::mAssigned: Set(),1004 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1005 schedFixed::scheduler::mDone: Set(),1006 schedFixed::scheduler::mExpect: Set(),1007 schedFixed::scheduler::mResult: Set(),1008 schedFixed::scheduler::mRetry: Set(),1009 schedFixed::scheduler::mRevoke: Set(),1010 schedFixed::scheduler::mSchedule: Set(),1011 schedFixed::scheduler::published: 0,1012 schedFixed::scheduler::publishedBy: Set(),1013 schedFixed::scheduler::ws:1014 Map(1015 "w1" ->1016 {1017 attached: Set("c2"),1018 built: false,1019 expecting: true,1020 running: true,1021 session: true,1022 up: true1023 },1024 "w2" ->1025 {1026 attached: Set(),1027 built: false,1028 expecting: false,1029 running: false,1030 session: true,1031 up: true1032 }1033 )1034}10351036[State 26]1037{1038 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1039 schedFixed::scheduler::crashes: 2,1040 schedFixed::scheduler::entry:1041 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1042 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1043 schedFixed::scheduler::mAssigned: Set(),1044 schedFixed::scheduler::mBuild: Set(("c1", "w1")),1045 schedFixed::scheduler::mDone: Set("w1"),1046 schedFixed::scheduler::mExpect: Set(),1047 schedFixed::scheduler::mResult: Set("c2"),1048 schedFixed::scheduler::mRetry: Set(),1049 schedFixed::scheduler::mRevoke: Set(),1050 schedFixed::scheduler::mSchedule: Set(),1051 schedFixed::scheduler::published: 1,1052 schedFixed::scheduler::publishedBy: Set("w1"),1053 schedFixed::scheduler::ws:1054 Map(1055 "w1" ->1056 {1057 attached: Set(),1058 built: true,1059 expecting: false,1060 running: false,1061 session: true,1062 up: true1063 },1064 "w2" ->1065 {1066 attached: Set(),1067 built: false,1068 expecting: false,1069 running: false,1070 session: true,1071 up: true1072 }1073 )1074}10751076[State 27]1077{1078 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CSent("w1")),1079 schedFixed::scheduler::crashes: 2,1080 schedFixed::scheduler::entry:1081 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1082 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1083 schedFixed::scheduler::mAssigned: Set(),1084 schedFixed::scheduler::mBuild: Set(),1085 schedFixed::scheduler::mDone: Set("w1"),1086 schedFixed::scheduler::mExpect: Set(),1087 schedFixed::scheduler::mResult: Set("c1", "c2"),1088 schedFixed::scheduler::mRetry: Set(),1089 schedFixed::scheduler::mRevoke: Set(),1090 schedFixed::scheduler::mSchedule: Set(),1091 schedFixed::scheduler::published: 1,1092 schedFixed::scheduler::publishedBy: Set("w1"),1093 schedFixed::scheduler::ws:1094 Map(1095 "w1" ->1096 {1097 attached: Set(),1098 built: true,1099 expecting: false,1100 running: false,1101 session: true,1102 up: true1103 },1104 "w2" ->1105 {1106 attached: Set(),1107 built: false,1108 expecting: false,1109 running: false,1110 session: true,1111 up: true1112 }1113 )1114}11151116[State 28]1117{1118 schedFixed::scheduler::cl: Map("c1" -> CSent("w1"), "c2" -> CDone),1119 schedFixed::scheduler::crashes: 2,1120 schedFixed::scheduler::entry:1121 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1122 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1123 schedFixed::scheduler::mAssigned: Set(),1124 schedFixed::scheduler::mBuild: Set(),1125 schedFixed::scheduler::mDone: Set("w1"),1126 schedFixed::scheduler::mExpect: Set(),1127 schedFixed::scheduler::mResult: Set("c1"),1128 schedFixed::scheduler::mRetry: Set(),1129 schedFixed::scheduler::mRevoke: Set(),1130 schedFixed::scheduler::mSchedule: Set(),1131 schedFixed::scheduler::published: 1,1132 schedFixed::scheduler::publishedBy: Set("w1"),1133 schedFixed::scheduler::ws:1134 Map(1135 "w1" ->1136 {1137 attached: Set(),1138 built: true,1139 expecting: false,1140 running: false,1141 session: true,1142 up: true1143 },1144 "w2" ->1145 {1146 attached: Set(),1147 built: false,1148 expecting: false,1149 running: false,1150 session: true,1151 up: true1152 }1153 )1154}11551156[State 29]1157{1158 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),1159 schedFixed::scheduler::crashes: 2,1160 schedFixed::scheduler::entry:1161 [{ followers: Set("c1", "c2"), leased: true, worker: "w1" }],1162 schedFixed::scheduler::free: Map("w1" -> 0, "w2" -> 1),1163 schedFixed::scheduler::mAssigned: Set(),1164 schedFixed::scheduler::mBuild: Set(),1165 schedFixed::scheduler::mDone: Set("w1"),1166 schedFixed::scheduler::mExpect: Set(),1167 schedFixed::scheduler::mResult: Set(),1168 schedFixed::scheduler::mRetry: Set(),1169 schedFixed::scheduler::mRevoke: Set(),1170 schedFixed::scheduler::mSchedule: Set(),1171 schedFixed::scheduler::published: 1,1172 schedFixed::scheduler::publishedBy: Set("w1"),1173 schedFixed::scheduler::ws:1174 Map(1175 "w1" ->1176 {1177 attached: Set(),1178 built: true,1179 expecting: false,1180 running: false,1181 session: true,1182 up: true1183 },1184 "w2" ->1185 {1186 attached: Set(),1187 built: false,1188 expecting: false,1189 running: false,1190 session: true,1191 up: true1192 }1193 )1194}11951196[State 30]1197{1198 schedFixed::scheduler::cl: Map("c1" -> CDone, "c2" -> CDone),1199 schedFixed::scheduler::crashes: 2,1200 schedFixed::scheduler::entry: [],1201 schedFixed::scheduler::free: Map("w1" -> 1, "w2" -> 1),1202 schedFixed::scheduler::mAssigned: Set(),1203 schedFixed::scheduler::mBuild: Set(),1204 schedFixed::scheduler::mDone: Set(),1205 schedFixed::scheduler::mExpect: Set(),1206 schedFixed::scheduler::mResult: Set(),1207 schedFixed::scheduler::mRetry: Set(),1208 schedFixed::scheduler::mRevoke: Set(),1209 schedFixed::scheduler::mSchedule: Set(),1210 schedFixed::scheduler::published: 1,1211 schedFixed::scheduler::publishedBy: Set("w1"),1212 schedFixed::scheduler::ws:1213 Map(1214 "w1" ->1215 {1216 attached: Set(),1217 built: true,1218 expecting: false,1219 running: false,1220 session: true,1221 up: true1222 },1223 "w2" ->1224 {1225 attached: Set(),1226 built: false,1227 expecting: false,1228 running: false,1229 session: true,1230 up: true1231 }1232 )1233}12341235[ok] No violation found (5521ms at 5434 traces/second).1236Trace length statistics: max=31, min=15, average=18.831237You may increase --max-samples and --max-steps.1238Use --verbosity to produce more (or less) output.1239Use --seed=0xca5e0c0e779a6b87 --backend=rust to reproduce.1240Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 2% | ETA: 7s | 662/30000 samples | 4566 samples/sRunning... [■ ] 2% | ETA: 7s | 662/30000 samples | 4566 samples/sRunning... [■ ] 3% | ETA: 11s | 1005/30000 samples | 2761 samples/sRunning... [■ ] 3% | ETA: 11s | 1005/30000 samples | 2761 samples/sRunning... [■■ ] 4% | ETA: 13s | 1359/30000 samples | 2343 samples/sRunning... [■■ ] 4% | ETA: 13s | 1359/30000 samples | 2343 samples/sRunning... [■■ ] 4% | ETA: 13s | 1359/30000 samples | 2343 samples/sRunning... [■■ ] 5% | ETA: 14s | 1754/30000 samples | 2113 samples/sRunning... [■■■ ] 6% | ETA: 14s | 1980/30000 samples | 2016 samples/sRunning... [■■■ ] 7% | ETA: 15s | 2201/30000 samples | 1965 samples/sRunning... [■■■ ] 7% | ETA: 15s | 2201/30000 samples | 1965 samples/sRunning... [■■■ ] 8% | ETA: 15s | 2443/30000 samples | 1916 samples/sRunning... [■■■ ] 8% | ETA: 15s | 2443/30000 samples | 1916 samples/sRunning... [■■■■ ] 9% | ETA: 15s | 2761/30000 samples | 1853 samples/sRunning... [■■■■ ] 9% | ETA: 15s | 2761/30000 samples | 1853 samples/sRunning... [■■■■ ] 10% | ETA: 16s | 3049/30000 samples | 1788 samples/sRunning... [■■■■ ] 10% | ETA: 16s | 3049/30000 samples | 1788 samples/sRunning... [■■■■ ] 10% | ETA: 18s | 3257/30000 samples | 1737 samples/sRunning... [■■■■■ ] 11% | ETA: 19s | 3447/30000 samples | 1706 samples/sRunning... [■■■■■ ] 11% | ETA: 19s | 3586/30000 samples | 1684 samples/sRunning... [■■■■■ ] 12% | ETA: 19s | 3739/30000 samples | 1667 samples/sRunning... [■■■■■ ] 12% | ETA: 19s | 3739/30000 samples | 1667 samples/sRunning... [■■■■■ ] 12% | ETA: 19s | 3739/30000 samples | 1667 samples/sRunning... [■■■■■ ] 13% | ETA: 19s | 4007/30000 samples | 1636 samples/sRunning... [■■■■■ ] 13% | ETA: 19s | 4007/30000 samples | 1636 samples/sRunning... [■■■■■■ ] 14% | ETA: 19s | 4337/30000 samples | 1606 samples/sRunning... [■■■■■■ ] 14% | ETA: 19s | 4337/30000 samples | 1606 samples/sRunning... [■■■■■■ ] 15% | ETA: 20s | 4663/30000 samples | 1581 samples/sRunning... [■■■■■■ ] 15% | ETA: 20s | 4663/30000 samples | 1581 samples/sRunning... [■■■■■■ ] 15% | ETA: 20s | 4663/30000 samples | 1581 samples/sRunning... [■■■■■■■ ] 16% | ETA: 20s | 4930/30000 samples | 1541 samples/sRunning... [■■■■■■■ ] 16% | ETA: 20s | 4930/30000 samples | 1541 samples/sRunning... [■■■■■■■ ] 17% | ETA: 21s | 5175/30000 samples | 1503 samples/sRunning... [■■■■■■■ ] 17% | ETA: 21s | 5175/30000 samples | 1503 samples/sRunning... [■■■■■■■ ] 17% | ETA: 21s | 5317/30000 samples | 1479 samples/sRunning... [■■■■■■■ ] 18% | ETA: 21s | 5417/30000 samples | 1466 samples/sRunning... [■■■■■■■ ] 18% | ETA: 21s | 5417/30000 samples | 1466 samples/sRunning... [■■■■■■■ ] 18% | ETA: 22s | 5610/30000 samples | 1441 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 22s | 5732/30000 samples | 1426 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 22s | 5732/30000 samples | 1426 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 23s | 5944/30000 samples | 1401 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 23s | 5944/30000 samples | 1401 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 24s | 6090/30000 samples | 1370 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 24s | 6090/30000 samples | 1370 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 26s | 6210/30000 samples | 1347 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 26s | 6210/30000 samples | 1347 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 28s | 6429/30000 samples | 1314 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 28s | 6429/30000 samples | 1314 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 28s | 6526/30000 samples | 1302 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 28s | 6645/30000 samples | 1289 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 29s | 6751/30000 samples | 1278 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 29s | 6751/30000 samples | 1278 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 29s | 6751/30000 samples | 1278 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 29s | 6961/30000 samples | 1259 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 29s | 7087/30000 samples | 1251 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 28s | 7202/30000 samples | 1246 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 28s | 7260/30000 samples | 1232 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 28s | 7260/30000 samples | 1232 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 29s | 7323/30000 samples | 1217 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 29s | 7323/30000 samples | 1217 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 30s | 7452/30000 samples | 1197 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 30s | 7559/30000 samples | 1183 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 31s | 7647/30000 samples | 1173 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 31s | 7647/30000 samples | 1173 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 31s | 7720/30000 samples | 1165 samples/sRunning... [■■■■■■■■■■ ] 26% | ETA: 33s | 7813/30000 samples | 1154 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 35s | 7885/30000 samples | 1144 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 35s | 7885/30000 samples | 1144 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 35s | 7885/30000 samples | 1144 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 37s | 8019/30000 samples | 1122 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 37s | 8093/30000 samples | 1110 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 36s | 8167/30000 samples | 1102 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 36s | 8167/30000 samples | 1102 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 37s | 8266/30000 samples | 1087 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 37s | 8266/30000 samples | 1087 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 38s | 8368/30000 samples | 1076 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 38s | 8368/30000 samples | 1076 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 39s | 8455/30000 samples | 1063 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 40s | 8517/30000 samples | 1052 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 42s | 8570/30000 samples | 1040 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 42s | 8570/30000 samples | 1040 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 44s | 8622/30000 samples | 1028 samples/sRunning... [■■■■■■■■■■■■ ] 28% | ETA: 45s | 8684/30000 samples | 1017 samples/sRunning... [■■■■■■■■■■■■ ] 28% | ETA: 45s | 8684/30000 samples | 1017 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 46s | 8734/30000 samples | 1007 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 46s | 8734/30000 samples | 1007 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 48s | 8831/30000 samples | 991 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 48s | 8831/30000 samples | 991 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 50s | 8916/30000 samples | 977 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 50s | 8916/30000 samples | 977 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 53s | 8973/30000 samples | 966 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 56s | 9018/30000 samples | 956 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 56s | 9072/30000 samples | 947 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 56s | 9072/30000 samples | 947 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 57s | 9136/30000 samples | 934 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 57s | 9136/30000 samples | 934 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 57s | 9176/30000 samples | 927 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 57s | 9176/30000 samples | 927 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 58s | 9247/30000 samples | 916 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 58s | 9307/30000 samples | 907 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 58s | 9307/30000 samples | 907 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 60s | 9370/30000 samples | 896 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 61s | 9402/30000 samples | 891 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 61s | 9402/30000 samples | 891 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 61s | 9474/30000 samples | 880 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 61s | 9513/30000 samples | 874 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 61s | 9513/30000 samples | 874 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 61s | 9513/30000 samples | 874 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 61s | 9596/30000 samples | 862 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 59s | 9643/30000 samples | 858 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 61s | 9667/30000 samples | 851 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 61s | 9667/30000 samples | 851 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 62s | 9717/30000 samples | 843 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 62s | 9717/30000 samples | 843 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 64s | 9780/30000 samples | 833 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 64s | 9823/30000 samples | 828 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 63s | 9872/30000 samples | 822 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 62s | 9918/30000 samples | 818 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 62s | 9918/30000 samples | 818 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 62s | 9918/30000 samples | 818 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 63s | 9978/30000 samples | 809 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 63s | 10025/30000 samples | 803 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 65s | 10060/30000 samples | 799 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 63s | 10103/30000 samples | 794 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 63s | 10138/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 63s | 10138/30000 samples | 790 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 61s | 10175/30000 samples | 786 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 61s | 10175/30000 samples | 786 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 59s | 10260/30000 samples | 779 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 59s | 10260/30000 samples | 779 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 57s | 10339/30000 samples | 774 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 56s | 10412/30000 samples | 769 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 54s | 10455/30000 samples | 766 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 54s | 10455/30000 samples | 766 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 53s | 10537/30000 samples | 761 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 53s | 10537/30000 samples | 761 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 53s | 10537/30000 samples | 761 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 52s | 10618/30000 samples | 755 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 52s | 10618/30000 samples | 755 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 50s | 10716/30000 samples | 749 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 50s | 10716/30000 samples | 749 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 49s | 10799/30000 samples | 744 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 49s | 10799/30000 samples | 744 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 48s | 10892/30000 samples | 740 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 48s | 10892/30000 samples | 740 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 47s | 10956/30000 samples | 736 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 48s | 10989/30000 samples | 733 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 48s | 11048/30000 samples | 730 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 49s | 11082/30000 samples | 727 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 49s | 11082/30000 samples | 727 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 53s | 11129/30000 samples | 718 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 53s | 11129/30000 samples | 718 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 55s | 11153/30000 samples | 715 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 60s | 11178/30000 samples | 710 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 60s | 11178/30000 samples | 710 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 65s | 11229/30000 samples | 702 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 65s | 11229/30000 samples | 702 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 65s | 11229/30000 samples | 702 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 65s | 11229/30000 samples | 702 samples/sAn example execution:12411242[State 0]1243{1244 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1245 schedNoRevoke::scheduler::crashes: 0,1246 schedNoRevoke::scheduler::entry: [],1247 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1248 schedNoRevoke::scheduler::mAssigned: Set(),1249 schedNoRevoke::scheduler::mBuild: Set(),1250 schedNoRevoke::scheduler::mDone: Set(),1251 schedNoRevoke::scheduler::mExpect: Set(),1252 schedNoRevoke::scheduler::mResult: Set(),1253 schedNoRevoke::scheduler::mRetry: Set(),1254 schedNoRevoke::scheduler::mRevoke: Set(),1255 schedNoRevoke::scheduler::mSchedule: Set(),1256 schedNoRevoke::scheduler::published: 0,1257 schedNoRevoke::scheduler::publishedBy: Set(),1258 schedNoRevoke::scheduler::ws:1259 Map(1260 "w1" ->1261 {1262 attached: Set(),1263 built: false,1264 expecting: false,1265 running: false,1266 session: true,1267 up: true1268 },1269 "w2" ->1270 {1271 attached: Set(),1272 built: false,1273 expecting: false,1274 running: false,1275 session: true,1276 up: true1277 }1278 )1279}12801281[State 1]1282{1283 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1284 schedNoRevoke::scheduler::crashes: 1,1285 schedNoRevoke::scheduler::entry: [],1286 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1287 schedNoRevoke::scheduler::mAssigned: Set(),1288 schedNoRevoke::scheduler::mBuild: Set(),1289 schedNoRevoke::scheduler::mDone: Set(),1290 schedNoRevoke::scheduler::mExpect: Set(),1291 schedNoRevoke::scheduler::mResult: Set(),1292 schedNoRevoke::scheduler::mRetry: Set(),1293 schedNoRevoke::scheduler::mRevoke: Set(),1294 schedNoRevoke::scheduler::mSchedule: Set(),1295 schedNoRevoke::scheduler::published: 0,1296 schedNoRevoke::scheduler::publishedBy: Set(),1297 schedNoRevoke::scheduler::ws:1298 Map(1299 "w1" ->1300 {1301 attached: Set(),1302 built: false,1303 expecting: false,1304 running: false,1305 session: false,1306 up: false1307 },1308 "w2" ->1309 {1310 attached: Set(),1311 built: false,1312 expecting: false,1313 running: false,1314 session: true,1315 up: true1316 }1317 )1318}13191320[State 2]1321{1322 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1323 schedNoRevoke::scheduler::crashes: 1,1324 schedNoRevoke::scheduler::entry: [],1325 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1326 schedNoRevoke::scheduler::mAssigned: Set(),1327 schedNoRevoke::scheduler::mBuild: Set(),1328 schedNoRevoke::scheduler::mDone: Set(),1329 schedNoRevoke::scheduler::mExpect: Set(),1330 schedNoRevoke::scheduler::mResult: Set(),1331 schedNoRevoke::scheduler::mRetry: Set(),1332 schedNoRevoke::scheduler::mRevoke: Set(),1333 schedNoRevoke::scheduler::mSchedule: Set("c2"),1334 schedNoRevoke::scheduler::published: 0,1335 schedNoRevoke::scheduler::publishedBy: Set(),1336 schedNoRevoke::scheduler::ws:1337 Map(1338 "w1" ->1339 {1340 attached: Set(),1341 built: false,1342 expecting: false,1343 running: false,1344 session: false,1345 up: false1346 },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 3]1360{1361 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1362 schedNoRevoke::scheduler::crashes: 1,1363 schedNoRevoke::scheduler::entry:1364 [{ followers: Set("c2"), leased: true, worker: "w2" }],1365 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1366 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w2")),1367 schedNoRevoke::scheduler::mBuild: Set(),1368 schedNoRevoke::scheduler::mDone: Set(),1369 schedNoRevoke::scheduler::mExpect: Set("w2"),1370 schedNoRevoke::scheduler::mResult: Set(),1371 schedNoRevoke::scheduler::mRetry: Set(),1372 schedNoRevoke::scheduler::mRevoke: Set(),1373 schedNoRevoke::scheduler::mSchedule: Set(),1374 schedNoRevoke::scheduler::published: 0,1375 schedNoRevoke::scheduler::publishedBy: Set(),1376 schedNoRevoke::scheduler::ws:1377 Map(1378 "w1" ->1379 {1380 attached: Set(),1381 built: false,1382 expecting: false,1383 running: false,1384 session: false,1385 up: false1386 },1387 "w2" ->1388 {1389 attached: Set(),1390 built: false,1391 expecting: false,1392 running: false,1393 session: true,1394 up: true1395 }1396 )1397}13981399[State 4]1400{1401 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1402 schedNoRevoke::scheduler::crashes: 1,1403 schedNoRevoke::scheduler::entry:1404 [{ followers: Set("c2"), leased: true, worker: "w2" }],1405 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 0),1406 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w2")),1407 schedNoRevoke::scheduler::mBuild: Set(),1408 schedNoRevoke::scheduler::mDone: Set(),1409 schedNoRevoke::scheduler::mExpect: Set(),1410 schedNoRevoke::scheduler::mResult: Set(),1411 schedNoRevoke::scheduler::mRetry: Set(),1412 schedNoRevoke::scheduler::mRevoke: Set(),1413 schedNoRevoke::scheduler::mSchedule: Set(),1414 schedNoRevoke::scheduler::published: 0,1415 schedNoRevoke::scheduler::publishedBy: Set(),1416 schedNoRevoke::scheduler::ws:1417 Map(1418 "w1" ->1419 {1420 attached: Set(),1421 built: false,1422 expecting: false,1423 running: false,1424 session: false,1425 up: false1426 },1427 "w2" ->1428 {1429 attached: Set(),1430 built: false,1431 expecting: true,1432 running: true,1433 session: true,1434 up: true1435 }1436 )1437}14381439[State 5]1440{1441 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1442 schedNoRevoke::scheduler::crashes: 2,1443 schedNoRevoke::scheduler::entry: [],1444 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1445 schedNoRevoke::scheduler::mAssigned: Set(),1446 schedNoRevoke::scheduler::mBuild: Set(),1447 schedNoRevoke::scheduler::mDone: Set(),1448 schedNoRevoke::scheduler::mExpect: Set(),1449 schedNoRevoke::scheduler::mResult: Set(),1450 schedNoRevoke::scheduler::mRetry: Set("c2"),1451 schedNoRevoke::scheduler::mRevoke: Set(),1452 schedNoRevoke::scheduler::mSchedule: Set(),1453 schedNoRevoke::scheduler::published: 0,1454 schedNoRevoke::scheduler::publishedBy: Set(),1455 schedNoRevoke::scheduler::ws:1456 Map(1457 "w1" ->1458 {1459 attached: Set(),1460 built: false,1461 expecting: false,1462 running: false,1463 session: false,1464 up: false1465 },1466 "w2" ->1467 {1468 attached: Set(),1469 built: false,1470 expecting: true,1471 running: true,1472 session: false,1473 up: true1474 }1475 )1476}14771478[State 6]1479{1480 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1481 schedNoRevoke::scheduler::crashes: 2,1482 schedNoRevoke::scheduler::entry: [],1483 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1484 schedNoRevoke::scheduler::mAssigned: Set(),1485 schedNoRevoke::scheduler::mBuild: Set(),1486 schedNoRevoke::scheduler::mDone: Set(),1487 schedNoRevoke::scheduler::mExpect: Set(),1488 schedNoRevoke::scheduler::mResult: Set(),1489 schedNoRevoke::scheduler::mRetry: Set(),1490 schedNoRevoke::scheduler::mRevoke: Set(),1491 schedNoRevoke::scheduler::mSchedule: Set("c2"),1492 schedNoRevoke::scheduler::published: 0,1493 schedNoRevoke::scheduler::publishedBy: Set(),1494 schedNoRevoke::scheduler::ws:1495 Map(1496 "w1" ->1497 {1498 attached: Set(),1499 built: false,1500 expecting: false,1501 running: false,1502 session: false,1503 up: false1504 },1505 "w2" ->1506 {1507 attached: Set(),1508 built: false,1509 expecting: true,1510 running: true,1511 session: false,1512 up: true1513 }1514 )1515}15161517[State 7]1518{1519 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1520 schedNoRevoke::scheduler::crashes: 2,1521 schedNoRevoke::scheduler::entry: [],1522 schedNoRevoke::scheduler::free: Map("w1" -> 1, "w2" -> 1),1523 schedNoRevoke::scheduler::mAssigned: Set(),1524 schedNoRevoke::scheduler::mBuild: Set(),1525 schedNoRevoke::scheduler::mDone: Set(),1526 schedNoRevoke::scheduler::mExpect: Set(),1527 schedNoRevoke::scheduler::mResult: Set(),1528 schedNoRevoke::scheduler::mRetry: Set(),1529 schedNoRevoke::scheduler::mRevoke: Set(),1530 schedNoRevoke::scheduler::mSchedule: Set("c2"),1531 schedNoRevoke::scheduler::published: 0,1532 schedNoRevoke::scheduler::publishedBy: Set(),1533 schedNoRevoke::scheduler::ws:1534 Map(1535 "w1" ->1536 {1537 attached: Set(),1538 built: false,1539 expecting: false,1540 running: false,1541 session: true,1542 up: true1543 },1544 "w2" ->1545 {1546 attached: Set(),1547 built: false,1548 expecting: true,1549 running: true,1550 session: false,1551 up: true1552 }1553 )1554}15551556[State 8]1557{1558 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1559 schedNoRevoke::scheduler::crashes: 2,1560 schedNoRevoke::scheduler::entry:1561 [{ followers: Set("c2"), leased: true, worker: "w1" }],1562 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 1),1563 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w1")),1564 schedNoRevoke::scheduler::mBuild: Set(),1565 schedNoRevoke::scheduler::mDone: Set(),1566 schedNoRevoke::scheduler::mExpect: Set("w1"),1567 schedNoRevoke::scheduler::mResult: Set(),1568 schedNoRevoke::scheduler::mRetry: Set(),1569 schedNoRevoke::scheduler::mRevoke: Set(),1570 schedNoRevoke::scheduler::mSchedule: Set(),1571 schedNoRevoke::scheduler::published: 0,1572 schedNoRevoke::scheduler::publishedBy: Set(),1573 schedNoRevoke::scheduler::ws:1574 Map(1575 "w1" ->1576 {1577 attached: Set(),1578 built: false,1579 expecting: false,1580 running: false,1581 session: true,1582 up: true1583 },1584 "w2" ->1585 {1586 attached: Set(),1587 built: false,1588 expecting: true,1589 running: true,1590 session: false,1591 up: true1592 }1593 )1594}15951596[State 9]1597{1598 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1599 schedNoRevoke::scheduler::crashes: 2,1600 schedNoRevoke::scheduler::entry:1601 [{ followers: Set("c2"), leased: true, worker: "w1" }],1602 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1603 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w1")),1604 schedNoRevoke::scheduler::mBuild: Set(),1605 schedNoRevoke::scheduler::mDone: Set(),1606 schedNoRevoke::scheduler::mExpect: Set("w1"),1607 schedNoRevoke::scheduler::mResult: Set(),1608 schedNoRevoke::scheduler::mRetry: Set(),1609 schedNoRevoke::scheduler::mRevoke: Set(),1610 schedNoRevoke::scheduler::mSchedule: Set(),1611 schedNoRevoke::scheduler::published: 0,1612 schedNoRevoke::scheduler::publishedBy: Set(),1613 schedNoRevoke::scheduler::ws:1614 Map(1615 "w1" ->1616 {1617 attached: Set(),1618 built: false,1619 expecting: false,1620 running: false,1621 session: true,1622 up: true1623 },1624 "w2" ->1625 {1626 attached: Set(),1627 built: false,1628 expecting: true,1629 running: true,1630 session: true,1631 up: true1632 }1633 )1634}16351636[State 10]1637{1638 schedNoRevoke::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1639 schedNoRevoke::scheduler::crashes: 2,1640 schedNoRevoke::scheduler::entry:1641 [{ followers: Set("c2"), leased: true, worker: "w1" }],1642 schedNoRevoke::scheduler::free: Map("w1" -> 0, "w2" -> 0),1643 schedNoRevoke::scheduler::mAssigned: Set(("c2", "w1")),1644 schedNoRevoke::scheduler::mBuild: Set(),1645 schedNoRevoke::scheduler::mDone: Set(),1646 schedNoRevoke::scheduler::mExpect: Set(),1647 schedNoRevoke::scheduler::mResult: Set(),1648 schedNoRevoke::scheduler::mRetry: Set(),1649 schedNoRevoke::scheduler::mRevoke: Set(),1650 schedNoRevoke::scheduler::mSchedule: Set(),1651 schedNoRevoke::scheduler::published: 0,1652 schedNoRevoke::scheduler::publishedBy: Set(),1653 schedNoRevoke::scheduler::ws:1654 Map(1655 "w1" ->1656 {1657 attached: Set(),1658 built: false,1659 expecting: true,1660 running: true,1661 session: true,1662 up: true1663 },1664 "w2" ->1665 {1666 attached: Set(),1667 built: false,1668 expecting: true,1669 running: true,1670 session: true,1671 up: true1672 }1673 )1674}16751676[violation] Found an issue (16303ms at 691 traces/second).1677Use --verbosity=3 to show executions.1678Use --seed=0xd70d8e43df809d02 --backend=rust to reproduce.1679error: Invariant violated1680Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 2% | ETA: 9s | 737/30000 samples | 3595 samples/sRunning... [■ ] 2% | ETA: 9s | 737/30000 samples | 3595 samples/sRunning... [■ ] 3% | ETA: 13s | 1020/30000 samples | 2247 samples/sRunning... [■ ] 3% | ETA: 13s | 1020/30000 samples | 2247 samples/sRunning... [■■ ] 3% | ETA: 16s | 1195/30000 samples | 1850 samples/sRunning... [■■ ] 3% | ETA: 16s | 1195/30000 samples | 1850 samples/sRunning... [■■ ] 4% | ETA: 18s | 1329/30000 samples | 1599 samples/sRunning... [■■ ] 4% | ETA: 20s | 1408/30000 samples | 1481 samples/sRunning... [■■ ] 5% | ETA: 21s | 1503/30000 samples | 1406 samples/sRunning... [■■ ] 5% | ETA: 21s | 1503/30000 samples | 1406 samples/sRunning... [■■ ] 5% | ETA: 23s | 1675/30000 samples | 1272 samples/sRunning... [■■ ] 5% | ETA: 24s | 1735/30000 samples | 1214 samples/sRunning... [■■ ] 5% | ETA: 24s | 1735/30000 samples | 1214 samples/sRunning... [■■ ] 5% | ETA: 24s | 1735/30000 samples | 1214 samples/sRunning... [■■■ ] 6% | ETA: 26s | 1880/30000 samples | 1120 samples/sRunning... [■■■ ] 6% | ETA: 26s | 1880/30000 samples | 1120 samples/sRunning... [■■■ ] 6% | ETA: 38s | 1975/30000 samples | 1069 samples/sRunning... [■■■ ] 6% | ETA: 42s | 2045/30000 samples | 1026 samples/sRunning... [■■■ ] 6% | ETA: 42s | 2045/30000 samples | 1026 samples/sRunning... [■■■ ] 7% | ETA: 48s | 2119/30000 samples | 961 samples/sRunning... [■■■ ] 7% | ETA: 48s | 2119/30000 samples | 961 samples/sRunning... [■■■ ] 7% | ETA: 48s | 2119/30000 samples | 961 samples/sRunning... [■■■ ] 7% | ETA: 52s | 2212/30000 samples | 901 samples/sRunning... [■■■ ] 7% | ETA: 54s | 2264/30000 samples | 871 samples/sRunning... [■■■ ] 7% | ETA: 54s | 2264/30000 samples | 871 samples/sRunning... [■■■ ] 7% | ETA: 58s | 2356/30000 samples | 828 samples/sRunning... [■■■ ] 7% | ETA: 63s | 2399/30000 samples | 812 samples/sRunning... [■■■ ] 7% | ETA: 63s | 2399/30000 samples | 812 samples/sRunning... [■■■ ] 8% | ETA: 65s | 2442/30000 samples | 793 samples/sRunning... [■■■ ] 8% | ETA: 68s | 2501/30000 samples | 779 samples/sRunning... [■■■ ] 8% | ETA: 73s | 2534/30000 samples | 763 samples/sRunning... [■■■ ] 8% | ETA: 75s | 2579/30000 samples | 750 samples/sRunning... [■■■ ] 8% | ETA: 75s | 2579/30000 samples | 750 samples/sRunning... [■■■ ] 8% | ETA: 78s | 2615/30000 samples | 725 samples/sRunning... [■■■■ ] 8% | ETA: 81s | 2637/30000 samples | 711 samples/sRunning... [■■■■ ] 8% | ETA: 85s | 2665/30000 samples | 695 samples/sRunning... [■■■■ ] 8% | ETA: 85s | 2665/30000 samples | 695 samples/sRunning... [■■■■ ] 9% | ETA: 88s | 2736/30000 samples | 674 samples/sRunning... [■■■■ ] 9% | ETA: 88s | 2736/30000 samples | 674 samples/sRunning... [■■■■ ] 9% | ETA: 88s | 2736/30000 samples | 674 samples/sRunning... [■■■■ ] 9% | ETA: 92s | 2800/30000 samples | 651 samples/sRunning... [■■■■ ] 9% | ETA: 92s | 2800/30000 samples | 651 samples/sRunning... [■■■■ ] 9% | ETA: 94s | 2854/30000 samples | 635 samples/sRunning... [■■■■ ] 9% | ETA: 100s | 2886/30000 samples | 623 samples/sRunning... [■■■■ ] 9% | ETA: 100s | 2918/30000 samples | 616 samples/sRunning... [■■■■ ] 9% | ETA: 100s | 2918/30000 samples | 616 samples/sRunning... [■■■■ ] 9% | ETA: 102s | 2986/30000 samples | 601 samples/sRunning... [■■■■ ] 9% | ETA: 102s | 2986/30000 samples | 601 samples/sRunning... [■■■■ ] 9% | ETA: 102s | 2986/30000 samples | 601 samples/sRunning... [■■■■ ] 10% | ETA: 96s | 3066/30000 samples | 588 samples/sRunning... [■■■■ ] 10% | ETA: 96s | 3066/30000 samples | 588 samples/sRunning... [■■■■ ] 10% | ETA: 96s | 3129/30000 samples | 573 samples/sRunning... [■■■■ ] 10% | ETA: 96s | 3129/30000 samples | 573 samples/sRunning... [■■■■ ] 10% | ETA: 94s | 3202/30000 samples | 560 samples/sRunning... [■■■■ ] 10% | ETA: 94s | 3202/30000 samples | 560 samples/sRunning... [■■■■ ] 10% | ETA: 94s | 3202/30000 samples | 560 samples/sRunning... [■■■■ ] 10% | ETA: 93s | 3283/30000 samples | 550 samples/sRunning... [■■■■ ] 10% | ETA: 93s | 3283/30000 samples | 550 samples/sRunning... [■■■■ ] 11% | ETA: 93s | 3349/30000 samples | 539 samples/sRunning... [■■■■ ] 11% | ETA: 93s | 3349/30000 samples | 539 samples/sRunning... [■■■■■ ] 11% | ETA: 90s | 3419/30000 samples | 534 samples/sRunning... [■■■■■ ] 11% | ETA: 90s | 3419/30000 samples | 534 samples/sRunning... [■■■■■ ] 11% | ETA: 90s | 3419/30000 samples | 534 samples/sRunning... [■■■■■ ] 11% | ETA: 90s | 3482/30000 samples | 525 samples/sRunning... [■■■■■ ] 11% | ETA: 88s | 3525/30000 samples | 523 samples/sRunning... [■■■■■ ] 11% | ETA: 89s | 3567/30000 samples | 516 samples/sRunning... [■■■■■ ] 11% | ETA: 89s | 3567/30000 samples | 516 samples/sRunning... [■■■■■ ] 11% | ETA: 89s | 3567/30000 samples | 516 samples/sAn example execution:16811682[State 0]1683{1684 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),1685 schedNoFence::scheduler::crashes: 0,1686 schedNoFence::scheduler::entry: [],1687 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1688 schedNoFence::scheduler::mAssigned: Set(),1689 schedNoFence::scheduler::mBuild: Set(),1690 schedNoFence::scheduler::mDone: Set(),1691 schedNoFence::scheduler::mExpect: Set(),1692 schedNoFence::scheduler::mResult: Set(),1693 schedNoFence::scheduler::mRetry: Set(),1694 schedNoFence::scheduler::mRevoke: Set(),1695 schedNoFence::scheduler::mSchedule: Set(),1696 schedNoFence::scheduler::published: 0,1697 schedNoFence::scheduler::publishedBy: Set(),1698 schedNoFence::scheduler::ws:1699 Map(1700 "w1" ->1701 {1702 attached: Set(),1703 built: false,1704 expecting: false,1705 running: false,1706 session: true,1707 up: true1708 },1709 "w2" ->1710 {1711 attached: Set(),1712 built: false,1713 expecting: false,1714 running: false,1715 session: true,1716 up: true1717 }1718 )1719}17201721[State 1]1722{1723 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1724 schedNoFence::scheduler::crashes: 0,1725 schedNoFence::scheduler::entry: [],1726 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 1),1727 schedNoFence::scheduler::mAssigned: Set(),1728 schedNoFence::scheduler::mBuild: Set(),1729 schedNoFence::scheduler::mDone: Set(),1730 schedNoFence::scheduler::mExpect: Set(),1731 schedNoFence::scheduler::mResult: Set(),1732 schedNoFence::scheduler::mRetry: Set(),1733 schedNoFence::scheduler::mRevoke: Set(),1734 schedNoFence::scheduler::mSchedule: Set("c2"),1735 schedNoFence::scheduler::published: 0,1736 schedNoFence::scheduler::publishedBy: Set(),1737 schedNoFence::scheduler::ws:1738 Map(1739 "w1" ->1740 {1741 attached: Set(),1742 built: false,1743 expecting: false,1744 running: false,1745 session: true,1746 up: true1747 },1748 "w2" ->1749 {1750 attached: Set(),1751 built: false,1752 expecting: false,1753 running: false,1754 session: true,1755 up: true1756 }1757 )1758}17591760[State 2]1761{1762 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),1763 schedNoFence::scheduler::crashes: 0,1764 schedNoFence::scheduler::entry:1765 [{ followers: Set("c2"), leased: true, worker: "w2" }],1766 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1767 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),1768 schedNoFence::scheduler::mBuild: Set(),1769 schedNoFence::scheduler::mDone: Set(),1770 schedNoFence::scheduler::mExpect: Set("w2"),1771 schedNoFence::scheduler::mResult: Set(),1772 schedNoFence::scheduler::mRetry: Set(),1773 schedNoFence::scheduler::mRevoke: Set(),1774 schedNoFence::scheduler::mSchedule: Set(),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: true,1795 up: true1796 }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: "w2" }],1806 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1807 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),1808 schedNoFence::scheduler::mBuild: Set(),1809 schedNoFence::scheduler::mDone: Set(),1810 schedNoFence::scheduler::mExpect: Set("w2"),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: false,1826 up: false1827 },1828 "w2" ->1829 {1830 attached: Set(),1831 built: false,1832 expecting: false,1833 running: false,1834 session: true,1835 up: true1836 }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: "w2" }],1846 schedNoFence::scheduler::free: Map("w1" -> 1, "w2" -> 0),1847 schedNoFence::scheduler::mAssigned: Set(("c2", "w2")),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: false,1864 running: false,1865 session: false,1866 up: false1867 },1868 "w2" ->1869 {1870 attached: Set(),1871 built: false,1872 expecting: true,1873 running: true,1874 session: true,1875 up: true1876 }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: false,1903 running: false,1904 session: false,1905 up: false1906 },1907 "w2" ->1908 {1909 attached: Set(),1910 built: false,1911 expecting: true,1912 running: true,1913 session: false,1914 up: true1915 }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: false,1942 running: false,1943 session: true,1944 up: true1945 },1946 "w2" ->1947 {1948 attached: Set(),1949 built: false,1950 expecting: true,1951 running: true,1952 session: false,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: false,1981 running: false,1982 session: true,1983 up: true1984 },1985 "w2" ->1986 {1987 attached: Set(),1988 built: false,1989 expecting: true,1990 running: true,1991 session: false,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: "w1" }],2003 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2004 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2005 schedNoFence::scheduler::mBuild: Set(),2006 schedNoFence::scheduler::mDone: Set(),2007 schedNoFence::scheduler::mExpect: Set("w1"),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: false,2021 running: false,2022 session: true,2023 up: true2024 },2025 "w2" ->2026 {2027 attached: Set(),2028 built: false,2029 expecting: true,2030 running: true,2031 session: false,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: "w1" }],2043 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2044 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2045 schedNoFence::scheduler::mBuild: Set(),2046 schedNoFence::scheduler::mDone: Set(),2047 schedNoFence::scheduler::mExpect: Set("w1"),2048 schedNoFence::scheduler::mResult: Set(),2049 schedNoFence::scheduler::mRetry: Set(),2050 schedNoFence::scheduler::mRevoke: Set(),2051 schedNoFence::scheduler::mSchedule: Set(),2052 schedNoFence::scheduler::published: 1,2053 schedNoFence::scheduler::publishedBy: Set("w2"),2054 schedNoFence::scheduler::ws:2055 Map(2056 "w1" ->2057 {2058 attached: Set(),2059 built: false,2060 expecting: false,2061 running: false,2062 session: true,2063 up: true2064 },2065 "w2" ->2066 {2067 attached: Set(),2068 built: true,2069 expecting: false,2070 running: false,2071 session: false,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: "w1" }],2083 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2084 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2085 schedNoFence::scheduler::mBuild: Set(),2086 schedNoFence::scheduler::mDone: Set(),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: true,2103 up: true2104 },2105 "w2" ->2106 {2107 attached: Set(),2108 built: true,2109 expecting: false,2110 running: false,2111 session: false,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 [{ followers: Set("c2"), leased: true, worker: "w1" }],2123 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2124 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2125 schedNoFence::scheduler::mBuild: Set(),2126 schedNoFence::scheduler::mDone: Set(),2127 schedNoFence::scheduler::mExpect: Set(),2128 schedNoFence::scheduler::mResult: Set(),2129 schedNoFence::scheduler::mRetry: Set(),2130 schedNoFence::scheduler::mRevoke: Set(),2131 schedNoFence::scheduler::mSchedule: Set(),2132 schedNoFence::scheduler::published: 1,2133 schedNoFence::scheduler::publishedBy: Set("w2"),2134 schedNoFence::scheduler::ws:2135 Map(2136 "w1" ->2137 {2138 attached: Set(),2139 built: false,2140 expecting: true,2141 running: true,2142 session: true,2143 up: true2144 },2145 "w2" ->2146 {2147 attached: Set(),2148 built: true,2149 expecting: false,2150 running: false,2151 session: true,2152 up: true2153 }2154 )2155}21562157[State 12]2158{2159 schedNoFence::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),2160 schedNoFence::scheduler::crashes: 2,2161 schedNoFence::scheduler::entry:2162 [{ followers: Set("c2"), leased: true, worker: "w1" }],2163 schedNoFence::scheduler::free: Map("w1" -> 0, "w2" -> 1),2164 schedNoFence::scheduler::mAssigned: Set(("c2", "w1")),2165 schedNoFence::scheduler::mBuild: Set(),2166 schedNoFence::scheduler::mDone: Set("w1"),2167 schedNoFence::scheduler::mExpect: Set(),2168 schedNoFence::scheduler::mResult: Set(),2169 schedNoFence::scheduler::mRetry: Set(),2170 schedNoFence::scheduler::mRevoke: Set(),2171 schedNoFence::scheduler::mSchedule: Set(),2172 schedNoFence::scheduler::published: 2,2173 schedNoFence::scheduler::publishedBy: Set("w1", "w2"),2174 schedNoFence::scheduler::ws:2175 Map(2176 "w1" ->2177 {2178 attached: Set(),2179 built: true,2180 expecting: false,2181 running: false,2182 session: true,2183 up: true2184 },2185 "w2" ->2186 {2187 attached: Set(),2188 built: true,2189 expecting: false,2190 running: false,2191 session: true,2192 up: true2193 }2194 )2195}21962197[violation] Found an issue (7161ms at 504 traces/second).2198Use --verbosity=3 to show executions.2199Use --seed=0x47310a53125f32e5 --backend=rust to reproduce.2200error: Invariant violated2201Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 1% | ETA: 19s | 360/30000 samples | 1818 samples/sRunning... [■ ] 1% | ETA: 23s | 443/30000 samples | 1393 samples/sRunning... [■ ] 1% | ETA: 23s | 443/30000 samples | 1393 samples/sRunning... [■ ] 1% | ETA: 23s | 443/30000 samples | 1393 samples/sRunning... [■ ] 1% | ETA: 30s | 571/30000 samples | 1055 samples/sRunning... [■ ] 2% | ETA: 35s | 622/30000 samples | 890 samples/sRunning... [■ ] 2% | ETA: 38s | 656/30000 samples | 802 samples/sRunning... [■ ] 2% | ETA: 38s | 656/30000 samples | 802 samples/sRunning... [■ ] 2% | ETA: 43s | 675/30000 samples | 709 samples/sAn example execution:22022203[State 0]2204{2205 schedNoPush::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2206 schedNoPush::scheduler::crashes: 0,2207 schedNoPush::scheduler::entry: [],2208 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2209 schedNoPush::scheduler::mAssigned: Set(),2210 schedNoPush::scheduler::mBuild: Set(),2211 schedNoPush::scheduler::mDone: Set(),2212 schedNoPush::scheduler::mExpect: Set(),2213 schedNoPush::scheduler::mResult: Set(),2214 schedNoPush::scheduler::mRetry: Set(),2215 schedNoPush::scheduler::mRevoke: Set(),2216 schedNoPush::scheduler::mSchedule: Set(),2217 schedNoPush::scheduler::published: 0,2218 schedNoPush::scheduler::publishedBy: Set(),2219 schedNoPush::scheduler::ws:2220 Map(2221 "w1" ->2222 {2223 attached: Set(),2224 built: false,2225 expecting: false,2226 running: false,2227 session: true,2228 up: true2229 },2230 "w2" ->2231 {2232 attached: Set(),2233 built: false,2234 expecting: false,2235 running: false,2236 session: true,2237 up: true2238 }2239 )2240}22412242[State 1]2243{2244 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "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("c1"),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 2]2282{2283 schedNoPush::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2284 schedNoPush::scheduler::crashes: 0,2285 schedNoPush::scheduler::entry:2286 [{ followers: Set("c1"), leased: true, worker: "w2" }],2287 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2288 schedNoPush::scheduler::mAssigned: Set(("c1", "w2")),2289 schedNoPush::scheduler::mBuild: Set(),2290 schedNoPush::scheduler::mDone: Set(),2291 schedNoPush::scheduler::mExpect: Set(),2292 schedNoPush::scheduler::mResult: Set(),2293 schedNoPush::scheduler::mRetry: Set(),2294 schedNoPush::scheduler::mRevoke: Set(),2295 schedNoPush::scheduler::mSchedule: Set(),2296 schedNoPush::scheduler::published: 0,2297 schedNoPush::scheduler::publishedBy: Set(),2298 schedNoPush::scheduler::ws:2299 Map(2300 "w1" ->2301 {2302 attached: Set(),2303 built: false,2304 expecting: false,2305 running: false,2306 session: true,2307 up: true2308 },2309 "w2" ->2310 {2311 attached: Set(),2312 built: false,2313 expecting: false,2314 running: false,2315 session: true,2316 up: true2317 }2318 )2319}23202321[State 3]2322{2323 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2324 schedNoPush::scheduler::crashes: 0,2325 schedNoPush::scheduler::entry:2326 [{ followers: Set("c1"), leased: true, worker: "w2" }],2327 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 0),2328 schedNoPush::scheduler::mAssigned: Set(),2329 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),2330 schedNoPush::scheduler::mDone: Set(),2331 schedNoPush::scheduler::mExpect: Set(),2332 schedNoPush::scheduler::mResult: Set(),2333 schedNoPush::scheduler::mRetry: Set(),2334 schedNoPush::scheduler::mRevoke: Set(),2335 schedNoPush::scheduler::mSchedule: Set(),2336 schedNoPush::scheduler::published: 0,2337 schedNoPush::scheduler::publishedBy: Set(),2338 schedNoPush::scheduler::ws:2339 Map(2340 "w1" ->2341 {2342 attached: Set(),2343 built: false,2344 expecting: false,2345 running: false,2346 session: true,2347 up: true2348 },2349 "w2" ->2350 {2351 attached: Set(),2352 built: false,2353 expecting: false,2354 running: false,2355 session: true,2356 up: true2357 }2358 )2359}23602361[State 4]2362{2363 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2364 schedNoPush::scheduler::crashes: 1,2365 schedNoPush::scheduler::entry: [],2366 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2367 schedNoPush::scheduler::mAssigned: Set(),2368 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),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: false,2386 up: true2387 },2388 "w2" ->2389 {2390 attached: Set(),2391 built: false,2392 expecting: false,2393 running: false,2394 session: false,2395 up: true2396 }2397 )2398}23992400[State 5]2401{2402 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CIdle),2403 schedNoPush::scheduler::crashes: 2,2404 schedNoPush::scheduler::entry: [],2405 schedNoPush::scheduler::free: Map("w1" -> 1, "w2" -> 1),2406 schedNoPush::scheduler::mAssigned: Set(),2407 schedNoPush::scheduler::mBuild: Set(("c1", "w2")),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: false2426 },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 6]2440{2441 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),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", "w2")),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("c2"),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 7]2479{2480 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "c2" -> CQueued),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", "w2")),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("c2"),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 8]2518{2519 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "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", "w2")),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: true,2551 up: true2552 }2553 )2554}25552556[State 9]2557{2558 schedNoPush::scheduler::cl: Map("c1" -> CSent("w2"), "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(),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("c1"),2586 built: false,2587 expecting: true,2588 running: true,2589 session: true,2590 up: true2591 }2592 )2593}25942595[violation] Found an issue (1083ms at 624 traces/second).2596Use --verbosity=3 to show executions.2597Use --seed=0x21ed44803fe6ff25 --backend=rust to reproduce.2598error: Invariant violated2599Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [■ ] 2% | ETA: 14s | 724/30000 samples | 2335 samples/sRunning... [■ ] 3% | ETA: 15s | 904/30000 samples | 2055 samples/sRunning... [■ ] 3% | ETA: 17s | 1083/30000 samples | 1832 samples/sRunning... [■ ] 3% | ETA: 17s | 1083/30000 samples | 1832 samples/sRunning... [■■ ] 4% | ETA: 18s | 1257/30000 samples | 1674 samples/sRunning... [■■ ] 4% | ETA: 18s | 1257/30000 samples | 1674 samples/sRunning... [■■ ] 5% | ETA: 20s | 1506/30000 samples | 1508 samples/sRunning... [■■ ] 5% | ETA: 20s | 1506/30000 samples | 1508 samples/sRunning... [■■ ] 5% | ETA: 21s | 1702/30000 samples | 1420 samples/sRunning... [■■ ] 5% | ETA: 21s | 1702/30000 samples | 1420 samples/sRunning... [■■ ] 6% | ETA: 22s | 1867/30000 samples | 1332 samples/sRunning... [■■ ] 6% | ETA: 22s | 1867/30000 samples | 1332 samples/sRunning... [■■ ] 6% | ETA: 22s | 1867/30000 samples | 1332 samples/sRunning... [■■■ ] 6% | ETA: 24s | 2032/30000 samples | 1231 samples/sRunning... [■■■ ] 6% | ETA: 24s | 2032/30000 samples | 1231 samples/sRunning... [■■■ ] 7% | ETA: 25s | 2189/30000 samples | 1151 samples/sRunning... [■■■ ] 7% | ETA: 32s | 2258/30000 samples | 1115 samples/sRunning... [■■■ ] 7% | ETA: 34s | 2309/30000 samples | 1085 samples/sRunning... [■■■ ] 7% | ETA: 34s | 2309/30000 samples | 1085 samples/sRunning... [■■■ ] 7% | ETA: 36s | 2372/30000 samples | 1058 samples/sRunning... [■■■ ] 8% | ETA: 38s | 2419/30000 samples | 1032 samples/sRunning... [■■■ ] 8% | ETA: 45s | 2459/30000 samples | 973 samples/sRunning... [■■■ ] 8% | ETA: 45s | 2459/30000 samples | 973 samples/sRunning... [■■■ ] 8% | ETA: 52s | 2476/30000 samples | 934 samples/sRunning... [■■■ ] 8% | ETA: 52s | 2476/30000 samples | 934 samples/sRunning... [■■■ ] 8% | ETA: 62s | 2526/30000 samples | 876 samples/sRunning... [■■■ ] 8% | ETA: 62s | 2526/30000 samples | 876 samples/sRunning... [■■■ ] 8% | ETA: 76s | 2570/30000 samples | 821 samples/sRunning... [■■■ ] 8% | ETA: 93s | 2588/30000 samples | 796 samples/sRunning... [■■■ ] 8% | ETA: 93s | 2588/30000 samples | 796 samples/sAn example execution:26002601[State 0]2602{2603 schedNoReport::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),2604 schedNoReport::scheduler::crashes: 0,2605 schedNoReport::scheduler::entry: [],2606 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2607 schedNoReport::scheduler::mAssigned: Set(),2608 schedNoReport::scheduler::mBuild: Set(),2609 schedNoReport::scheduler::mDone: Set(),2610 schedNoReport::scheduler::mExpect: Set(),2611 schedNoReport::scheduler::mResult: Set(),2612 schedNoReport::scheduler::mRetry: Set(),2613 schedNoReport::scheduler::mRevoke: Set(),2614 schedNoReport::scheduler::mSchedule: Set(),2615 schedNoReport::scheduler::published: 0,2616 schedNoReport::scheduler::publishedBy: Set(),2617 schedNoReport::scheduler::ws:2618 Map(2619 "w1" ->2620 {2621 attached: Set(),2622 built: false,2623 expecting: false,2624 running: false,2625 session: true,2626 up: true2627 },2628 "w2" ->2629 {2630 attached: Set(),2631 built: false,2632 expecting: false,2633 running: false,2634 session: true,2635 up: true2636 }2637 )2638}26392640[State 1]2641{2642 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "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("c1"),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 2]2680{2681 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2682 schedNoReport::scheduler::crashes: 0,2683 schedNoReport::scheduler::entry:2684 [{ followers: Set("c1"), leased: true, worker: "w2" }],2685 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2686 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2687 schedNoReport::scheduler::mBuild: Set(),2688 schedNoReport::scheduler::mDone: Set(),2689 schedNoReport::scheduler::mExpect: Set("w2"),2690 schedNoReport::scheduler::mResult: Set(),2691 schedNoReport::scheduler::mRetry: Set(),2692 schedNoReport::scheduler::mRevoke: Set(),2693 schedNoReport::scheduler::mSchedule: Set(),2694 schedNoReport::scheduler::published: 0,2695 schedNoReport::scheduler::publishedBy: Set(),2696 schedNoReport::scheduler::ws:2697 Map(2698 "w1" ->2699 {2700 attached: Set(),2701 built: false,2702 expecting: false,2703 running: false,2704 session: true,2705 up: true2706 },2707 "w2" ->2708 {2709 attached: Set(),2710 built: false,2711 expecting: false,2712 running: false,2713 session: true,2714 up: true2715 }2716 )2717}27182719[State 3]2720{2721 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2722 schedNoReport::scheduler::crashes: 0,2723 schedNoReport::scheduler::entry:2724 [{ followers: Set("c1"), leased: true, worker: "w2" }],2725 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 0),2726 schedNoReport::scheduler::mAssigned: Set(("c1", "w2")),2727 schedNoReport::scheduler::mBuild: Set(),2728 schedNoReport::scheduler::mDone: Set(),2729 schedNoReport::scheduler::mExpect: Set(),2730 schedNoReport::scheduler::mResult: Set(),2731 schedNoReport::scheduler::mRetry: Set(),2732 schedNoReport::scheduler::mRevoke: Set(),2733 schedNoReport::scheduler::mSchedule: Set(),2734 schedNoReport::scheduler::published: 0,2735 schedNoReport::scheduler::publishedBy: Set(),2736 schedNoReport::scheduler::ws:2737 Map(2738 "w1" ->2739 {2740 attached: Set(),2741 built: false,2742 expecting: false,2743 running: false,2744 session: true,2745 up: true2746 },2747 "w2" ->2748 {2749 attached: Set(),2750 built: false,2751 expecting: true,2752 running: true,2753 session: true,2754 up: true2755 }2756 )2757}27582759[State 4]2760{2761 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2762 schedNoReport::scheduler::crashes: 1,2763 schedNoReport::scheduler::entry: [],2764 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2765 schedNoReport::scheduler::mAssigned: Set(),2766 schedNoReport::scheduler::mBuild: Set(),2767 schedNoReport::scheduler::mDone: Set(),2768 schedNoReport::scheduler::mExpect: Set(),2769 schedNoReport::scheduler::mResult: Set(),2770 schedNoReport::scheduler::mRetry: Set("c1"),2771 schedNoReport::scheduler::mRevoke: Set(),2772 schedNoReport::scheduler::mSchedule: Set(),2773 schedNoReport::scheduler::published: 0,2774 schedNoReport::scheduler::publishedBy: Set(),2775 schedNoReport::scheduler::ws:2776 Map(2777 "w1" ->2778 {2779 attached: Set(),2780 built: false,2781 expecting: false,2782 running: false,2783 session: false,2784 up: true2785 },2786 "w2" ->2787 {2788 attached: Set(),2789 built: false,2790 expecting: true,2791 running: true,2792 session: false,2793 up: true2794 }2795 )2796}27972798[State 5]2799{2800 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CIdle),2801 schedNoReport::scheduler::crashes: 2,2802 schedNoReport::scheduler::entry: [],2803 schedNoReport::scheduler::free: Map("w1" -> 1, "w2" -> 1),2804 schedNoReport::scheduler::mAssigned: Set(),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("c1"),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: false,2832 up: true2833 }2834 )2835}28362837[State 6]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: true,2862 up: true2863 },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 7]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: true,2901 up: true2902 },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 8]2916{2917 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2918 schedNoReport::scheduler::crashes: 2,2919 schedNoReport::scheduler::entry:2920 [{ followers: Set("c2"), leased: true, worker: "w1" }],2921 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2922 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),2923 schedNoReport::scheduler::mBuild: Set(),2924 schedNoReport::scheduler::mDone: Set(),2925 schedNoReport::scheduler::mExpect: Set("w1"),2926 schedNoReport::scheduler::mResult: Set(),2927 schedNoReport::scheduler::mRetry: Set("c1"),2928 schedNoReport::scheduler::mRevoke: Set(),2929 schedNoReport::scheduler::mSchedule: Set(),2930 schedNoReport::scheduler::published: 0,2931 schedNoReport::scheduler::publishedBy: Set(),2932 schedNoReport::scheduler::ws:2933 Map(2934 "w1" ->2935 {2936 attached: Set(),2937 built: false,2938 expecting: false,2939 running: false,2940 session: true,2941 up: true2942 },2943 "w2" ->2944 {2945 attached: Set(),2946 built: false,2947 expecting: true,2948 running: true,2949 session: false,2950 up: true2951 }2952 )2953}29542955[State 9]2956{2957 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2958 schedNoReport::scheduler::crashes: 2,2959 schedNoReport::scheduler::entry:2960 [{ followers: Set("c2"), leased: true, worker: "w1" }],2961 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),2962 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),2963 schedNoReport::scheduler::mBuild: Set(),2964 schedNoReport::scheduler::mDone: Set(),2965 schedNoReport::scheduler::mExpect: Set("w1"),2966 schedNoReport::scheduler::mResult: Set(),2967 schedNoReport::scheduler::mRetry: Set("c1"),2968 schedNoReport::scheduler::mRevoke: Set(),2969 schedNoReport::scheduler::mSchedule: Set(),2970 schedNoReport::scheduler::published: 0,2971 schedNoReport::scheduler::publishedBy: Set(),2972 schedNoReport::scheduler::ws:2973 Map(2974 "w1" ->2975 {2976 attached: Set(),2977 built: false,2978 expecting: false,2979 running: false,2980 session: true,2981 up: true2982 },2983 "w2" ->2984 {2985 attached: Set(),2986 built: false,2987 expecting: true,2988 running: true,2989 session: true,2990 up: true2991 }2992 )2993}29942995[State 10]2996{2997 schedNoReport::scheduler::cl: Map("c1" -> CQueued, "c2" -> CQueued),2998 schedNoReport::scheduler::crashes: 2,2999 schedNoReport::scheduler::entry:3000 [{ followers: Set("c2"), leased: true, worker: "w1" }],3001 schedNoReport::scheduler::free: Map("w1" -> 0, "w2" -> 1),3002 schedNoReport::scheduler::mAssigned: Set(("c2", "w1")),3003 schedNoReport::scheduler::mBuild: Set(),3004 schedNoReport::scheduler::mDone: Set(),3005 schedNoReport::scheduler::mExpect: Set(),3006 schedNoReport::scheduler::mResult: Set(),3007 schedNoReport::scheduler::mRetry: Set("c1"),3008 schedNoReport::scheduler::mRevoke: Set(),3009 schedNoReport::scheduler::mSchedule: Set(),3010 schedNoReport::scheduler::published: 0,3011 schedNoReport::scheduler::publishedBy: Set(),3012 schedNoReport::scheduler::ws:3013 Map(3014 "w1" ->3015 {3016 attached: Set(),3017 built: false,3018 expecting: true,3019 running: true,3020 session: true,3021 up: true3022 },3023 "w2" ->3024 {3025 attached: Set(),3026 built: false,3027 expecting: true,3028 running: true,3029 session: true,3030 up: true3031 }3032 )3033}30343035[violation] Found an issue (3395ms at 765 traces/second).3036Use --verbosity=3 to show executions.3037Use --seed=0x7b1f1b039c297751 --backend=rust to reproduce.3038error: Invariant violated3039Running... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/30000 samples | 0 samples/sAn example execution:30403041[State 0]3042{3043 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3044 schedTerminal::scheduler::crashes: 0,3045 schedTerminal::scheduler::entry: [],3046 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3047 schedTerminal::scheduler::mAssigned: Set(),3048 schedTerminal::scheduler::mBuild: Set(),3049 schedTerminal::scheduler::mDone: Set(),3050 schedTerminal::scheduler::mExpect: Set(),3051 schedTerminal::scheduler::mResult: Set(),3052 schedTerminal::scheduler::mRetry: Set(),3053 schedTerminal::scheduler::mRevoke: Set(),3054 schedTerminal::scheduler::mSchedule: Set(),3055 schedTerminal::scheduler::published: 0,3056 schedTerminal::scheduler::publishedBy: Set(),3057 schedTerminal::scheduler::ws:3058 Map(3059 "w1" ->3060 {3061 attached: Set(),3062 built: false,3063 expecting: false,3064 running: false,3065 session: true,3066 up: true3067 },3068 "w2" ->3069 {3070 attached: Set(),3071 built: false,3072 expecting: false,3073 running: false,3074 session: true,3075 up: true3076 }3077 )3078}30793080[State 1]3081{3082 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CIdle),3083 schedTerminal::scheduler::crashes: 1,3084 schedTerminal::scheduler::entry: [],3085 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3086 schedTerminal::scheduler::mAssigned: Set(),3087 schedTerminal::scheduler::mBuild: Set(),3088 schedTerminal::scheduler::mDone: Set(),3089 schedTerminal::scheduler::mExpect: Set(),3090 schedTerminal::scheduler::mResult: Set(),3091 schedTerminal::scheduler::mRetry: Set(),3092 schedTerminal::scheduler::mRevoke: Set(),3093 schedTerminal::scheduler::mSchedule: Set(),3094 schedTerminal::scheduler::published: 0,3095 schedTerminal::scheduler::publishedBy: Set(),3096 schedTerminal::scheduler::ws:3097 Map(3098 "w1" ->3099 {3100 attached: Set(),3101 built: false,3102 expecting: false,3103 running: false,3104 session: false,3105 up: true3106 },3107 "w2" ->3108 {3109 attached: Set(),3110 built: false,3111 expecting: false,3112 running: false,3113 session: false,3114 up: true3115 }3116 )3117}31183119[State 2]3120{3121 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CQueued),3122 schedTerminal::scheduler::crashes: 1,3123 schedTerminal::scheduler::entry: [],3124 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3125 schedTerminal::scheduler::mAssigned: Set(),3126 schedTerminal::scheduler::mBuild: Set(),3127 schedTerminal::scheduler::mDone: Set(),3128 schedTerminal::scheduler::mExpect: Set(),3129 schedTerminal::scheduler::mResult: Set(),3130 schedTerminal::scheduler::mRetry: Set(),3131 schedTerminal::scheduler::mRevoke: Set(),3132 schedTerminal::scheduler::mSchedule: Set("c2"),3133 schedTerminal::scheduler::published: 0,3134 schedTerminal::scheduler::publishedBy: Set(),3135 schedTerminal::scheduler::ws:3136 Map(3137 "w1" ->3138 {3139 attached: Set(),3140 built: false,3141 expecting: false,3142 running: false,3143 session: false,3144 up: true3145 },3146 "w2" ->3147 {3148 attached: Set(),3149 built: false,3150 expecting: false,3151 running: false,3152 session: false,3153 up: true3154 }3155 )3156}31573158[State 3]3159{3160 schedTerminal::scheduler::cl: Map("c1" -> CIdle, "c2" -> CFailed),3161 schedTerminal::scheduler::crashes: 1,3162 schedTerminal::scheduler::entry: [],3163 schedTerminal::scheduler::free: Map("w1" -> 1, "w2" -> 1),3164 schedTerminal::scheduler::mAssigned: Set(),3165 schedTerminal::scheduler::mBuild: Set(),3166 schedTerminal::scheduler::mDone: Set(),3167 schedTerminal::scheduler::mExpect: Set(),3168 schedTerminal::scheduler::mResult: Set(),3169 schedTerminal::scheduler::mRetry: Set(),3170 schedTerminal::scheduler::mRevoke: Set(),3171 schedTerminal::scheduler::mSchedule: Set(),3172 schedTerminal::scheduler::published: 0,3173 schedTerminal::scheduler::publishedBy: Set(),3174 schedTerminal::scheduler::ws:3175 Map(3176 "w1" ->3177 {3178 attached: Set(),3179 built: false,3180 expecting: false,3181 running: false,3182 session: false,3183 up: true3184 },3185 "w2" ->3186 {3187 attached: Set(),3188 built: false,3189 expecting: false,3190 running: false,3191 session: false,3192 up: true3193 }3194 )3195}31963197[violation] Found an issue (224ms at 147 traces/second).3198Use --verbosity=3 to show executions.3199Use --seed=0x721fa629abc342a9 --backend=rust to reproduce.3200error: Invariant violated3201Running... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/20000 samples | 0 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 1s | 7172/20000 samples | 25343 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 1s | 7172/20000 samples | 25343 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 1s | 10178/20000 samples | 21609 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 1s | 12387/20000 samples | 20340 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 1s | 12387/20000 samples | 20340 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 1s | 14338/20000 samples | 18573 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 1s | 14338/20000 samples | 18573 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 17602/20000 samples | 18146 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 17602/20000 samples | 18146 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 19742/20000 samples | 17533 samples/sAn example execution:32023203[State 0]3204{3205 pushFixed::push::byPath: Map(),3206 pushFixed::push::inflight: Set(),3207 pushFixed::push::left: Map(),3208 pushFixed::push::sent: Map()3209}32103211[State 1]3212{3213 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3214 pushFixed::push::inflight: Set((1, "a"), (1, "b")),3215 pushFixed::push::left: Map(1 -> 2),3216 pushFixed::push::sent: Map(1 -> Set("a", "b"))3217}32183219[State 2]3220{3221 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3222 pushFixed::push::inflight: Set((1, "b")),3223 pushFixed::push::left: Map(1 -> 1),3224 pushFixed::push::sent: Map(1 -> Set("a", "b"))3225}32263227[State 3]3228{3229 pushFixed::push::byPath: Map("a" -> 1, "b" -> 1),3230 pushFixed::push::inflight: Set(),3231 pushFixed::push::left: Map(1 -> 0),3232 pushFixed::push::sent: Map(1 -> Set("a", "b"))3233}32343235[State 4]3236{3237 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3238 pushFixed::push::inflight: Set((3, "a"), (3, "b")),3239 pushFixed::push::left: Map(1 -> 0, 3 -> 2),3240 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))3241}32423243[State 5]3244{3245 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3246 pushFixed::push::inflight: Set((3, "a")),3247 pushFixed::push::left: Map(1 -> 0, 3 -> 1),3248 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))3249}32503251[State 6]3252{3253 pushFixed::push::byPath: Map("a" -> 3, "b" -> 3),3254 pushFixed::push::inflight: Set(),3255 pushFixed::push::left: Map(1 -> 0, 3 -> 0),3256 pushFixed::push::sent: Map(1 -> Set("a", "b"), 3 -> Set("a", "b"))3257}32583259[State 7]3260{3261 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3262 pushFixed::push::inflight: Set((2, "a"), (2, "b")),3263 pushFixed::push::left: Map(1 -> 0, 2 -> 2, 3 -> 0),3264 pushFixed::push::sent:3265 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3266}32673268[State 8]3269{3270 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3271 pushFixed::push::inflight: Set((2, "b")),3272 pushFixed::push::left: Map(1 -> 0, 2 -> 1, 3 -> 0),3273 pushFixed::push::sent:3274 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3275}32763277[State 9]3278{3279 pushFixed::push::byPath: Map("a" -> 2, "b" -> 2),3280 pushFixed::push::inflight: Set(),3281 pushFixed::push::left: Map(1 -> 0, 2 -> 0, 3 -> 0),3282 pushFixed::push::sent:3283 Map(1 -> Set("a", "b"), 2 -> Set("a", "b"), 3 -> Set("a", "b"))3284}32853286[ok] No violation found (1223ms at 16353 traces/second).3287Trace length statistics: max=10, min=7, average=8.043288You may increase --max-samples and --max-steps.3289Use --verbosity to produce more (or less) output.3290Use --seed=0x340e7441b57b5fc7 --backend=rust to reproduce.

succeeded nix-grpc-store-spec checks.aarch64-darwin.spec · build #385 · raw

succeeded `nix-grpc-store-spec` `checks.aarch64-darwin.spec` · build #385 · raw