diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-09 16:25:02 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-09 16:25:02 -0400 |
| commit | 74122fe04d641d3d416a53783bd075ca9491c0b7 (patch) | |
| tree | 2f1878371a5750784a1dca905a01b84f98b4dcca /src/theory/quantifiers | |
| parent | 3fbe87912dbffe70cf01fdf0b4652960998ea480 (diff) | |
bump thread stack size to 1 GB
Diffstat (limited to 'src/theory/quantifiers')
0 files changed, 0 insertions, 0 deletions