()
| 15 | |
| 16 | |
| 17 | def parse_args() -> argparse.Namespace: |
| 18 | parser = argparse.ArgumentParser(description="Profile a single resumed jcode spawn") |
| 19 | parser.add_argument("--binary", default="./target/selfdev/jcode") |
| 20 | parser.add_argument("--timeout", type=float, default=20.0) |
| 21 | parser.add_argument("--cwd", default=os.getcwd()) |
| 22 | parser.add_argument("--json", action="store_true", help="Emit JSON summary") |
| 23 | return parser.parse_args() |
| 24 | |
| 25 | |
| 26 | def wait_for_socket(path: Path, timeout_s: float = 10.0) -> None: |