diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-04 14:50:52 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-04 15:27:16 -0400 |
| commit | 1364389f19e55984cc52589b3af42322c300e00f (patch) | |
| tree | ac33b345bfe9877698a5c1344c589ef3feeb2713 /src/parser/parser_builder.cpp | |
| parent | 00d068f91c675edbe63c2f8c1dae283f300dd4cc (diff) | |
For security, add --no-filesystem-access option, which disables SMT-LIB script access to filesystem.
Diffstat (limited to 'src/parser/parser_builder.cpp')
| -rw-r--r-- | src/parser/parser_builder.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp index cb8c0d4f6..7d0a0c4b9 100644 --- a/src/parser/parser_builder.cpp +++ b/src/parser/parser_builder.cpp @@ -154,7 +154,7 @@ ParserBuilder& ParserBuilder::withOptions(const Options& options) { .withChecks(options[options::semanticChecks]) .withStrictMode(options[options::strictParsing]) .withParseOnly(options[options::parseOnly]) - .withIncludeFile(options[options::canIncludeFile]); + .withIncludeFile(options[options::filesystemAccess]); } ParserBuilder& ParserBuilder::withStrictMode(bool flag) { |