projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab3850a) | patch
Increase stack size when running regressions (fixes some regression crashes on Mac).
authorMorgan Deters <mdeters@cs.nyu.edu>
Sun, 9 Nov 2014 23:53:11 +0000 (18:53 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sun, 9 Nov 2014 23:53:29 +0000 (18:53 -0500)
commit90ef0ab1a4e468b47835561118c32bc81bb44b37
treeab1141bdc2326922cea7fde74a5f6bf4f955a876tree
parentab3850a71f83f783981e105e154a0a3fceb87b74commit | diff
Increase stack size when running regressions (fixes some regression crashes on Mac).
test/regress/run_regression diff | blob | history