Skip to content

A test starts where the last one ended when its Givens hold there - #85

Merged
ptescher merged 1 commit into
mainfrom
continue-from-state
Nov 12, 2026
Merged

ptescher merged 1 commit into
mainfrom
continue-from-state

Conversation

@ptescher

Copy link
Copy Markdown
Owner

Second part of #67 (after #84): continue from the current state.

  • When a test passed and everything the next one is given is observed to hold already (one look, no waiting), the runner skips the reset and the arrangement.
  • The runner picks a test that starts where the last one ended when there is one, otherwise the next in order. Results stay in plan order. run_parallel workers do the same.
  • It never continues after a failed test, into a test that is given nothing, across a Launch: restart, or for a driver that asks for fresh services.
  • Each result records how it began (PlanResult::began, a began line in saved results). The manual's test page says when a test continued, and expectation-run prints (continued).
  • Opt out with Driver::may_continue, Bindings::always_reset(), RunOptions::share_starts or expectation-run --no-shared-starts.

This is on by default, so runs may execute tests in a different order than before.

Checkpoints (the third part of #67) are not in this PR.

Refs #67

🤖 Generated with Claude Code

When a test has passed and everything the next one is given is observed to
hold already, the runner skips the reset and the arrangement. It picks a test
that starts where the last one ended when there is one; results stay in plan
order. Each result records how it began, and the manual says when a test
continued. Driver::may_continue, Bindings::always_reset, RunOptions::share_starts
and expectation-run --no-shared-starts turn it off.

Refs #67

Co-Authored-By: Claude <noreply@anthropic.com>
@ptescher
ptescher merged commit 112d533 into main Nov 12, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant