diff options
| author | Brian Campbell | 2018-05-28 16:39:52 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-28 16:39:52 +0100 |
| commit | 1e5fa9a02e05ed0cea82efb8b92503af43b69ba6 (patch) | |
| tree | 3307020ca546010bf35faf199da5f444bcb1a495 /test/coq | |
| parent | 0352a9d87cfdfcdb489402d2c56b1162622e8d74 (diff) | |
Coq: add back tests with undefined functions
Diffstat (limited to 'test/coq')
| -rw-r--r-- | test/coq/skip | 12 |
1 files changed, 1 insertions, 11 deletions
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 |