diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-07 15:23:36 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-07 15:23:36 -0400 |
commit | 931b5641dfffcd3779239e014406aa057e21e0f7 (patch) | |
tree | cc37b63036dc8cd88af2c8cb1ac4511d0befbf17 /src/parser/options | |
parent | 6a329424666b4c4a6869dd7bcf9e7cfd69a219f5 (diff) |
Allow disabling include-file feature
Diffstat (limited to 'src/parser/options')
-rw-r--r-- | src/parser/options | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/parser/options b/src/parser/options index b3e69a992..e16f963f4 100644 --- a/src/parser/options +++ b/src/parser/options @@ -17,4 +17,8 @@ option semanticChecks /--no-checking bool :default DO_SEMANTIC_CHECKS_BY_DEFAULT option szsCompliant --szs-compliant bool :default false temporary support for szs ontolotogy, print if conjecture is found +# this is just to support security in the online version +# (--no-include-file disables filesystem access in TPTP and SMT2 parsers) +undocumented-option canIncludeFile /--no-include-file bool :default true + endmodule |