projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00d068f) | patch
For security, add --no-filesystem-access option, which disables SMT-LIB script access...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 4 Apr 2014 18:50:52 +0000 (14:50 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 4 Apr 2014 19:27:16 +0000 (15:27 -0400)
commit1364389f19e55984cc52589b3af42322c300e00f
treeac33b345bfe9877698a5c1344c589ef3feeb2713tree
parent00d068f91c675edbe63c2f8c1dae283f300dd4cccommit | diff
For security, add --no-filesystem-access option, which disables SMT-LIB script access to filesystem.
src/parser/options diff | blob | history
src/parser/parser_builder.cpp diff | blob | history
src/smt/options_handlers.h diff | blob | history