Filippo Cremonese

Additional note: the `path` variable seems unbound [here](https://github.com/revng/revng/blob/92c7ed0129eee56dcd8d823ac679300d750a5e9e/scripts/revng#L153), it might be why the `revng` script is not correctly preloading libasan.

Re: bullet point 2, I don't think it's possible, we thought it would be because we only looked at `TypedefTypeData`, but other types don't have `ord` or `name`. I have...

I also added a Dockerfile to my fork, if you're interested feel free to merge it :)

Hi, it took me a while to understand what's going on so I'll post what I understood hoping I'm right. I think end is not displayed right after A0 and...

Fork A enqueues *just* a continuation that leads to fork B, not two continuations "fork B" and "display end" Have you tried to follow what the program is doing by...