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/main/interactive_shell.cpp | |
| parent | 00d068f91c675edbe63c2f8c1dae283f300dd4cc (diff) | |
For security, add --no-filesystem-access option, which disables SMT-LIB script access to filesystem.
Diffstat (limited to 'src/main/interactive_shell.cpp')
0 files changed, 0 insertions, 0 deletions