XXXXX tests with full generic equality
decode_patterns.sail
XXXXX tests with deliberate redundant pattern match clause
option_tuple.sail
pat_completeness.sail
XXXXX tests which need inline extern definitions adjusted
patternrefinement.sail
procstate1.sail
vector_subrange_gen.sail
XXXXX currently unsupported use of a bitvector in a parametric vector type
pure_record.sail
pure_record2.sail
pure_record3.sail
vector_access_dec.sail
vector_access.sail