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