test/coq/skip


1
2
3
4
5

XXXXX tests with full generic equality
decode_patterns.sail
XXXXX tests with deliberate redundant pattern match clause
option_tuple.sail
pat_completeness.sail