Skip to content

Add assert to make bridgeable easier to debug - #147

Open
blegat wants to merge 5 commits into
mainfrom
bl/assert_supp
Open

blegat wants to merge 5 commits into
mainfrom
bl/assert_supp

Conversation

@blegat

@blegat blegat commented May 26, 2026

Copy link
Copy Markdown
Member

I always gets confused by this otherwise.

blegat added 5 commits May 26, 2026 18:16
Cover both variable and constraint support dispatches with supported and unsupported sets. Verify that bridgeable rejects unsupported variable and constraint bridges with AssertionError, and include the standalone regression tests in runtests.jl.

Apply JuliaFormatter 2 formatting to the branch.

Validation: all 7 bridge tests and 86 variable tests pass (4 existing broken tests). Temporary @show line tracing and Julia coverage confirm both previously missed variable-support lines execute. JuliaFormatter 2.14.7 and git diff --check pass.
CI tests the merge with main but uploads coverage against the PR head. Source lines had shifted between these trees, causing Codecov to mark added comments as uncovered and report 82.35% patch coverage. Merge main so coverage line numbers match the PR source and the diff contains only the intended bridge-support changes.

Validation: the merged tree matches the merge tree already tested successfully by CI. All 347 checks in test/bridgeable.jl and test/constraint.jl pass locally. Coverage confirms hits on all six executable source lines added by the PR. JuliaFormatter 2.14.7 and git diff --check pass.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant