Fix issue 801#803

Merged

mikand merged 2 commits intomasterfrom

May 14, 2025

Commits on May 13, 2025

fix(CNFizer): in walk_function changed old function_symbol with the new method name function_name
Framba-Luca
committed
test: add regression test; add myself to contributors and mailmap
Framba-Luca
committed