diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-06 21:11:43 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-06 21:11:43 +0000 |
| commit | d292e8c233305c402da65a1cf97668881f7b099c (patch) | |
| tree | 995ba2c65c61c0e3a7038d1eeae95c8b9efea599 /src/main/main.cpp | |
| parent | f4643b0e2f5ca233dcfeb91fbb424b8caec836e6 (diff) | |
Adding --strict-parsing option
Diffstat (limited to 'src/main/main.cpp')
| -rw-r--r-- | src/main/main.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index 037dde559..19e1d0cff 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -165,6 +165,10 @@ int runCvc4(int argc, char* argv[]) { parser.disableChecks(); } + if( options.strictParsing ) { + parser.enableStrictMode(); + } + // Parse and execute commands until we are done Command* cmd; while((cmd = parser.nextCommand())) { |