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/options | |
parent | 1af67a61059009407dd9833b126581d2c5e5c662 (diff) |
--segv-nospin is now default.
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/base_options | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/options/base_options b/src/options/base_options index f9eb64ef2..a6f24c7f3 100644 --- a/src/options/base_options +++ b/src/options/base_options @@ -114,9 +114,6 @@ option parseOnly parse-only --parse-only bool :read-write option preprocessOnly preprocess-only --preprocess-only bool exit after preprocessing input -option segvNoSpin --segv-nospin bool - don't spin on segfault waiting for gdb - option - trace -t --trace=TAG argument :handler CVC4::options::addTraceTag trace something (e.g. -t pushpop), can repeat option - debug -d --debug=TAG argument :handler CVC4::options::addDebugTag |