spec-refute-hubBlock
checks.x86_64-linux.spec-refute-hubBlock
· build #298
· raw
1Running... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [ ] 0% | ETA: 3691s | 25/50000 samples | 14 samples/sRunning... [ ] 0% | ETA: 2859s | 34/50000 samples | 17 samples/sRunning... [ ] 0% | ETA: 1572s | 65/50000 samples | 32 samples/sRunning... [ ] 0% | ETA: 799s | 134/50000 samples | 62 samples/sRunning... [ ] 0% | ETA: 533s | 210/50000 samples | 93 samples/sRunning... [ ] 0% | ETA: 382s | 306/50000 samples | 130 samples/sRunning... [ ] 0% | ETA: 255s | 476/50000 samples | 194 samples/sRunning... [■ ] 1% | ETA: 191s | 662/50000 samples | 260 samples/sRunning... [■ ] 1% | ETA: 158s | 827/50000 samples | 312 samples/sRunning... [■ ] 2% | ETA: 45s | 1025/50000 samples | 372 samples/sRunning... [■ ] 2% | ETA: 37s | 1241/50000 samples | 435 samples/sRunning... [■ ] 2% | ETA: 32s | 1455/50000 samples | 493 samples/sRunning... [■ ] 3% | ETA: 30s | 1650/50000 samples | 540 samples/sRunning... [■ ] 3% | ETA: 27s | 1839/50000 samples | 583 samples/sRunning... [■■ ] 4% | ETA: 26s | 2028/50000 samples | 622 samples/sRunning... [■■ ] 4% | ETA: 26s | 2199/50000 samples | 655 samples/sRunning... [■■ ] 4% | ETA: 26s | 2349/50000 samples | 679 samples/sRunning... [■■ ] 5% | ETA: 25s | 2755/50000 samples | 752 samples/sRunning... [■■ ] 5% | ETA: 25s | 2981/50000 samples | 791 samples/sRunning... [■■■ ] 6% | ETA: 24s | 3277/50000 samples | 848 samples/sRunning... [■■■ ] 7% | ETA: 23s | 3560/50000 samples | 897 samples/sRunning... [■■■ ] 7% | ETA: 22s | 3825/50000 samples | 940 samples/sRunning... [■■■ ] 8% | ETA: 21s | 4070/50000 samples | 976 samples/sRunning... [■■■ ] 8% | ETA: 20s | 4316/50000 samples | 1011 samples/sRunning... [■■■■ ] 9% | ETA: 19s | 4537/50000 samples | 1038 samples/sRunning... [■■■■ ] 9% | ETA: 19s | 4759/50000 samples | 1064 samples/sRunning... [■■■■ ] 9% | ETA: 19s | 4940/50000 samples | 1080 samples/sRunning... [■■■■ ] 10% | ETA: 19s | 5146/50000 samples | 1100 samples/sRunning... [■■■■ ] 10% | ETA: 20s | 5391/50000 samples | 1126 samples/sRunning... [■■■■ ] 11% | ETA: 20s | 5618/50000 samples | 1149 samples/sRunning... [■■■■■ ] 11% | ETA: 21s | 5801/50000 samples | 1163 samples/sRunning... [■■■■■ ] 12% | ETA: 21s | 6072/50000 samples | 1192 samples/sRunning... [■■■■■ ] 12% | ETA: 21s | 6307/50000 samples | 1214 samples/sRunning... [■■■■■ ] 13% | ETA: 21s | 6535/50000 samples | 1234 samples/sRunning... [■■■■■ ] 13% | ETA: 21s | 6755/50000 samples | 1252 samples/sRunning... [■■■■■■ ] 14% | ETA: 20s | 7027/50000 samples | 1278 samples/sRunning... [■■■■■■ ] 14% | ETA: 19s | 7269/50000 samples | 1298 samples/sRunning... [■■■■■■ ] 14% | ETA: 19s | 7269/50000 samples | 1298 samples/sRunning... [■■■■■■ ] 14% | ETA: 19s | 7480/50000 samples | 1309 samples/sRunning... [■■■■■■ ] 15% | ETA: 19s | 7697/50000 samples | 1323 samples/sRunning... [■■■■■■ ] 15% | ETA: 19s | 7924/50000 samples | 1339 samples/sRunning... [■■■■■■■ ] 16% | ETA: 19s | 8138/50000 samples | 1352 samples/sRunning... [■■■■■■■ ] 16% | ETA: 19s | 8351/50000 samples | 1364 samples/sRunning... [■■■■■■■ ] 17% | ETA: 20s | 8549/50000 samples | 1374 samples/sRunning... [■■■■■■■ ] 17% | ETA: 20s | 8742/50000 samples | 1383 samples/sRunning... [■■■■■■■ ] 17% | ETA: 20s | 8948/50000 samples | 1393 samples/sRunning... [■■■■■■■ ] 18% | ETA: 21s | 9155/50000 samples | 1403 samples/sRunning... [■■■■■■■■ ] 18% | ETA: 20s | 9393/50000 samples | 1415 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 20s | 9603/50000 samples | 1425 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 20s | 9793/50000 samples | 1432 samples/sRunning... [■■■■■■■■ ] 19% | ETA: 21s | 9977/50000 samples | 1436 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 21s | 10140/50000 samples | 1438 samples/sRunning... [■■■■■■■■ ] 20% | ETA: 22s | 10494/50000 samples | 1446 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 22s | 10658/50000 samples | 1448 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 22s | 10818/50000 samples | 1450 samples/sRunning... [■■■■■■■■■ ] 21% | ETA: 23s | 10982/50000 samples | 1453 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 24s | 11137/50000 samples | 1454 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 24s | 11137/50000 samples | 1454 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 25s | 11278/50000 samples | 1453 samples/sRunning... [■■■■■■■■■ ] 22% | ETA: 24s | 11471/50000 samples | 1458 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 23s | 11664/50000 samples | 1464 samples/sRunning... [■■■■■■■■■ ] 23% | ETA: 23s | 11848/50000 samples | 1469 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 23s | 12032/50000 samples | 1473 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 23s | 12213/50000 samples | 1476 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 22s | 12389/50000 samples | 1480 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 22s | 12575/50000 samples | 1484 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 22s | 12728/50000 samples | 1484 samples/sRunning... [■■■■■■■■■■ ] 25% | ETA: 21s | 12923/50000 samples | 1487 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 22s | 13248/50000 samples | 1487 samples/sRunning... [■■■■■■■■■■■ ] 26% | ETA: 23s | 13389/50000 samples | 1488 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 22s | 13591/50000 samples | 1493 samples/sRunning... [■■■■■■■■■■■ ] 27% | ETA: 22s | 13793/50000 samples | 1499 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 21s | 14001/50000 samples | 1505 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 21s | 14185/50000 samples | 1508 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 21s | 14369/50000 samples | 1511 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 21s | 14557/50000 samples | 1514 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 20s | 14736/50000 samples | 1517 samples/sRunning... [■■■■■■■■■■■■ ] 29% | ETA: 19s | 14940/50000 samples | 1522 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 19s | 15107/50000 samples | 1523 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 19s | 15107/50000 samples | 1523 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 20s | 15252/50000 samples | 1521 samples/sRunning... [■■■■■■■■■■■■ ] 30% | ETA: 20s | 15415/50000 samples | 1522 samples/sRunning... [■■■■■■■■■■■■ ] 31% | ETA: 20s | 15604/50000 samples | 1526 samples/sRunning... [■■■■■■■■■■■■■ ] 31% | ETA: 19s | 15841/50000 samples | 1534 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 19s | 16082/50000 samples | 1541 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 18s | 16285/50000 samples | 1546 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 18s | 16473/50000 samples | 1549 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 18s | 16665/50000 samples | 1552 samples/sRunning... [■■■■■■■■■■■■■ ] 33% | ETA: 18s | 16831/50000 samples | 1553 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 18s | 17009/50000 samples | 1555 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 18s | 17429/50000 samples | 1554 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 17s | 17663/50000 samples | 1571 samples/sRunning... [■■■■■■■■■■■■■■ ] 35% | ETA: 17s | 17894/50000 samples | 1577 samples/sRunning... [■■■■■■■■■■■■■■ ] 36% | ETA: 16s | 18121/50000 samples | 1582 samples/sRunning... [■■■■■■■■■■■■■■■ ] 36% | ETA: 16s | 18346/50000 samples | 1588 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 16s | 18552/50000 samples | 1592 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 16s | 18734/50000 samples | 1594 samples/sRunning... [■■■■■■■■■■■■■■■ ] 37% | ETA: 15s | 18956/50000 samples | 1598 samples/sRunning... [■■■■■■■■■■■■■■■ ] 38% | ETA: 15s | 19180/50000 samples | 1604 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 38% | ETA: 14s | 19412/50000 samples | 1609 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 14s | 19663/50000 samples | 1617 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 14s | 19904/50000 samples | 1623 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 14s | 20136/50000 samples | 1629 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 40% | ETA: 14s | 20366/50000 samples | 1634 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 41% | ETA: 14s | 20591/50000 samples | 1638 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 13s | 20792/50000 samples | 1641 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 13s | 20993/50000 samples | 1644 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 14s | 21183/50000 samples | 1646 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 14s | 21391/50000 samples | 1649 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 14s | 21632/50000 samples | 1655 samples/sRunning... [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 14s | 21854/50000 samples | 1659 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 14s | 22062/50000 samples | 1662 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 14s | 22291/50000 samples | 1666 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 13s | 22522/50000 samples | 1671 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 13s | 22740/50000 samples | 1675 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 13s | 22976/50000 samples | 1680 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 13s | 23209/50000 samples | 1684 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 12s | 23436/50000 samples | 1688 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 12s | 23646/50000 samples | 1691 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 12s | 23861/50000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 12s | 24085/50000 samples | 1697 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 12s | 24314/50000 samples | 1701 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 12s | 24522/50000 samples | 1704 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 12s | 24732/50000 samples | 1707 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 12s | 24905/50000 samples | 1707 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 13s | 25097/50000 samples | 1708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 13s | 25278/50000 samples | 1709 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 13s | 25479/50000 samples | 1711 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 13s | 25666/50000 samples | 1712 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 13s | 25792/50000 samples | 1708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 14s | 25916/50000 samples | 1705 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 14s | 26080/50000 samples | 1704 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 14s | 26293/50000 samples | 1707 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 14s | 26474/50000 samples | 1708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 14s | 26659/50000 samples | 1708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 14s | 26827/50000 samples | 1708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 15s | 26976/50000 samples | 1706 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 15s | 27099/50000 samples | 1703 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 15s | 27232/50000 samples | 1700 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 15s | 27362/50000 samples | 1698 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 15s | 27506/50000 samples | 1696 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 16s | 27639/50000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 16s | 27756/50000 samples | 1690 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 17s | 27853/50000 samples | 1686 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 19s | 27922/50000 samples | 1680 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 20s | 27990/50000 samples | 1674 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 21s | 28069/50000 samples | 1669 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 22s | 28139/50000 samples | 1663 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 24s | 28206/50000 samples | 1657 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 26s | 28285/50000 samples | 1652 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 28s | 28360/50000 samples | 1647 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 29s | 28435/50000 samples | 1642 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 32s | 28481/50000 samples | 1635 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 34s | 28507/50000 samples | 1627 samples/sAn example execution:23[State 0]4{5 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),6 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),7 hubBlock::relay::hLen: 0,8 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),9 hubBlock::relay::have: Set(),10 hubBlock::relay::hubComputing: Set(),11 hubBlock::relay::hubErr: false,12 hubBlock::relay::hubFirstNeed: true,13 hubBlock::relay::hubOutbox: Set(),14 hubBlock::relay::hubSent: Set(),15 hubBlock::relay::imported: Set(),16 hubBlock::relay::inline: Set(),17 hubBlock::relay::outstanding: 0,18 hubBlock::relay::pending: Set(),19 hubBlock::relay::phase: Init,20 hubBlock::relay::qHashes:21 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),22 hubBlock::relay::qLen: 0,23 hubBlock::relay::recipes: Set(),24 hubBlock::relay::rounds: 0,25 hubBlock::relay::store: Set(),26 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),27 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),28 hubBlock::relay::wLen: 0,29 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")30}3132[State 1]33{34 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),35 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),36 hubBlock::relay::hLen: 1,37 hubBlock::relay::hPaths: Map(0 -> Set("a", "b", "c"), 1 -> Set()),38 hubBlock::relay::have: Set(),39 hubBlock::relay::hubComputing: Set(),40 hubBlock::relay::hubErr: false,41 hubBlock::relay::hubFirstNeed: true,42 hubBlock::relay::hubOutbox: Set(),43 hubBlock::relay::hubSent: Set(),44 hubBlock::relay::imported: Set(),45 hubBlock::relay::inline: Set(),46 hubBlock::relay::outstanding: 0,47 hubBlock::relay::pending: Set("a", "b", "c"),48 hubBlock::relay::phase: Staging,49 hubBlock::relay::qHashes:50 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),51 hubBlock::relay::qLen: 0,52 hubBlock::relay::recipes: Set(),53 hubBlock::relay::rounds: 0,54 hubBlock::relay::store: Set(),55 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),56 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),57 hubBlock::relay::wLen: 0,58 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")59}6061[State 2]62{63 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),64 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),65 hubBlock::relay::hLen: 0,66 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),67 hubBlock::relay::have: Set(),68 hubBlock::relay::hubComputing: Set("a", "b", "c"),69 hubBlock::relay::hubErr: false,70 hubBlock::relay::hubFirstNeed: false,71 hubBlock::relay::hubOutbox: Set(),72 hubBlock::relay::hubSent: Set(),73 hubBlock::relay::imported: Set(),74 hubBlock::relay::inline: Set(),75 hubBlock::relay::outstanding: 0,76 hubBlock::relay::pending: Set("a", "b", "c"),77 hubBlock::relay::phase: Staging,78 hubBlock::relay::qHashes:79 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),80 hubBlock::relay::qLen: 0,81 hubBlock::relay::recipes: Set(),82 hubBlock::relay::rounds: 0,83 hubBlock::relay::store: Set(),84 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),85 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),86 hubBlock::relay::wLen: 0,87 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")88}8990[State 3]91{92 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),93 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),94 hubBlock::relay::hLen: 0,95 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),96 hubBlock::relay::have: Set(),97 hubBlock::relay::hubComputing: Set("a", "b"),98 hubBlock::relay::hubErr: false,99 hubBlock::relay::hubFirstNeed: false,100 hubBlock::relay::hubOutbox: Set("c"),101 hubBlock::relay::hubSent: Set(),102 hubBlock::relay::imported: Set(),103 hubBlock::relay::inline: Set(),104 hubBlock::relay::outstanding: 0,105 hubBlock::relay::pending: Set("a", "b", "c"),106 hubBlock::relay::phase: Staging,107 hubBlock::relay::qHashes:108 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),109 hubBlock::relay::qLen: 0,110 hubBlock::relay::recipes: Set(),111 hubBlock::relay::rounds: 0,112 hubBlock::relay::store: Set(),113 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),114 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),115 hubBlock::relay::wLen: 0,116 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")117}118119[State 4]120{121 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),122 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),123 hubBlock::relay::hLen: 0,124 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),125 hubBlock::relay::have: Set(),126 hubBlock::relay::hubComputing: Set("a", "b"),127 hubBlock::relay::hubErr: false,128 hubBlock::relay::hubFirstNeed: false,129 hubBlock::relay::hubOutbox: Set("c"),130 hubBlock::relay::hubSent: Set(),131 hubBlock::relay::imported: Set(),132 hubBlock::relay::inline: Set(),133 hubBlock::relay::outstanding: 0,134 hubBlock::relay::pending: Set("a", "b", "c"),135 hubBlock::relay::phase: Staging,136 hubBlock::relay::qHashes:137 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),138 hubBlock::relay::qLen: 0,139 hubBlock::relay::recipes: Set(),140 hubBlock::relay::rounds: 0,141 hubBlock::relay::store: Set(),142 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),143 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),144 hubBlock::relay::wLen: 1,145 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")146}147148[State 5]149{150 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),151 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),152 hubBlock::relay::hLen: 0,153 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),154 hubBlock::relay::have: Set(),155 hubBlock::relay::hubComputing: Set("a", "b"),156 hubBlock::relay::hubErr: false,157 hubBlock::relay::hubFirstNeed: false,158 hubBlock::relay::hubOutbox: Set(),159 hubBlock::relay::hubSent: Set("c"),160 hubBlock::relay::imported: Set(),161 hubBlock::relay::inline: Set(),162 hubBlock::relay::outstanding: 0,163 hubBlock::relay::pending: Set("a", "b", "c"),164 hubBlock::relay::phase: Staging,165 hubBlock::relay::qHashes:166 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),167 hubBlock::relay::qLen: 0,168 hubBlock::relay::recipes: Set(),169 hubBlock::relay::rounds: 0,170 hubBlock::relay::store: Set(),171 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),172 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Man, 2 -> Nil),173 hubBlock::relay::wLen: 2,174 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "c", 2 -> "a")175}176177[State 6]178{179 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),180 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),181 hubBlock::relay::hLen: 0,182 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),183 hubBlock::relay::have: Set(),184 hubBlock::relay::hubComputing: Set("a", "b"),185 hubBlock::relay::hubErr: false,186 hubBlock::relay::hubFirstNeed: false,187 hubBlock::relay::hubOutbox: Set(),188 hubBlock::relay::hubSent: Set("c"),189 hubBlock::relay::imported: Set(),190 hubBlock::relay::inline: Set(),191 hubBlock::relay::outstanding: 0,192 hubBlock::relay::pending: Set("a", "b", "c"),193 hubBlock::relay::phase: Staging,194 hubBlock::relay::qHashes:195 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),196 hubBlock::relay::qLen: 0,197 hubBlock::relay::recipes: Set(),198 hubBlock::relay::rounds: 0,199 hubBlock::relay::store: Set(),200 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),201 hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),202 hubBlock::relay::wLen: 1,203 hubBlock::relay::wPath: Map(0 -> "c", 1 -> "a", 2 -> "a")204}205206[State 7]207{208 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),209 hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),210 hubBlock::relay::hLen: 0,211 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),212 hubBlock::relay::have: Set(),213 hubBlock::relay::hubComputing: Set("b"),214 hubBlock::relay::hubErr: false,215 hubBlock::relay::hubFirstNeed: false,216 hubBlock::relay::hubOutbox: Set("a"),217 hubBlock::relay::hubSent: Set("c"),218 hubBlock::relay::imported: Set(),219 hubBlock::relay::inline: Set(),220 hubBlock::relay::outstanding: 0,221 hubBlock::relay::pending: Set("a", "b", "c"),222 hubBlock::relay::phase: Staging,223 hubBlock::relay::qHashes:224 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),225 hubBlock::relay::qLen: 0,226 hubBlock::relay::recipes: Set(),227 hubBlock::relay::rounds: 0,228 hubBlock::relay::store: Set(),229 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),230 hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),231 hubBlock::relay::wLen: 1,232 hubBlock::relay::wPath: Map(0 -> "c", 1 -> "a", 2 -> "a")233}234235[State 8]236{237 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),238 hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set()),239 hubBlock::relay::hLen: 1,240 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),241 hubBlock::relay::have: Set(),242 hubBlock::relay::hubComputing: Set("b"),243 hubBlock::relay::hubErr: false,244 hubBlock::relay::hubFirstNeed: false,245 hubBlock::relay::hubOutbox: Set("a"),246 hubBlock::relay::hubSent: Set("c"),247 hubBlock::relay::imported: Set(),248 hubBlock::relay::inline: Set(),249 hubBlock::relay::outstanding: 1,250 hubBlock::relay::pending: Set("a", "b", "c"),251 hubBlock::relay::phase: Staging,252 hubBlock::relay::qHashes:253 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),254 hubBlock::relay::qLen: 0,255 hubBlock::relay::recipes: Set("c"),256 hubBlock::relay::rounds: 0,257 hubBlock::relay::store: Set(),258 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),259 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),260 hubBlock::relay::wLen: 0,261 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")262}263264[State 9]265{266 hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),267 hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set()),268 hubBlock::relay::hLen: 1,269 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),270 hubBlock::relay::have: Set(),271 hubBlock::relay::hubComputing: Set("b"),272 hubBlock::relay::hubErr: false,273 hubBlock::relay::hubFirstNeed: false,274 hubBlock::relay::hubOutbox: Set(),275 hubBlock::relay::hubSent: Set("a", "c"),276 hubBlock::relay::imported: Set(),277 hubBlock::relay::inline: Set(),278 hubBlock::relay::outstanding: 1,279 hubBlock::relay::pending: Set("a", "b", "c"),280 hubBlock::relay::phase: Staging,281 hubBlock::relay::qHashes:282 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),283 hubBlock::relay::qLen: 0,284 hubBlock::relay::recipes: Set("c"),285 hubBlock::relay::rounds: 0,286 hubBlock::relay::store: Set(),287 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),288 hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),289 hubBlock::relay::wLen: 1,290 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")291}292293[State 10]294{295 hubBlock::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set("c")),296 hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set(1, 2)),297 hubBlock::relay::hLen: 2,298 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),299 hubBlock::relay::have: Set(),300 hubBlock::relay::hubComputing: Set("b"),301 hubBlock::relay::hubErr: false,302 hubBlock::relay::hubFirstNeed: false,303 hubBlock::relay::hubOutbox: Set(),304 hubBlock::relay::hubSent: Set("a", "c"),305 hubBlock::relay::imported: Set(),306 hubBlock::relay::inline: Set(),307 hubBlock::relay::outstanding: 2,308 hubBlock::relay::pending: Set("a", "b", "c"),309 hubBlock::relay::phase: Staging,310 hubBlock::relay::qHashes:311 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),312 hubBlock::relay::qLen: 0,313 hubBlock::relay::recipes: Set("a", "c"),314 hubBlock::relay::rounds: 0,315 hubBlock::relay::store: Set(),316 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),317 hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),318 hubBlock::relay::wLen: 0,319 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")320}321322[State 11]323{324 hubBlock::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set("c")),325 hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set(1, 2)),326 hubBlock::relay::hLen: 2,327 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),328 hubBlock::relay::have: Set(),329 hubBlock::relay::hubComputing: Set("b"),330 hubBlock::relay::hubErr: false,331 hubBlock::relay::hubFirstNeed: false,332 hubBlock::relay::hubOutbox: Set(),333 hubBlock::relay::hubSent: Set("a", "c"),334 hubBlock::relay::imported: Set(),335 hubBlock::relay::inline: Set(),336 hubBlock::relay::outstanding: 2,337 hubBlock::relay::pending: Set("a", "b", "c"),338 hubBlock::relay::phase: Staging,339 hubBlock::relay::qHashes:340 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),341 hubBlock::relay::qLen: 0,342 hubBlock::relay::recipes: Set("a", "c"),343 hubBlock::relay::rounds: 0,344 hubBlock::relay::store: Set(),345 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),346 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),347 hubBlock::relay::wLen: 1,348 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")349}350351[State 12]352{353 hubBlock::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set("c")),354 hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set(1, 2)),355 hubBlock::relay::hLen: 2,356 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),357 hubBlock::relay::have: Set(),358 hubBlock::relay::hubComputing: Set("b"),359 hubBlock::relay::hubErr: false,360 hubBlock::relay::hubFirstNeed: false,361 hubBlock::relay::hubOutbox: Set(),362 hubBlock::relay::hubSent: Set("a", "c"),363 hubBlock::relay::imported: Set(),364 hubBlock::relay::inline: Set(),365 hubBlock::relay::outstanding: 2,366 hubBlock::relay::pending: Set("a", "b", "c"),367 hubBlock::relay::phase: Staging,368 hubBlock::relay::qHashes:369 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),370 hubBlock::relay::qLen: 0,371 hubBlock::relay::recipes: Set("a", "c"),372 hubBlock::relay::rounds: 0,373 hubBlock::relay::store: Set(),374 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),375 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Other, 2 -> Nil),376 hubBlock::relay::wLen: 2,377 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")378}379380[State 13]381{382 hubBlock::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set("c")),383 hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set(1, 2)),384 hubBlock::relay::hLen: 2,385 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),386 hubBlock::relay::have: Set(),387 hubBlock::relay::hubComputing: Set(),388 hubBlock::relay::hubErr: false,389 hubBlock::relay::hubFirstNeed: false,390 hubBlock::relay::hubOutbox: Set("b"),391 hubBlock::relay::hubSent: Set("a", "c"),392 hubBlock::relay::imported: Set(),393 hubBlock::relay::inline: Set(),394 hubBlock::relay::outstanding: 2,395 hubBlock::relay::pending: Set("a", "b", "c"),396 hubBlock::relay::phase: Staging,397 hubBlock::relay::qHashes:398 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),399 hubBlock::relay::qLen: 0,400 hubBlock::relay::recipes: Set("a", "c"),401 hubBlock::relay::rounds: 0,402 hubBlock::relay::store: Set(),403 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),404 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Other, 2 -> Nil),405 hubBlock::relay::wLen: 2,406 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")407}408409[State 14]410{411 hubBlock::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set("c")),412 hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set(1, 2)),413 hubBlock::relay::hLen: 2,414 hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),415 hubBlock::relay::have: Set(),416 hubBlock::relay::hubComputing: Set(),417 hubBlock::relay::hubErr: false,418 hubBlock::relay::hubFirstNeed: false,419 hubBlock::relay::hubOutbox: Set("b"),420 hubBlock::relay::hubSent: Set("a", "c"),421 hubBlock::relay::imported: Set(),422 hubBlock::relay::inline: Set(),423 hubBlock::relay::outstanding: 2,424 hubBlock::relay::pending: Set("a", "b", "c"),425 hubBlock::relay::phase: Staging,426 hubBlock::relay::qHashes:427 Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),428 hubBlock::relay::qLen: 0,429 hubBlock::relay::recipes: Set("a", "c"),430 hubBlock::relay::rounds: 0,431 hubBlock::relay::store: Set(),432 hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),433 hubBlock::relay::wKind: Map(0 -> Other, 1 -> Other, 2 -> Other),434 hubBlock::relay::wLen: 3,435 hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")436}437438[violation] Found an issue (17776ms at 1604 traces/second).439Use --verbosity=3 to show executions.440Use --seed=0xb659c0a826d77e8e --backend=rust to reproduce.441error: Invariant violated