From 1e5fa9a02e05ed0cea82efb8b92503af43b69ba6 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 28 May 2018 16:39:52 +0100
Subject: Coq: add back tests with undefined functions

---
 test/coq/skip | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

(limited to 'test')

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
-- 
cgit v1.2.3