Running... [ ] 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: 8725s | 4/50000 samples | 6 samples/sRunning... [ ] 0% | ETA: 4416s | 9/50000 samples | 11 samples/sRunning... [ ] 0% | ETA: 1601s | 28/50000 samples | 31 samples/sRunning... [ ] 0% | ETA: 607s | 82/50000 samples | 82 samples/sRunning... [ ] 0% | ETA: 617s | 101/50000 samples | 81 samples/sRunning... [ ] 0% | ETA: 617s | 101/50000 samples | 81 samples/sAn example execution: [State 0] { hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()), hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::hLen: 0, hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::have: Set("b"), hubDrop::relay::hubComputing: Set(), hubDrop::relay::hubErr: false, hubDrop::relay::hubFirstNeed: true, hubDrop::relay::hubOutbox: Set(), hubDrop::relay::hubSent: Set("a"), hubDrop::relay::imported: Set(), hubDrop::relay::inline: Set("a"), hubDrop::relay::outstanding: 0, hubDrop::relay::pending: Set(), hubDrop::relay::phase: Init, hubDrop::relay::qHashes: Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()), hubDrop::relay::qLen: 0, hubDrop::relay::recipes: Set(), hubDrop::relay::rounds: 0, hubDrop::relay::store: Set(), hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()), hubDrop::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil), hubDrop::relay::wLen: 0, hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a") } [State 1] { hubDrop::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set()), hubDrop::relay::hHashes: Map(0 -> Set(1, 2), 1 -> Set()), hubDrop::relay::hLen: 1, hubDrop::relay::hPaths: Map(0 -> Set("a", "c"), 1 -> Set()), hubDrop::relay::have: Set("b"), hubDrop::relay::hubComputing: Set(), hubDrop::relay::hubErr: false, hubDrop::relay::hubFirstNeed: true, hubDrop::relay::hubOutbox: Set(), hubDrop::relay::hubSent: Set("a"), hubDrop::relay::imported: Set(), hubDrop::relay::inline: Set("a"), hubDrop::relay::outstanding: 1, hubDrop::relay::pending: Set("a", "c"), hubDrop::relay::phase: Staging, hubDrop::relay::qHashes: Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()), hubDrop::relay::qLen: 0, hubDrop::relay::recipes: Set("a"), hubDrop::relay::rounds: 0, hubDrop::relay::store: Set(), hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()), hubDrop::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil), hubDrop::relay::wLen: 0, hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a") } [State 2] { hubDrop::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set()), hubDrop::relay::hHashes: Map(0 -> Set(1, 2), 1 -> Set()), hubDrop::relay::hLen: 1, hubDrop::relay::hPaths: Map(0 -> Set("a", "c"), 1 -> Set()), hubDrop::relay::have: Set("b"), hubDrop::relay::hubComputing: Set(), hubDrop::relay::hubErr: false, hubDrop::relay::hubFirstNeed: true, hubDrop::relay::hubOutbox: Set(), hubDrop::relay::hubSent: Set("a"), hubDrop::relay::imported: Set(), hubDrop::relay::inline: Set("a"), hubDrop::relay::outstanding: 1, hubDrop::relay::pending: Set("a", "c"), hubDrop::relay::phase: Staging, hubDrop::relay::qHashes: Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()), hubDrop::relay::qLen: 0, hubDrop::relay::recipes: Set("a"), hubDrop::relay::rounds: 0, hubDrop::relay::store: Set(), hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()), hubDrop::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil), hubDrop::relay::wLen: 1, hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a") } [State 3] { hubDrop::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set()), hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::hLen: 0, hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::have: Set("b"), hubDrop::relay::hubComputing: Set("c"), hubDrop::relay::hubErr: false, hubDrop::relay::hubFirstNeed: false, hubDrop::relay::hubOutbox: Set(), hubDrop::relay::hubSent: Set("a"), hubDrop::relay::imported: Set(), hubDrop::relay::inline: Set("a"), hubDrop::relay::outstanding: 1, hubDrop::relay::pending: Set("a", "c"), hubDrop::relay::phase: Staging, hubDrop::relay::qHashes: Map( 0 -> Set(1, 2), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set() ), hubDrop::relay::qLen: 1, hubDrop::relay::recipes: Set("a"), hubDrop::relay::rounds: 0, hubDrop::relay::store: Set(), hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()), hubDrop::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil), hubDrop::relay::wLen: 1, hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a") } [State 4] { hubDrop::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set()), hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::hLen: 0, hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::have: Set("b"), hubDrop::relay::hubComputing: Set(), hubDrop::relay::hubErr: false, hubDrop::relay::hubFirstNeed: false, hubDrop::relay::hubOutbox: Set("c"), hubDrop::relay::hubSent: Set("a"), hubDrop::relay::imported: Set(), hubDrop::relay::inline: Set("a"), hubDrop::relay::outstanding: 1, hubDrop::relay::pending: Set("a", "c"), hubDrop::relay::phase: Staging, hubDrop::relay::qHashes: Map( 0 -> Set(1, 2), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set() ), hubDrop::relay::qLen: 1, hubDrop::relay::recipes: Set("a"), hubDrop::relay::rounds: 0, hubDrop::relay::store: Set(), hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()), hubDrop::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil), hubDrop::relay::wLen: 1, hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a") } [State 5] { hubDrop::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set()), hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::hLen: 0, hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::have: Set("b"), hubDrop::relay::hubComputing: Set(), hubDrop::relay::hubErr: false, hubDrop::relay::hubFirstNeed: false, hubDrop::relay::hubOutbox: Set("c"), hubDrop::relay::hubSent: Set("a"), hubDrop::relay::imported: Set(), hubDrop::relay::inline: Set("a"), hubDrop::relay::outstanding: 1, hubDrop::relay::pending: Set("a", "c"), hubDrop::relay::phase: Staging, hubDrop::relay::qHashes: Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()), hubDrop::relay::qLen: 0, hubDrop::relay::recipes: Set("a"), hubDrop::relay::rounds: 0, hubDrop::relay::store: Set(), hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(1, 2), 2 -> Set()), hubDrop::relay::wKind: Map(0 -> Other, 1 -> Chunks, 2 -> Eof), hubDrop::relay::wLen: 3, hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a") } [State 6] { hubDrop::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set()), hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::hLen: 0, hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::have: Set("b"), hubDrop::relay::hubComputing: Set(), hubDrop::relay::hubErr: false, hubDrop::relay::hubFirstNeed: false, hubDrop::relay::hubOutbox: Set(), hubDrop::relay::hubSent: Set("a", "c"), hubDrop::relay::imported: Set(), hubDrop::relay::inline: Set("a"), hubDrop::relay::outstanding: 1, hubDrop::relay::pending: Set("a", "c"), hubDrop::relay::phase: Staging, hubDrop::relay::qHashes: Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()), hubDrop::relay::qLen: 0, hubDrop::relay::recipes: Set("a"), hubDrop::relay::rounds: 0, hubDrop::relay::store: Set(), hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(1, 2), 2 -> Set()), hubDrop::relay::wKind: Map(0 -> Other, 1 -> Chunks, 2 -> Eof), hubDrop::relay::wLen: 3, hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a") } [State 7] { hubDrop::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set()), hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::hLen: 0, hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::have: Set("b"), hubDrop::relay::hubComputing: Set(), hubDrop::relay::hubErr: false, hubDrop::relay::hubFirstNeed: false, hubDrop::relay::hubOutbox: Set(), hubDrop::relay::hubSent: Set("a", "c"), hubDrop::relay::imported: Set(), hubDrop::relay::inline: Set("a"), hubDrop::relay::outstanding: 1, hubDrop::relay::pending: Set("a", "c"), hubDrop::relay::phase: Staging, hubDrop::relay::qHashes: Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()), hubDrop::relay::qLen: 0, hubDrop::relay::recipes: Set("a"), hubDrop::relay::rounds: 0, hubDrop::relay::store: Set(), hubDrop::relay::wChunks: Map(0 -> Set(1, 2), 1 -> Set(), 2 -> Set()), hubDrop::relay::wKind: Map(0 -> Chunks, 1 -> Eof, 2 -> Nil), hubDrop::relay::wLen: 2, hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a") } [State 8] { hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()), hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::hLen: 0, hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::have: Set("b"), hubDrop::relay::hubComputing: Set(), hubDrop::relay::hubErr: false, hubDrop::relay::hubFirstNeed: false, hubDrop::relay::hubOutbox: Set(), hubDrop::relay::hubSent: Set("a", "c"), hubDrop::relay::imported: Set("a"), hubDrop::relay::inline: Set("a"), hubDrop::relay::outstanding: 1, hubDrop::relay::pending: Set("c"), hubDrop::relay::phase: Staging, hubDrop::relay::qHashes: Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()), hubDrop::relay::qLen: 0, hubDrop::relay::recipes: Set("a"), hubDrop::relay::rounds: 0, hubDrop::relay::store: Set(1, 2), hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()), hubDrop::relay::wKind: Map(0 -> Eof, 1 -> Nil, 2 -> Nil), hubDrop::relay::wLen: 1, hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a") } [State 9] { hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()), hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::hLen: 0, hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()), hubDrop::relay::have: Set("b"), hubDrop::relay::hubComputing: Set(), hubDrop::relay::hubErr: false, hubDrop::relay::hubFirstNeed: false, hubDrop::relay::hubOutbox: Set(), hubDrop::relay::hubSent: Set("a", "c"), hubDrop::relay::imported: Set("a"), hubDrop::relay::inline: Set("a"), hubDrop::relay::outstanding: 0, hubDrop::relay::pending: Set("c"), hubDrop::relay::phase: Staging, hubDrop::relay::qHashes: Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()), hubDrop::relay::qLen: 0, hubDrop::relay::recipes: Set("a"), hubDrop::relay::rounds: 0, hubDrop::relay::store: Set(1, 2), hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()), hubDrop::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil), hubDrop::relay::wLen: 0, hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a") } [violation] Found an issue (1435ms at 79 traces/second). Use --verbosity=3 to show executions. Use --seed=0xba8ba60ed4d8904e --backend=rust to reproduce. error: Invariant violated