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

How to automatically start replay and go directly to main instead of _start? #2098

Closed
cirosantilli opened this Issue Sep 23, 2017 · 4 comments

Comments

Projects
None yet
2 participants
@cirosantilli

cirosantilli commented Sep 23, 2017

I've tried:

rr replay -o -q -o -ex -o 'start' "$@"

but it segfaults after I continue and:

rr replay -o -q -o -ex -o 'b main' -o -ex -o 'c' "$@"

says that the program is not yet started, so we can't continue.

@rocallahan

This comment has been minimized.

Member

rocallahan commented Sep 23, 2017

We would need to add another rr replay command-line option that adds a gdb option to be inserted after the -ex target ... option.

@rocallahan

This comment has been minimized.

Member

rocallahan commented Sep 24, 2017

rr replay -o -q -o -ex -o 'b main' -o -ex -o 'c' "$@"

This should work now.

@cirosantilli

This comment has been minimized.

cirosantilli commented Sep 25, 2017

Awesome! Putting all commands after target does seen like a better default.

Now I can do:

  rrc() ( rr record "$@" )
  rrp() ( rr replay -o -q -o -ex -o 'b main' -o -ex -o 'c' "$@" )
  rrr() ( rrc "$@" && rrp )

for the win 🎂

@rocallahan

This comment has been minimized.

Member

rocallahan commented Sep 25, 2017

It's a bit smarter than that. We only put continue commands (and following commands) after the target.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment