<div dir="ltr"><div class="gmail_default" style="font-family:courier new,monospace"><span style="font-family:arial">On Wed, May 22, 2013 at 7:22 PM, Chris Jones </span><span dir="ltr" style="font-family:arial"><<a href="mailto:jones.chris.g@gmail.com" target="_blank">jones.chris.g@gmail.com</a>></span><span style="font-family:arial"> wrote:</span><br>
</div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div style="font-family:'courier new',monospace">
 - all the new code is in $rr/src/debugger; it's cloned from replayer/</div></div></blockquote><div><br></div><div style="font-family:'courier new',monospace" class="gmail_default">Implementation detail: I decided it was cleaner to tack the new code onto replayer/, and make debugging with gdb the default behavior for --replay.  To restore the old behavior for e.g. unit tests, I've added a --autopilot flag.  A pull request with the initial code is forthcoming.</div>
<div style="font-family:'courier new',monospace" class="gmail_default"><br></div><div style="font-family:'courier new',monospace" class="gmail_default">Cheers,</div><div style="font-family:'courier new',monospace" class="gmail_default">
Chris</div></div></div></div>