Skip to content

Commit 3d9eb48

Browse files
codyguntonclaude
andcommitted
test: prove a valid input in the dockerized timeout test
An invalid input can fail before a zero timeout fires. LambdaVM rejects an empty input almost at once, so the test raced on CI. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
1 parent 0780443 commit 3d9eb48

1 file changed

Lines changed: 3 additions & 2 deletions

File tree

‎crates/dockerized/src/prover.rs‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -732,11 +732,12 @@ mod tests {
732732
test_case.assert_output(&verifier_public_values);
733733
}
734734

735-
// Timeout
735+
// Timeout, with a valid input because an invalid one can fail before the timer fires
736736
let mut zkvm = zkvm;
737737
let prove_timeout = Duration::ZERO;
738738
zkvm.config.prove_timeout = Some(prove_timeout);
739-
let err = zkvm.prove(&Input::new()).unwrap_err();
739+
let input = $valid_test_cases.into_iter().next().unwrap().input();
740+
let err = zkvm.prove(&input).unwrap_err();
740741
assert!(
741742
matches!(
742743
err.downcast_ref::<Error>().unwrap(),

0 commit comments

Comments
 (0)