diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-09-30 16:58:24 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-09-30 16:59:37 -0400 |
| commit | 7edd9eb6ecf8d36beea059a62ce573fdb6a6f8a1 (patch) | |
| tree | be1d5117c2801e1ca5c2d6d1db0cc562063855f7 /src/options | |
| parent | a4a943134f888a514f19adaffe2f6743a16a25a6 (diff) | |
Proofs- and cores-related segfault fixes (mainly a usability issue), thanks Christoph Sticksel for reporting these.
Diffstat (limited to 'src/options')
| -rwxr-xr-x | src/options/mkoptions | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/options/mkoptions b/src/options/mkoptions index a3a1571ec..03d7837ac 100755 --- a/src/options/mkoptions +++ b/src/options/mkoptions @@ -352,6 +352,10 @@ function handle_option { WARN "$internal is inaccessible via SmtEngine (no smt name for option) but can be set via command-line: $long_option $short_option $long_option_alternate $short_option_alternate" fi fi + # in options files, use an smt name of ":" to force there not to be one + if [ "$smtname" = : ]; then + smtname= + fi # check for duplicates if [ "$internal" != - ]; then |