Skip to content

test(cvrp): run the union lowering test with its union fixture - #192

Merged
blackopsrepl merged 1 commit into
mainfrom
feature/190-union-lowering-test
Nov 5, 2026
Merged

blackopsrepl merged 1 commit into
mainfrom
feature/190-union-lowering-test

Conversation

@blackopsrepl

Copy link
Copy Markdown
Collaborator

Closes #190. Base main @ 86cf918f, one commit 32f7fe2e.

Mutation check (reverting the Limited.selector edge shift in rebase_graph, the e958244 fix): on main the test still passes; with this commit it fails with "each compiled selector node lowers exactly once".

Gate on 32f7fe2e: EXIT 0, 1537 passed, 0 failed, 66 result lines.

`compiled_cvrp_union_selector_lowers_every_node_once` solved the shared
CVRP domain with that domain's embedded k-opt construction config, so the
benchmark selector union it guards was never compiled; the fixture holding
the union was referenced by nothing, and the test passed with the
`rebase_graph` edge shift reverted. The domain now takes its solver TOML
from a field through its `config` callback; the k-opt test keeps the k-opt
fixture and the union test solves with the union fixture, bounded by 50
steps instead of 5 seconds, and asserts that local search evaluated moves.
Reverting the edge shift now fails it.

Closes #190.
@blackopsrepl
blackopsrepl merged commit 32f7fe2 into main Nov 5, 2026
12 checks passed
@blackopsrepl
blackopsrepl deleted the feature/190-union-lowering-test branch November 5, 2026 01:51
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.

list_cvrp_union_lowering test never runs the union fixture it guards

1 participant