diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-16 19:13:35 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-16 19:13:35 +0000 |
| commit | be1edc45cd31ea61ebb80641ae90c96c46a532ea (patch) | |
| tree | dd7390668abe37248ee390db66f4c8bf488a7e0c /src/main/usage.h | |
| parent | 094ffd30bf9f512d09e623d40329d4760852310b (diff) | |
Adding --parse-only option
Diffstat (limited to 'src/main/usage.h')
| -rw-r--r-- | src/main/usage.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/usage.h b/src/main/usage.h index f13c4aebe..79b906d88 100644 --- a/src/main/usage.h +++ b/src/main/usage.h @@ -36,6 +36,7 @@ CVC4 options:\n\ --smtcomp competition mode (very quiet)\n\ --stats give statistics on exit\n\ --segv-nospin (debug builds only) don't spin on segfault waiting for gdb\n\ + --parse-only exit after parsing input\n\ "; }/* CVC4::main namespace */ |