this derivation will be built:
  /nix/store/qa7b7a8c105ih1ibifi5qh9hcls826rm-spec-refute-hubDrop.drv
these 4 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
  /nix/store/ma9wr3rh0rr0plzz5dmh87dxk734n7hk-set-java-classpath-hook
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: 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:
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("a"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("a"),
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("a"), 2 -> Set("a"), 3 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(1, 2), 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("a"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("a"),
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("a"),
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("a"), 2 -> Set("a"), 3 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(1, 2), 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("a"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("a"),
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("a"),
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("a"), 2 -> Set("a"), 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("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("a"),
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(1, 2),
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("a"),
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("a"), 2 -> Set("a"), 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("c"),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("a"),
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(1, 2),
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("a"),
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("a"), 2 -> Set("a"), 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("c"),
spec-refute-hubDrop>   hubDrop::relay::hubSent: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("a"),
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("a"),
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(1, 2), 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("a"), 2 -> Set("a"), 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", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("a"),
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("a"),
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(1, 2), 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("a"), 2 -> Set("a"), 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", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("a"),
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("a"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(1, 2), 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", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("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("a"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(1, 2),
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", "c"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("a"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 0,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("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("a"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(1, 2),
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 (1435ms at 79 traces/second).
spec-refute-hubDrop> Use --verbosity=3 to show executions.
spec-refute-hubDrop> Use --seed=0xba8ba60ed4d8904e --backend=rust to reproduce.
spec-refute-hubDrop> error: Invariant violated
warning: SQLite database '/nix/var/nix/db/db.sqlite' is busy

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