diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/coq/skip | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/coq/skip b/test/coq/skip index cf8a2362..e2a688d6 100644 --- a/test/coq/skip +++ b/test/coq/skip @@ -1,2 +1,5 @@ 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 |