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

summary refs log tree commit diff

path: root/test/c/struct.expect

blob: ecf6e2e1c886e7ca9ba127dce36bf4cd371e6865 (plain)

1
2
3

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