this derivation will be built:
  /nix/store/w68aaj3j71hm7cpp7sgb187ckhb9lkpn-spec-refute-hubDrop.drv
building '/nix/store/w68aaj3j71hm7cpp7sgb187ckhb9lkpn-spec-refute-hubDrop.drv'
spec-refute-hubDrop> tribuchet: building on jamie
spec-refute-hubDrop> An 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("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b"),
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("b"), 3 -> Set("b")),
spec-refute-hubDrop>   hubDrop::relay::hHashes: Map(0 -> Set(2, 3), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::hLen: 1,
spec-refute-hubDrop>   hubDrop::relay::hPaths: Map(0 -> Set("a", "b"), 1 -> Set()),
spec-refute-hubDrop>   hubDrop::relay::have: Set("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "b"),
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("b"),
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("b"), 3 -> Set("b")),
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("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "b"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(
spec-refute-hubDrop>       0 -> Set(2, 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("b"),
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 3]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set("b"), 3 -> Set("b")),
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("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "b"),
spec-refute-hubDrop>   hubDrop::relay::phase: Staging,
spec-refute-hubDrop>   hubDrop::relay::qHashes:
spec-refute-hubDrop>     Map(
spec-refute-hubDrop>       0 -> Set(2, 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("b"),
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("b"), 3 -> Set("b")),
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("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "b"),
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("b"),
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, 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 5]
spec-refute-hubDrop> {
spec-refute-hubDrop>   hubDrop::relay::awaiting: Map(1 -> Set(), 2 -> Set("b"), 3 -> Set("b")),
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("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "b"),
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("b"),
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, 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("b"), 3 -> Set("b")),
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("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "b"),
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("b"),
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, 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("b"), 3 -> Set("b")),
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("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set(),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::outstanding: 1,
spec-refute-hubDrop>   hubDrop::relay::pending: Set("a", "b"),
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("b"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(),
spec-refute-hubDrop>   hubDrop::relay::wChunks: Map(0 -> Set(2, 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("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b"),
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("b"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(2, 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("c"),
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"),
spec-refute-hubDrop>   hubDrop::relay::imported: Set("b"),
spec-refute-hubDrop>   hubDrop::relay::inline: Set("b"),
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("b"),
spec-refute-hubDrop>   hubDrop::relay::rounds: 0,
spec-refute-hubDrop>   hubDrop::relay::store: Set(2, 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 (1061ms at 2243 traces/second).
spec-refute-hubDrop> Use --verbosity=3 to show executions.
spec-refute-hubDrop> Use --seed=0x367e3c29363c4be --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