Repository navigation
Conversation
This was referenced Sep 6, 2026
zayenz
force-pushed
the
feature/test-library
branch
from
September 6, 2026 14:45
72d677a to
6c7b9ef
Compare
zayenz
force-pushed
the
feature/test-library
branch
from
September 10, 2026 07:00
fb004a5 to
606bc09
Compare
zayenz
commented
Oct 4, 2026
Member
Author
There was a problem hiding this comment.
configure_consumer()deleted the caller's entire build root. Cleanup now covers only its consumer subdirectory.- The direct compiler verifier rejected valid external toolchain flags. It now accepts them while still requiring installed paths and rejecting source-tree leakage.
- Renamed the negative package check to reflect its unsupported-component case.
- Documented replay's exact-name matching separately from ordinary pattern matching.
zayenz
added this pull request to stack #251
October 5, 2026 13:22
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Expose Gecode's test harness as installed libraries and headers for downstream propagator projects. It provides registration, a runner, and integer/Boolean, set, and float test helpers, following the configured variable modules.
CMake and Autoconf support shared and static libraries; CMake exports the
testcomponent and matching test-library targets. Gecode's own test executable uses the same libraries. Failures report an exact iteration replay command.API contracts and examples are in Doxygen; package consumption is in the existing CMake guide. Installed consumers and replay checks pass locally.