From 85a19f8934c9c0f53adfb0895cdcbbd39705d738 Mon Sep 17 00:00:00 2001 From: pompolic <pompolic@special-circumstanc.es> Date: Tue, 8 Feb 2022 17:33:53 +0100 Subject: [PATCH] Fix wrong command in readme "hammer-parse-stop-at-input-pos" is correctly "hammer-parse-stop-at-pos" --- gdb-port/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gdb-port/README.md b/gdb-port/README.md index 0844f4b..92946b9 100644 --- a/gdb-port/README.md +++ b/gdb-port/README.md @@ -30,7 +30,7 @@ The tool is in an experimental stage. The interface is liable to change. ## Execution control ``` -hammer-parse-stop-at-input-pos <number> +hammer-parse-stop-at-pos <number> ``` Stops execution once the parsing process reaches past position `<number>` in the input stream. Two caveats: since parsers can consume more than one byte, the argument given is a lower bound of the actual stop position. Additionally, if a parser consumes enough input to reach the requested position, but would later fail, execution is stopped when position `<number>` is reached. -- GitLab