From 9d0dad5244786b85c58f0a4c0334a0bd7c898643 Mon Sep 17 00:00:00 2001 From: Marina Polishchuk Date: Sun, 10 Jul 2022 23:41:43 -0700 Subject: [PATCH] Clarify documentation in the replay log. --- restler/utils/logger.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/restler/utils/logger.py b/restler/utils/logger.py index d2f97617..4f6f0972 100644 --- a/restler/utils/logger.py +++ b/restler/utils/logger.py @@ -521,8 +521,9 @@ def log_new_bug(): if additional_log_str is not None: print(f" {additional_log_str}\n", file=bug_file) print(f" Hash: {bug_hash}\n", file=bug_file) - print(" To attempt to reproduce this bug using restler, run restler with the command", file=bug_file) - print(" line option of --replay_log .", file=bug_file) + print(" To attempt to reproduce this bug using restler, run RESTler in replay mode", file=bug_file) + print(" with the command line option of --replay_log .", file=bug_file) + print(" See the documentation at https://github.com/microsoft/restler-fuzzer/blob/main/docs/user-guide/Replay.md for examples.", file=bug_file) print(" If an authentication token is required, you must also specify the token_refresh_cmd.", file=bug_file) print("\n This log may contain specific values for IDs or names that were generated", file=bug_file) print(" during fuzzing, using the fuzzing dictionary. Such names will be re-played", file=bug_file)