diff options
| author | Brian Campbell | 2019-04-04 11:10:01 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-04 11:21:09 +0100 |
| commit | 590039d3827377fa79ff537ba97488545ebc58e5 (patch) | |
| tree | c815cf6055c003e88cfab27a90827c9be3288886 /test | |
| parent | a5d0d75654f9dd14a6fa0c444fe744b9c18d30a5 (diff) | |
Coq: improve solver on conjunctions, Euclidean division/modulo
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 |