diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/coq/skip | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/coq/skip b/test/coq/skip index b1fa50be..49744fce 100644 --- a/test/coq/skip +++ b/test/coq/skip @@ -5,7 +5,6 @@ option_tuple.sail 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 |