1 files changed, 1 insertions, 11 deletions
diff --git a/test/coq/skip b/test/coq/skip
index 922cbbe1..cf8a2362 100644
--- a/test/coq/skip
+++ b/test/coq/skip
@@ -1,12 +1,2 @@
-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
-\ No newline at end of file
+decode_patterns.sail