AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification
Apache License 2.0
62 stars 15 forks source link

Fix an issue with inline_local_panic_functions #277

Closed sonmarcho closed 3 days ago

sonmarcho commented 3 days ago

The micro-pass which inlines the panic functions did not filter those functions from the declaration groups.

Nadrieril commented 2 days ago

We could have also run reorder_decls after that pass instead of before