Alessandro Arzilli 6b20e880e2 *: add option to re-record recorded targets (#1702) ... Adds a '-r' option to the 'restart' command (and to the Restart API) that re-records the target when using rr. Also moves the code to delete the trace directory inside the gdbserial package.		2019-10-21 11:48:04 -07:00
..
dlv	*: add option to re-record recorded targets (#1702)	2019-10-21 11:48:04 -07:00