Handle platform mismatches #16
Description
Some mistranslations occur due to a platform mismatch. Focaccia typically raises an error or warning in such cases but we do not clearly identify the mismatch itself.
We should be able to handle the following:
- Misdecodings of instructions in an emulator -> cause a warning that we can't access a particular register. Example: https://bugs.launchpad.net/qemu/+bug/1861404.
- Crashes with
SIGILL