mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
a6cf3fbb83
This commit introduces a function to obtain the name assigned to a `llvm::Function` associated to a `model::Function`. This simplifies the codebase but also enables us to introduce an option to produce human-friendly names for debugging/testing purposes.