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/prop/cnf_stream.h | |
| parent | 29f5a9be53b572d2369d70947942563825c2fa27 (diff) | |
maximize stack limit, handle SEGV signals on an alternate signal stack, and try to diagnose stack overflow
Diffstat (limited to 'src/prop/cnf_stream.h')
0 files changed, 0 insertions, 0 deletions