Added env vars and tilde expansion for esbmc_path config option.

esbmc · Jan 31, 2024 · bed04a4 · bed04a4
1 parent a2dcc23
commit bed04a4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/esbmc_ai_lib/config.py b/esbmc_ai_lib/config.py
@@ -420,6 +420,8 @@ def load_config(file_path: str) -> None:
         "esbmc_path",
         esbmc_path,
     )
+    # Expand variables and tilde.
+    esbmc_path = os.path.expanduser(os.path.expandvars(esbmc_path))
 
     # Load the AI data from the file that will command the AI for all modes.
     printv("Initializing AI data")