From dacfef89ace9e3da64a369e3fbc8977d5a98f2a7 Mon Sep 17 00:00:00 2001 From: Lars Maier Date: Fri, 5 Jul 2019 23:02:43 +0200 Subject: [PATCH] rr: add page (#3166) --- pages/common/rr.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 pages/common/rr.md diff --git a/pages/common/rr.md b/pages/common/rr.md new file mode 100644 index 0000000000..766bff5725 --- /dev/null +++ b/pages/common/rr.md @@ -0,0 +1,12 @@ +# rr + +> Debugging tool designed to record and replay program execution. +> More information: . + +- Record an application: + +`rr record {{path/to/binary --arg1 --arg2}}` + +- Replay latest recorded execution: + +`rr replay`