From 9418b9df39c8639be80b3e0a338e73a735f7d15c Mon Sep 17 00:00:00 2001 From: Marco Eilers Date: Thu, 24 Oct 2024 00:51:53 +0200 Subject: [PATCH] Debugging Z3 path issues on Windows --- src/nagini_translation/lib/config.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/nagini_translation/lib/config.py b/src/nagini_translation/lib/config.py index 6954d384..d08155cf 100644 --- a/src/nagini_translation/lib/config.py +++ b/src/nagini_translation/lib/config.py @@ -223,6 +223,10 @@ def _get_z3_path(): pydir = os.path.abspath(os.path.dirname(script_dir)) print(pydir) print(os.listdir(pydir)) + bindir = os.path.join(pydir, 'bin') + print(bindir) + print(os.listdir(bindir)) + raise Exception if os.path.exists(script_path):