-
Notifications
You must be signed in to change notification settings - Fork 886
docs: document replay command in CLI reference #2919
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. Weβll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change | ||||
|---|---|---|---|---|---|---|
|
|
@@ -97,3 +97,20 @@ Clear JIT compilation cache: | |||||
| .. code-block:: bash | ||||||
|
|
||||||
| flashinfer clear-cache | ||||||
|
|
||||||
| Replay Recorded Calls | ||||||
| --------------------- | ||||||
|
|
||||||
| Replay API dumps captured by the Level 10 "Flight Recorder" logging mode: | ||||||
|
|
||||||
| .. code-block:: bash | ||||||
|
|
||||||
| # Replay all recorded calls in a dump session | ||||||
| flashinfer replay --dir ./flashinfer_dumps | ||||||
|
|
||||||
| # Replay a single recorded call | ||||||
| flashinfer replay --dir ./flashinfer_dumps/<dump_directory> | ||||||
|
||||||
| flashinfer replay --dir ./flashinfer_dumps/<dump_directory> | |
| flashinfer replay --dir ./flashinfer_dumps/DUMP_DIRECTORY_NAME |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The
replaycommand not only executes the recorded calls but also verifies the results against the original outputs. Explicitly mentioning this verification capability would better reflect the command's primary purpose of ensuring correctness.