proptest failure: 2026-04-30

[flub]

proptest: Saving this and future failures in /Users/hetzner/actions-runner/_work/noq/noq/noq-proto/proptest-regressions/tests/proptests.txt
proptest: If this test was run on a CI system, you may wish to add the following line to your copy of the file.
cc 3e7028f20ddf416aa302a74a9b575b2205ef3302f508420d06244484cf22c6ef

thread 'tests::proptests::random_interaction' (369903065) panicked at noq-proto/src/tests/proptests.rs:201:1:
Test failed: connection never became idle at noq-proto/src/tests/proptests.rs:209.
minimal failing input: input = _RandomInteractionArgs {
    setup: PairSetup {
        seed: Zeroes,
        extensions: QntAndMultipath,
        routing_setup: SimpleSymmetric,
    },
    interactions: [
        PassiveMigration {
            side: Client,
            addr_idx: 0,
        },
        OpenPath {
            side: Client,
            status: Available,
            addr_idx: 0,
        },
        ClosePath {
            side: Client,
            path_idx: 0,
            error_code: 0,
        },
        Drive {
            side: Client,
        },
        PassiveMigration {
            side: Client,
            addr_idx: 0,
        },
        OpenPath {
            side: Client,
            status: Available,
            addr_idx: 0,
        },
        ClosePath {
            side: Client,
            path_idx: 2,
            error_code: 0,
        },
    ],
}
	successes: 1249
	local rejects: 0
	global rejects: 0

[matheus23]

I assume this is the same underlying issue

proptest: Saving this and future failures in /Users/hetzner/actions-runner/_work/noq/noq/noq-proto/proptest-regressions/tests/proptests.txt
proptest: If this test was run on a CI system, you may wish to add the following line to your copy of the file.
cc 5a804c83131469a8920f975fc0c7c155c52c8cc2105b761187d97049f6b32e5c

thread 'tests::proptests::random_interaction' (960044306) panicked at noq-proto/src/tests/proptests.rs:201:1:
Test failed: connection never became idle at noq-proto/src/tests/proptests.rs:209.
minimal failing input: input = _RandomInteractionArgs {
    setup: PairSetup {
        seed: Zeroes,
        extensions: QntAndMultipath,
        routing_setup: SimpleSymmetric,
    },
    interactions: [
        PassiveMigration {
            side: Server,
            addr_idx: 0,
        },
        PathSetStatus {
            side: Server,
            path_idx: 0,
            status: Backup,
        },
        PathSetStatus {
            side: Server,
            path_idx: 0,
            status: Available,
        },
        Drive {
            side: Server,
        },
        PassiveMigration {
            side: Server,
            addr_idx: 0,
        },
        OpenPath {
            side: Client,
            status: Available,
            addr_idx: 0,
        },
    ],
}