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
XXXXX unsupported existential quantification of a vector length
bind_typ_var.sail
XXXXX needs impliciation in constraints fixed
bool_constraint.sail
XXXXX needs some smart existential instantiation
complex_exist_sat.sail