diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-10-10 15:36:09 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-10 15:36:09 -0700 |
| commit | dd979fcdb5a952462e4d6702999b5354de5a7be8 (patch) | |
| tree | cb4d590f0cba3ec2408633d7e2c70808167b2ad2 /src/options/main_options | |
| parent | b7d0c09bd12b9d0f46deab199714ce3441206d7f (diff) | |
Add copyright information. (#1201)
This adds option --copyright which displays copyright information for CVC4. It further extends --show-config with copyright information and adds a banner with copyright information in interactive mode.
Diffstat (limited to 'src/options/main_options')
| -rw-r--r-- | src/options/main_options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/options/main_options b/src/options/main_options index 0fa799df2..e47f55746 100644 --- a/src/options/main_options +++ b/src/options/main_options @@ -15,6 +15,9 @@ common-option help -h --help/ bool common-option - --show-config void :handler showConfiguration show CVC4 static configuration +common-option - --copyright void :handler copyright + show CVC4 copyright information + option - --show-debug-tags void :handler showDebugTags show all available tags for debugging option - --show-trace-tags void :handler showTraceTags |