Debugging Z3 path issues on Windows

marcoeilers · Oct 23, 2024 · 9418b9d · 9418b9d
1 parent 7bb9305
commit 9418b9d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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):