expect « reg_alias « ocaml « test - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/test/ocaml/reg_alias/expect

blob: 21493790994758854b7e5db3f91691cb6daf34f0 (plain)

CR = 0x00
CR = 0xCA
CR.CR0 = 0xC
CR.CR1 = 0b10
CR.CR2 = 0b10
CR = 0xFA
CR = 0xF8