struct.expect « c « test - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/test/c/struct.expect

blob: a21209045df95fddd1c4088349e7683f5cc184b3 (plain)

1
2
3

x.A = 0x8
x.A = 0xF
(struct {A = 0b1111, B = 0b11} : test).B = 0b11