Skip to content

Conversation

@b-chmiel
Copy link
Contributor

Adds eqy check for gcd_annealing1 and gcd_annealing2 tests in rmp.

As those tests require loading liberty files for eqy, changed run_equivalence_test's interface to allow selecting both a library directory (for globbing sources) and explicit listing of liberty files.

Follow-up to #8437 (comment)

@github-actions
Copy link
Contributor

clang-tidy review says "All clean, LGTM! 👍"

@QuantamHD
Copy link
Collaborator

Will review today

@b-chmiel
Copy link
Contributor Author

@QuantamHD would you mind taking a look?

b-chmiel and others added 2 commits December 17, 2025 10:39
Co-authored-by: Krzysztof Bieganski <[email protected]>
Co-authored-by: Ryszard Rozak <[email protected]>
Signed-off-by: Bartłomiej Chmiel <[email protected]>
Signed-off-by: Bartłomiej Chmiel <[email protected]>
@github-actions
Copy link
Contributor

clang-tidy review says "All clean, LGTM! 👍"

@b-chmiel
Copy link
Contributor Author

rebased on 12f5d70

@QuantamHD
Copy link
Collaborator

Lgtm, please have a look @maliberty

Signed-off-by: Bartłomiej Chmiel <[email protected]>
@github-actions
Copy link
Contributor

clang-tidy review says "All clean, LGTM! 👍"

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.

2 participants