diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-05-13 20:42:57 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-05-13 20:42:57 +0000 |
| commit | 69c9ec0e1e42f3f2f2f79d3e98398c5cd1559c66 (patch) | |
| tree | 4761dc1485594a7d26630b3eea7f305dde0e2766 /test/unit | |
| parent | 9462ccde8b06aae3b13e271465ab74b2e312a095 (diff) | |
* fix for Mac OS (includes some ThreadLocal stuff copied in from portfolio
branch)
* add Theory::isSharedTermFact() -- it currently always returns false,
pending theory combination work
* Add "unknown" cardinalities to Cardinality class
* Fix run_regression script to handle CRLF line terminators on Macs
(where sed is non-GNU)
* Convert CRLF line terminators in datatypes regressions to LF
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/expr/type_cardinality_public.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/unit/expr/type_cardinality_public.h b/test/unit/expr/type_cardinality_public.h index 381d5fdea..6d6b0740b 100644 --- a/test/unit/expr/type_cardinality_public.h +++ b/test/unit/expr/type_cardinality_public.h @@ -5,7 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) + ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences ** New York University ** See the file COPYING in the top-level source directory for licensing @@ -70,6 +70,7 @@ public: TS_ASSERT( realToBool.getCardinality() > Cardinality::REALS ); TS_ASSERT( boolToReal.getCardinality() == Cardinality::REALS ); TS_ASSERT( boolToInt.getCardinality() == Cardinality::INTEGERS ); +cout << "boolToBool " << boolToBool.getCardinality() << endl; TS_ASSERT( boolToBool.getCardinality() == 4 ); } |