From: Tim King <taking@google.com>
Date: Sun, 13 Nov 2016 09:05:26 +0000 (-0800)
Subject: Switching a large allocation to be heap allocated.
X-Git-Tag: cvc5-1.0.0~5978
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=31c0d3b5f464983eab6e72d234934b29ef2027b6;p=cvc5.git

Switching a large allocation to be heap allocated.
---

diff --git a/test/unit/expr/node_builder_black.h b/test/unit/expr/node_builder_black.h
index b3f51a197..3e661e390 100644
--- a/test/unit/expr/node_builder_black.h
+++ b/test/unit/expr/node_builder_black.h
@@ -148,7 +148,10 @@ public:
     /* Extreme size tests */
     NodeBuilder<0> ws_size_0;
 
-    NodeBuilder<LARGE_K> ws_size_large;
+    // Allocating on the heap instead of the stack.
+    NodeBuilder<LARGE_K>* ws_size_large =
+      new NodeBuilder<LARGE_K>;
+    delete ws_size_large;
 
     /* CopyConstructors */