Skip to content

Conversation

@Framba-Luca
Copy link
Collaborator

@Framba-Luca Framba-Luca commented May 13, 2025

This PR fixes the CNFizer walk_function method, renaming function_symbol (deprecated name) with function_name

fixes #801

@mikand
Copy link
Contributor

mikand commented May 13, 2025

@Framba-Luca Can you add a no-regressio test in test_regression.py?

@mikand mikand merged commit 8aaf1d3 into master May 14, 2025
67 of 70 checks passed
@mikand mikand deleted the fix_801 branch May 14, 2025 11:35
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.

CNFizer raise an exception because of an undefined function (function_symbol)

3 participants