rr: add page (#3166)

2019-07-05 23:02:43 +02:00
parent 945a4bd35e
commit dacfef89ac
1 changed files with 12 additions and 0 deletions
--- a/pages/common/rr.md
+++ b/pages/common/rr.md
@@ -0,0 +1,12 @@
+# rr
+
+> Debugging tool designed to record and replay program execution.
+> More information: <https://rr-project.org/>.
+
+- Record an application:
+
+`rr record {{path/to/binary --arg1 --arg2}}`
+
+- Replay latest recorded execution:
+
+`rr replay`