diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/harness/reach.py')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/harness/reach.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debug/risc-v-gsp-rm-vm/harness/reach.py b/debug/risc-v-gsp-rm-vm/harness/reach.py index 9df0c4c..68934b1 100644 --- a/debug/risc-v-gsp-rm-vm/harness/reach.py +++ b/debug/risc-v-gsp-rm-vm/harness/reach.py @@ -8,7 +8,7 @@ I trigger it, what arguments does it need, and what happens when it runs?* Methods attempted (``--method auto`` tries them in this order and stops at the first hit unless ``--all-methods`` is given): -* ``stimulus`` -- run a supplied green-eye script (``--stimulus script.py``) +* ``stimulus`` -- run a supplied risc-v-gsp-rm-debugger script (``--stimulus script.py``) or probe spec (``--probe probe.json``) under instrumentation; * ``trigger`` -- discover the dispatch entry that routes to the target (the demo's handler table), apply that command, and run bounded; @@ -671,7 +671,7 @@ def trace_window(success: Attempt | None) -> dict | None: def render_markdown(report: dict, options: ReachOptions) -> str: lines = [ - "# green-eye reachability report", + "# risc-v-gsp-rm-debugger reachability report", "", "> TOOL IN DEVELOPMENT - NOT READY YET! Generated by `harness/reach.py`.", "", @@ -874,7 +874,7 @@ def build_parser() -> argparse.ArgumentParser: parser.add_argument("--arg-fill", choices=("zero", "sentinel"), default="zero", help="auto-fill value policy") parser.add_argument("--timeout", type=float, default=0.5, help="per-attempt budget (seconds)") parser.add_argument("--settle", type=float, default=2.0, help="self-test settle budget before trigger") - parser.add_argument("--stimulus", help="green-eye script to run under instrumentation") + parser.add_argument("--stimulus", help="risc-v-gsp-rm-debugger script to run under instrumentation") parser.add_argument("--probe", help="JSON probe spec to replay (see --emit-probe)") parser.add_argument("--emit-probe", help="where to write the repeatable probe spec (default <out>/probe.json)") parser.add_argument("--record", nargs="?", const=True, default=None, help="record attempts under DIR/<method>") |