diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2024-01-07 22:48:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-07 22:48:37 +0100 |
| commit | 3a2fb2472c0e8e01f84ed29be29a929775ed07ab (patch) | |
| tree | 17718031046a1e912072db057993b478aa0ce06e /miasm/ir/translators/z3_ir.py | |
| parent | e9dee4eb5e8b8dc0b81e22598b754c8df29f1674 (diff) | |
| parent | 2bf07ad1eb835e12b4b3dbaf42f71adf888a8cc1 (diff) | |
| download | focaccia-miasm-3a2fb2472c0e8e01f84ed29be29a929775ed07ab.tar.gz focaccia-miasm-3a2fb2472c0e8e01f84ed29be29a929775ed07ab.zip | |
Merge pull request #1464 from mrexodia/python312
Python 3.12 support
Diffstat (limited to 'miasm/ir/translators/z3_ir.py')
| -rw-r--r-- | miasm/ir/translators/z3_ir.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/miasm/ir/translators/z3_ir.py b/miasm/ir/translators/z3_ir.py index 4b674c4e..c72ff36f 100644 --- a/miasm/ir/translators/z3_ir.py +++ b/miasm/ir/translators/z3_ir.py @@ -1,10 +1,11 @@ from builtins import map from builtins import range -import imp +import importlib.util import logging # Raise an ImportError if z3 is not available WITHOUT actually importing it -imp.find_module("z3") +if importlib.util.find_spec("z3") is None: + raise ImportError("No module named 'z3'") from miasm.ir.translators.translator import Translator |