diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-09-24 20:55:58 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-09-24 20:55:58 +0000 |
| commit | 86df00c36c6cbabac53001082219c3fc8c0fa297 (patch) | |
| tree | be6865d50b8be133bc7d914fb80b531295021da4 /test | |
| parent | 1f48835b7252757bb778a93bdac2d62e1dea59bc (diff) | |
some api changes
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/datatypes/Makefile.am | 4 | ||||
| -rw-r--r-- | test/unit/expr/node_manager_black.h | 25 |
2 files changed, 2 insertions, 27 deletions
diff --git a/test/regress/regress0/datatypes/Makefile.am b/test/regress/regress0/datatypes/Makefile.am index 2ec558f20..aca663e18 100644 --- a/test/regress/regress0/datatypes/Makefile.am +++ b/test/regress/regress0/datatypes/Makefile.am @@ -40,10 +40,10 @@ TESTS = \ v3l60006.cvc \ v5l30058.cvc \ bug286.cvc \ - wrong-sel-simp.cvc + wrong-sel-simp.cvc \ + rec2.cvc FAILING_TESTS = \ - rec2.cvc \ rec5.cvc \ datatype-dump.cvc diff --git a/test/unit/expr/node_manager_black.h b/test/unit/expr/node_manager_black.h index 75c3618ff..18dc96c98 100644 --- a/test/unit/expr/node_manager_black.h +++ b/test/unit/expr/node_manager_black.h @@ -180,7 +180,6 @@ public: TypeNode t3 = d_nodeManager->mkSort("T"); TS_ASSERT( t.isBoolean() ); TS_ASSERT( !t.isFunction() ); - TS_ASSERT( !t.isKind() ); TS_ASSERT( !t.isNull() ); TS_ASSERT( !t.isPredicate() ); TS_ASSERT( !t.isSort() ); @@ -191,26 +190,6 @@ public: TS_ASSERT_EQUALS( bt, t); } - void testKindType() { - TypeNode t = d_nodeManager->kindType(); - TypeNode t2 = d_nodeManager->kindType(); - TypeNode t3 = d_nodeManager->mkSort("T"); - - TS_ASSERT( !t.isBoolean() ); - TS_ASSERT( !t.isFunction() ); - TS_ASSERT( t.isKind() ); - TS_ASSERT( !t.isNull() ); - TS_ASSERT( !t.isPredicate() ); - TS_ASSERT( !t.isSort() ); - - TS_ASSERT_EQUALS(t, t2); - TS_ASSERT( t != t3); - - TypeNode kt = t; - TS_ASSERT_EQUALS( kt, t ); - // TODO: Is there a way to get the type of otherType (it should == t)? - } - void testMkFunctionTypeBoolToBool() { TypeNode booleanType = d_nodeManager->booleanType(); TypeNode t = d_nodeManager->mkFunctionType(booleanType,booleanType); @@ -218,7 +197,6 @@ public: TS_ASSERT( !t.isBoolean() ); TS_ASSERT( t.isFunction() ); - TS_ASSERT( !t.isKind() ); TS_ASSERT( !t.isNull() ); TS_ASSERT( t.isPredicate() ); TS_ASSERT( !t.isSort() ); @@ -247,7 +225,6 @@ public: TS_ASSERT( !t.isBoolean() ); TS_ASSERT( t.isFunction() ); - TS_ASSERT( !t.isKind() ); TS_ASSERT( !t.isNull() ); TS_ASSERT( !t.isPredicate() ); TS_ASSERT( !t.isSort() ); @@ -278,7 +255,6 @@ public: TS_ASSERT( !t.isBoolean() ); TS_ASSERT( t.isFunction() ); - TS_ASSERT( !t.isKind() ); TS_ASSERT( !t.isNull() ); TS_ASSERT( !t.isPredicate() ); TS_ASSERT( !t.isSort() ); @@ -309,7 +285,6 @@ public: TS_ASSERT( !t.isBoolean() ); TS_ASSERT( t.isFunction() ); - TS_ASSERT( !t.isKind() ); TS_ASSERT( !t.isNull() ); TS_ASSERT( t.isPredicate() ); TS_ASSERT( !t.isSort() ); |