diff options
| author | Brian Campbell | 2018-05-29 15:44:30 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | a6f319a2f176fbde6020fc508bb0f319a0b225e5 (patch) | |
| tree | acc255d89121c6f6acd311f0aee02f33112ef7a6 /test/coq | |
| parent | 0c02580108effb66c427906e990cf567bdd0ad75 (diff) | |
Coq: skip two tests with redundant pattern matches
Diffstat (limited to 'test/coq')
| -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 |