From fa5c65c6f4f74658c9585eb867024ccba8a071f9 Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Sun, 1 Nov 2026 05:43:30 +0100 Subject: [PATCH] cli test: the hold of spec B is its own run's question and not A's Co-Authored-By: Claude Sonnet 5.5 --- crates/eureka-state/tests/cli.rs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/crates/eureka-state/tests/cli.rs b/crates/eureka-state/tests/cli.rs index eb973ed..4f17b46 100644 --- a/crates/eureka-state/tests/cli.rs +++ b/crates/eureka-state/tests/cli.rs @@ -898,10 +898,12 @@ fn blocked_names_the_questions_that_hold_a_spec_as_the_gate_reads_them() { "a question raised in the run holds its claim: {}", shown.out ); + assert!(!shown.out.contains(&other_question), "a question raised in another run does not hold A: {}", shown.out); + let shown = held("B"); assert!( - held("B").out.starts_with("matched 0 "), - "and not a spec the run never claimed: {}", - held("B").out + shown.out.starts_with(&format!("{other_question} InForce ")) && !shown.out.contains(&format!("{question} ")) && shown.out.contains("matched 1 "), + "B is held by its own run's question only: {}", + shown.out ); let PipelineDocument::Ruling(mut answer) = ruling(None) else {