this derivation will be built:
  /nix/store/qa7b7a8c105ih1ibifi5qh9hcls826rm-spec-refute-hubDrop.drv
these 3 paths will be fetched (568.0 MiB download, 852.7 MiB unpacked):
  /nix/store/ij5q131fzyqw8wh76y9nrj5jl45zviqw-openjdk-21.0.12+8
  /nix/store/s90yin0j1q75gr8iyr11qxqzbjdssv25-quint-0.32.0
  /nix/store/mx71fx62163cbid5nc6k7vvcmpg8r609-quint-cli-0.32.0
building '/nix/store/qa7b7a8c105ih1ibifi5qh9hcls826rm-spec-refute-hubDrop.drv'
spec-refute-hubDrop> 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: 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: 6417s | 11/50000 samples | 8 samples/sRunning... [                                        ] 0% | ETA: 2692s | 28/50000 samples | 19 samples/sRunning... [                                        ] 0% | ETA: 1890s | 43/50000 samples | 27 samples/sRunning... [                                        ] 0% | ETA: 1365s | 63/50000 samples | 37 samples/sRunning... [                                        ] 0% | ETA: 1197s | 76/50000 samples | 42 samples/sRunning... [                                        ] 0% | ETA: 820s | 117/50000 samples | 61 samples/sRunning... [                                        ] 0% | ETA: 712s | 142/50000 samples | 70 samples/sRunning... [                                        ] 0% | ETA: 693s | 153/50000 samples | 72 samples/sRunning... [                                        ] 0% | ETA: 694s | 160/50000 samples | 72 samples/sRunning... [                                        ] 0% | ETA: 303s | 162/50000 samples | 70 samples/sRunning... [                                        ] 0% | ETA: 337s | 165/50000 samples | 68 samples/sAn example execution:
spec-refute-hubDrop> 
spec-refute-hubDrop> [State 0]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 0,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::hubComputing: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubErr: false,
spec-refute-hubDrop>   hubDrop::relay::hubFirstNeed: true,
spec-refute-hubDrop>   hubDrop::relay::hubOutbox: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 0,
spec-refute-hubDrop>   hubDrop::relay::pending: Set(),
spec-refute-hubDrop>   hubDrop::relay::phase: Init,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::qLen: 0,
spec-refute-hubDrop>   hubDrop::relay::recipes: Set(),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
spec-refute-hubDrop>   hubDrop::relay::wLen: 0,
spec-refute-hubDrop>   hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
spec-refute-hubDrop> }
spec-refute-hubDrop> 
spec-refute-hubDrop> [State 1]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(3), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 1,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set("a", "c"), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::hubComputing: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubErr: false,
spec-refute-hubDrop>   hubDrop::relay::hubFirstNeed: true,
spec-refute-hubDrop>   hubDrop::relay::hubOutbox: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "c"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::qLen: 0,
spec-refute-hubDrop>   hubDrop::relay::recipes: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
spec-refute-hubDrop>   hubDrop::relay::wLen: 0,
spec-refute-hubDrop>   hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
spec-refute-hubDrop> }
spec-refute-hubDrop> 
spec-refute-hubDrop> [State 2]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(3), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 1,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set("a", "c"), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::hubComputing: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubErr: false,
spec-refute-hubDrop>   hubDrop::relay::hubFirstNeed: true,
spec-refute-hubDrop>   hubDrop::relay::hubOutbox: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "c"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::qLen: 0,
spec-refute-hubDrop>   hubDrop::relay::recipes: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),
spec-refute-hubDrop>   hubDrop::relay::wLen: 1,
spec-refute-hubDrop>   hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
spec-refute-hubDrop> }
spec-refute-hubDrop> 
spec-refute-hubDrop> [State 3]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 0,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::hubComputing: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::hubErr: false,
spec-refute-hubDrop>   hubDrop::relay::hubFirstNeed: false,
spec-refute-hubDrop>   hubDrop::relay::hubOutbox: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "c"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(
spec-refute-hubDrop>       0 -> Set(3),
spec-refute-hubDrop>       1 -> Set(),
spec-refute-hubDrop>       2 -> Set(),
spec-refute-hubDrop>       3 -> Set(),
spec-refute-hubDrop>       4 -> Set(),
spec-refute-hubDrop>       5 -> Set()
spec-refute-hubDrop>     ),
spec-refute-hubDrop>   hubDrop::relay::qLen: 1,
spec-refute-hubDrop>   hubDrop::relay::recipes: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),
spec-refute-hubDrop>   hubDrop::relay::wLen: 1,
spec-refute-hubDrop>   hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
spec-refute-hubDrop> }
spec-refute-hubDrop> 
spec-refute-hubDrop> [State 4]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 0,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::hubComputing: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubErr: false,
spec-refute-hubDrop>   hubDrop::relay::hubFirstNeed: false,
spec-refute-hubDrop>   hubDrop::relay::hubOutbox: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "c"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(
spec-refute-hubDrop>       0 -> Set(3),
spec-refute-hubDrop>       1 -> Set(),
spec-refute-hubDrop>       2 -> Set(),
spec-refute-hubDrop>       3 -> Set(),
spec-refute-hubDrop>       4 -> Set(),
spec-refute-hubDrop>       5 -> Set()
spec-refute-hubDrop>     ),
spec-refute-hubDrop>   hubDrop::relay::qLen: 1,
spec-refute-hubDrop>   hubDrop::relay::recipes: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),
spec-refute-hubDrop>   hubDrop::relay::wLen: 1,
spec-refute-hubDrop>   hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
spec-refute-hubDrop> }
spec-refute-hubDrop> 
spec-refute-hubDrop> [State 5]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 0,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::hubComputing: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubErr: false,
spec-refute-hubDrop>   hubDrop::relay::hubFirstNeed: false,
spec-refute-hubDrop>   hubDrop::relay::hubOutbox: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "c"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::qLen: 0,
spec-refute-hubDrop>   hubDrop::relay::recipes: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(3), 2 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::wKind: Map(0 -> Other, 1 -> Chunks, 2 -> Eof),
spec-refute-hubDrop>   hubDrop::relay::wLen: 3,
spec-refute-hubDrop>   hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
spec-refute-hubDrop> }
spec-refute-hubDrop> 
spec-refute-hubDrop> [State 6]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 0,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::hubComputing: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubErr: false,
spec-refute-hubDrop>   hubDrop::relay::hubFirstNeed: false,
spec-refute-hubDrop>   hubDrop::relay::hubOutbox: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("a", "b", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "c"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::qLen: 0,
spec-refute-hubDrop>   hubDrop::relay::recipes: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(3), 2 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::wKind: Map(0 -> Other, 1 -> Chunks, 2 -> Eof),
spec-refute-hubDrop>   hubDrop::relay::wLen: 3,
spec-refute-hubDrop>   hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
spec-refute-hubDrop> }
spec-refute-hubDrop> 
spec-refute-hubDrop> [State 7]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 0,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::hubComputing: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubErr: false,
spec-refute-hubDrop>   hubDrop::relay::hubFirstNeed: false,
spec-refute-hubDrop>   hubDrop::relay::hubOutbox: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("a", "b", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "c"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::qLen: 0,
spec-refute-hubDrop>   hubDrop::relay::recipes: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(3), 1 -> Set(), 2 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::wKind: Map(0 -> Chunks, 1 -> Eof, 2 -> Nil),
spec-refute-hubDrop>   hubDrop::relay::wLen: 2,
spec-refute-hubDrop>   hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
spec-refute-hubDrop> }
spec-refute-hubDrop> 
spec-refute-hubDrop> [State 8]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 0,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::hubComputing: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubErr: false,
spec-refute-hubDrop>   hubDrop::relay::hubFirstNeed: false,
spec-refute-hubDrop>   hubDrop::relay::hubOutbox: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("a", "b", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::qLen: 0,
spec-refute-hubDrop>   hubDrop::relay::recipes: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(3),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::wKind: Map(0 -> Eof, 1 -> Nil, 2 -> Nil),
spec-refute-hubDrop>   hubDrop::relay::wLen: 1,
spec-refute-hubDrop>   hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
spec-refute-hubDrop> }
spec-refute-hubDrop> 
spec-refute-hubDrop> [State 9]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 0,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::hubComputing: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubErr: false,
spec-refute-hubDrop>   hubDrop::relay::hubFirstNeed: false,
spec-refute-hubDrop>   hubDrop::relay::hubOutbox: Set(),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("a", "b", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b", "c"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 0,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::qLen: 0,
spec-refute-hubDrop>   hubDrop::relay::recipes: Set("c"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(3),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
spec-refute-hubDrop>   hubDrop::relay::wLen: 0,
spec-refute-hubDrop>   hubDrop::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
spec-refute-hubDrop> }
spec-refute-hubDrop> 
spec-refute-hubDrop> [violation] Found an issue (2581ms at 64 traces/second).
spec-refute-hubDrop> Use --verbosity=3 to show executions.
spec-refute-hubDrop> Use --seed=0xe7b193ae3b3c5b4e --backend=rust to reproduce.
spec-refute-hubDrop> error: Invariant violated

post-build step Upload coverage to codecov: ok
Skipping codecov: project=Mic92/tribuchet attr=checks.x86_64-linux.spec-refute-hubDrop