more poor man debugging github actions

ucsb-seclab · Sep 27, 2023 · fb665eb · fb665eb
1 parent c958288
commit fb665eb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/resources/yices_api.py b/resources/yices_api.py
@@ -222,9 +222,9 @@ def loadYices():
     global libyicespath
     error_msg = "Yices dynamic library not found."
     # attempt loading yices from both $PATH and default install location
-    print(f'{os.environ("PATH")=}')
-    print(f'{os.environ("PYTHONPATH")=}')
-    print(f'{os.environ("VIRTUAL_ENV")=}')
+    print(f'{os.environ.get("PATH")=}')
+    print(f'{os.environ.get("PYTHONPATH")=}')
+    print(f'{os.environ.get("VIRTUAL_ENV")=}')
     for path in sys.path + ['/usr/local/lib']:
         if _loadYicesFromPath(path, libyicespath):
             return