Skip to content

Expose reusable test harness libraries - #237

Open
zayenz wants to merge 6 commits into
mainfrom
feature/test-library
Open

Expose reusable test harness libraries#237
zayenz wants to merge 6 commits into
mainfrom
feature/test-library

Conversation

@zayenz

@zayenz zayenz commented Sep 6, 2026

Copy link
Copy Markdown
Member

Summary

  • Exposes the Gecode test runner and the helpers for every configured variable family as reusable static libraries.
  • Installs Gecode::gecodetestint, Gecode::gecodetestset, and Gecode::gecodetestfloat with their public headers. Set and float follow the corresponding build options.
  • Provides the same target names for installed packages, add_subdirectory, and FetchContent, with matching Autoconf archives.
  • Documents custom integer, Boolean, set, and float propagator tests, including independent oracles, consistency controls, reification, and failure reproduction.
  • Records the public test libraries in the Gecode 6.5.0 changelog.

Validation

  • CMake runner, integer, set, and float smoke tests
  • Full and integer-only CMake configurations
  • Full gecode-test link after extracting the helper objects
  • Installed CMake consumers for full and integer-only packages
  • Parallel CTest fixture execution
  • Fault-injection test target
  • Absolute include directory and customized library names
  • BUILD_TESTING=TRUE package discovery
  • Build-tree target aliases
  • Autoconf smoke tests and installed native consumer
  • Unsupported CMake component and internal legacy header diagnostics
  • git diff --check

@zayenz
zayenz force-pushed the feature/test-library branch from 72d677a to 6c7b9ef Compare September 6, 2026 14:45
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