warn if z3 is not found

a16z · Jan 18, 2025 · 4973039 · 4973039
1 parent 71deed9
commit 4973039
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
@@ -161,6 +161,11 @@ def with_natspec(
 def load_config(_args) -> HalmosConfig:
     config = default_config()
 
+    if not config.solver_command:
+        warn(
+            "could not find z3 on the PATH -- check your PATH/venv or pass --solver-command explicitly"
+        )
+
     # 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)