tests « mono « test - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/test/mono/tests

blob: 425230dac6be5d941fa18c926b5b1407859ca7db (plain)

1
2
3

fnreduce -mono-split fnreduce.sail:43:x
varmatch -mono-split varmatch.sail:7:x
vector -mono-split vector.sail:7:sel