diff options
| -rw-r--r-- | test/coq/skip | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/test/coq/skip b/test/coq/skip index e2a688d6..e0096643 100644 --- a/test/coq/skip +++ b/test/coq/skip @@ -2,4 +2,14 @@ XXXXX tests with full generic equality decode_patterns.sail XXXXX tests with deliberate redundant pattern match clause option_tuple.sail -pat_completeness.sail
\ No newline at end of file +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
\ No newline at end of file |