mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
637e0771f9
After eagerly splitting there's still some data remaining on the module that should be deleted. Run a simple optimization pipeline on the split module that should remove all the unneeded data and thus save memory.