test/coq/skip


1
2
3
4
5
6
7
8
9
10
11
12

XXXXX tests with undefined functions
bind_typ_var.sail
bitwise_not.*
bv_simple_index_bit.sail
ex_cast.sail
exint.sail
exist1.sail
exist2.sail
exist_subrange.sail
exist_tlb.sail
XXXXX tests with full generic equality
decode_patterns.sail