XXX print path to see what's up on windows ci

a16z · Jan 22, 2025 · 1e8c6cd · 1e8c6cd
1 parent 57ac4f2
commit 1e8c6cd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
@@ -166,6 +166,9 @@ def load_config(_args) -> HalmosConfig:
             "could not find z3 on the PATH -- check your PATH/venv or pass --solver-command explicitly"
         )
 
+        # XXX undo this
+        print(f"PATH: {os.environ['PATH']}")
+
     # parse CLI args first, so that can get `--help` out of the way and resolve `--debug`
     # but don't apply the CLI overrides yet
     cli_overrides = arg_parser().parse_args(_args)