diff options
author | Tim King <taking@cs.nyu.edu> | 2012-05-19 17:24:52 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-05-19 17:24:52 +0000 |
commit | 7a1139538caede03eb279a7b13ef7476bebd4736 (patch) | |
tree | 3d0d8eea13869c7314c3e17fa524a8d1174ae9d9 /test | |
parent | ea8139dc7b727bf48bd7b7c6b169d763618a1f2a (diff) |
- The array type rules were fixed to use isSubtypeOf.
- The type of (kind::DIVISION x y) is RealType.
- A reference to util/pseudoboolean.i was removed.
- rec5.cvc is disabled for now. The type of 2 is Integer which is not a subtype of [0..11].
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/regress0/datatypes/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/datatypes/Makefile.am b/test/regress/regress0/datatypes/Makefile.am index e698ab39c..8785ae0db 100644 --- a/test/regress/regress0/datatypes/Makefile.am +++ b/test/regress/regress0/datatypes/Makefile.am @@ -16,7 +16,6 @@ TESTS = \ tuple.cvc \ rec1.cvc \ rec2.cvc \ - rec5.cvc \ datatype.cvc \ datatype0.cvc \ datatype1.cvc \ @@ -39,6 +38,7 @@ TESTS = \ v5l30058.cvc \ bug286.cvc +FAILING_TESTS = rec5.cvc EXTRA_DIST = $(TESTS) |