diff options
| author | Ajax <commial@gmail.com> | 2018-02-15 13:22:45 +0100 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2018-02-15 14:17:38 +0100 |
| commit | e28713fa12f50eaaec8753c60fa573ff427f0d1f (patch) | |
| tree | 8aa2502aeb41a2638fd2a5f7753e66b7b154eaef /example/expression/simplification_tools.py | |
| parent | 9dd075f09e4f31ec7fe12e50709d9e58c65ed5f4 (diff) | |
| download | focaccia-miasm-e28713fa12f50eaaec8753c60fa573ff427f0d1f.tar.gz focaccia-miasm-e28713fa12f50eaaec8753c60fa573ff427f0d1f.zip | |
Translator: import 'z3' only when it is really needed
Avoid importing a pretty big module, and the side effects of z3, such as declaring the stack as unlimited
Diffstat (limited to 'example/expression/simplification_tools.py')
0 files changed, 0 insertions, 0 deletions