fix(simulation): correct crate name in log10_floor doctest #150

Closed
jpmschweitzer wants to merge 0 commits from fix-bps-doctest into main
Owner

Summary

One-char fix: the log10_floor doctest imported server::bps::log10_floor, but the library crate is settled_reach_server, so cargo test --doc failed to compile the example. Pre-existing since the helper landed in #145; only surfaces under --doc (the pre-push gate runs --lib).

Test plan

  • cargo test --doc bps now passes (1 passed).

Flagged during PR #149 review as out-of-scope; fixed here separately.

## Summary One-char fix: the `log10_floor` doctest imported `server::bps::log10_floor`, but the library crate is `settled_reach_server`, so `cargo test --doc` failed to compile the example. Pre-existing since the helper landed in #145; only surfaces under `--doc` (the pre-push gate runs `--lib`). ## Test plan - `cargo test --doc bps` now passes (1 passed). Flagged during PR #149 review as out-of-scope; fixed here separately.
jpmschweitzer added 1 commit 2026-06-03 17:44:29 +02:00
The doctest imported `server::bps::log10_floor`, but the library crate is
`settled_reach_server` — so `cargo test --doc` failed to compile the
example (unresolved module `server`). Broken since the helper landed in
#145; it only surfaces under `--doc`, not `--lib`, so the pre-push gate
(which runs `--lib`) never caught it.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
jpmschweitzer closed this pull request 2026-06-03 17:50:12 +02:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
No Reviewers
No labels
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: jpmschweitzer/settled-reach#150