diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-31 15:22:38 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-31 15:22:38 +0000 |
commit | d4bfaa103d56d5c0172bf1457343a75ddea8a9b5 (patch) | |
tree | 7b5aab14936c3e3e58d38b1c382d9b3eb7006aef /src/parser/smt | |
parent | 29f5a9be53b572d2369d70947942563825c2fa27 (diff) |
maximize stack limit, handle SEGV signals on an alternate signal stack, and try to diagnose stack overflow
Diffstat (limited to 'src/parser/smt')
0 files changed, 0 insertions, 0 deletions