projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d8ce535
)
Switching a large allocation to be heap allocated.
author
Tim King
<taking@google.com>
Sun, 13 Nov 2016 09:05:26 +0000
(
01:05
-0800)
committer
Tim King
<taking@google.com>
Sun, 13 Nov 2016 09:05:26 +0000
(
01:05
-0800)
test/unit/expr/node_builder_black.h
patch
|
blob
|
history
diff --git
a/test/unit/expr/node_builder_black.h
b/test/unit/expr/node_builder_black.h
index b3f51a197fd569f78f3fd0f8c2fc5ff4749aab22..3e661e390a4d8b67e540821bd8b52046394a0b0f 100644
(file)
--- 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 */