Proving the qemu Range type — summary
Had to remove glib header + one function.
You can run Frama-C on the original source file.
Might need a few
#ifdef
s.
Could be integrated as part of CI.
Doesn't make sense for qemu right now.