1 files changed, 17 insertions, 0 deletions
diff --git a/test/unit/expr/node_manager_black.h b/test/unit/expr/node_manager_black.h
index 6ff2b64e0..e3be1bedd 100644
--- a/test/unit/expr/node_manager_black.h
+++ b/test/unit/expr/node_manager_black.h
@@ -337,4 +337,21 @@ public:
     TS_ASSERT_EQUALS(ft.getRangeType(), booleanType);
 
   }
+
+  void testMkNodeTooFew() {
+    TS_ASSERT_THROWS( d_nodeManager->mkNode(AND), AssertionException );
+    Node x = d_nodeManager->mkVar( d_nodeManager->booleanType() );
+    TS_ASSERT_THROWS( d_nodeManager->mkNode(AND, x), AssertionException );
+  }
+
+  void testMkNodeTooMany() {
+    std::vector<Node> vars;
+    const unsigned int max = metakind::getUpperBoundForKind(AND);
+    TypeNode boolType = d_nodeManager->booleanType();
+    for( unsigned int i = 0; i <= max; ++i ) {
+      vars.push_back( d_nodeManager->mkVar(boolType) );
+    }
+    TS_ASSERT_THROWS( d_nodeManager->mkNode(AND, vars), AssertionException );
+  }
+
 };