feat: -vvv dumps conifg to output (#261)

* feat: -vvv dumps conifg to output

* fix: prevent hatch pre-install command from failing when CPU_ONLY is unset

Author: Yiannis128

esbmc_ai/__main__.py

@@ -2,6 +2,7 @@
 
 # Author: Yiannis Charalambous 2023
 
+import json
 import logging
 import sys
 
@@ -201,12 +202,29 @@ def main() -> None:
 
     cm.set_verifier_by_name(config.verifier.name)
 
+    # Show full config at highest verbosity level (-vvv)
+    if config.verbose_level >= 3:
+        logger.debug("Global configuration:")
+        print(json.dumps(config.model_dump(), indent=2, default=str))
+        print()
+
     # Run the command
     command_name = config.command_name
     command_names: list[str] = cm.command_names
     if command_name in command_names:
         logger.info(f"Running Command: {command_name}\n")
         command: ChatCommand = cm.commands[command_name]
+
+        # Show command config at highest verbosity level (-vvv)
+        if config.verbose_level >= 3:
+            try:
+                cmd_config = command.config
+                logger.debug(f"Command '{command_name}' configuration:")
+                print(json.dumps(cmd_config.model_dump(), indent=2, default=str))
+                print()
+            except NotImplementedError:
+                pass
+
         result: CommandResult | None = command.execute()
         if result:
             print(result)

esbmc_ai/commands/fix_code_command.py

@@ -136,7 +136,6 @@ def execute(self) -> FixCodeCommandResult:
         solution: Solution = Solution([])
         solution.add_source_file(source_file)
 
-        self._logger.info(f"FixCodeConfig: {self._config}")
 
         verifier: Any = ComponentManager().get_verifier("esbmc")
         assert isinstance(verifier, ESBMC)

pyproject.toml

@@ -58,7 +58,7 @@ dependencies = [
 
 pre-install-commands = [
   # Preinstall hook for PyTorch - installs CPU-only version if CPU_ONLY=true
-  '[ -n "$CPU_ONLY" ] && pip install --no-cache-dir torch --index-url https://download.pytorch.org/whl/cpu',
+  '[ -n "$CPU_ONLY" ] && pip install --no-cache-dir torch --index-url https://download.pytorch.org/whl/cpu || true',
 ]
 
 [tool.hatch.envs.default.scripts]