mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-24 22:53:43 +03:00
fcb694ccb9
It doesn't pass yet. It is hung up on an unsupported register type (Crrc, used in a compare).
65 KiB
Executable File
65 KiB
Executable File