mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-18 11:31:35 +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