Debugging Z3 path issues on Windows

marcoeilers · Oct 23, 2024 · 7bb9305 · 7bb9305
1 parent 7be81b8
commit 7bb9305
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/nagini_translation/lib/config.py b/src/nagini_translation/lib/config.py
@@ -220,6 +220,9 @@ def _get_z3_path():
     print(script_path)
     print(os.path.exists(script_path))
     print(os.listdir(script_dir))
+    pydir = os.path.abspath(os.path.dirname(script_dir))
+    print(pydir)
+    print(os.listdir(pydir))
 
     raise Exception
     if os.path.exists(script_path):