Skip to content
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.

Sign up for GitHub

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

Jump to bottom

document search for source files #482

Closed
lievenhey opened this issue Apr 27, 2023 · 2 comments
Closed

document search for source files #482

lievenhey opened this issue Apr 27, 2023 · 2 comments
Labels
enhancement

Comments

@lievenhey
Copy link
Contributor

Currently you can use --debugPaths and --extraLibPaths to add a path to the disassembler for source code search.

I don't know if we should use these paths or add new ones.
@GitMensch
Copy link
Contributor

I'd vote for --sourcePaths because you commonly have the symbol files - which the old options can adjust post-recording - in the place that they had during recording, but the source is often kept separate from binaries/debug info and may not was in the place it had during recording (especially when recording with an external library where you get the matching source afterwards and have that local).

@GitMensch GitMensch mentioned this issue Jul 14, 2023
Merged
@GitMensch
Copy link
Contributor

Solved with #497 and should be closed as fixed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@GitMensch @lievenhey