diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-08-13 11:59:26 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-08-13 19:26:29 -0400 |
commit | c957465176d46a7f06a96393619db5e6f4fbda38 (patch) | |
tree | e90b8e26072f2ef91c3f1b1572287dd3ddc88c39 /src/main/options | |
parent | 1af67a61059009407dd9833b126581d2c5e5c662 (diff) |
--segv-nospin is now default.
Diffstat (limited to 'src/main/options')
-rw-r--r-- | src/main/options | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/options b/src/main/options index 14a7a9f3f..ba36e43ab 100644 --- a/src/main/options +++ b/src/main/options @@ -38,6 +38,10 @@ option fallbackSequential --fallback-sequential bool :default false option incrementalParallel --incremental-parallel bool :default false :link --incremental Use parallel solver even in incremental mode (may print 'unknown's at times) +option segvSpin --segv-spin bool :default false + spin on segfault/other crash waiting for gdb +undocumented-alias --segv-nospin = --no-segv-spin + expert-option waitToJoin --wait-to-join bool :default true wait for other threads to join before quitting |