Skip to content

delete fuzzbench profile - #1941

Closed
tokatoka wants to merge 1 commit into
mainfrom
delete-fuzzbench-profile
Closed

tokatoka wants to merge 1 commit into
mainfrom
delete-fuzzbench-profile

Conversation

@tokatoka

Copy link
Copy Markdown
Member

It's impossible to debug.
I don't want to wait for 5 hours again just to find out there's NO symbol after I attached with gdb

@addisoncrump

Copy link
Copy Markdown
Member

We cannot build in the Fuzzbench environment with debug symbols, as the binary produced is too large.

@tokatoka

Copy link
Copy Markdown
Member Author

which benchmark exactly was not building with non-strip/debug build?

@addisoncrump

Copy link
Copy Markdown
Member

From here: google/fuzzbench#1902
You can check CI for which targets fail to build.

@tokatoka tokatoka closed this Mar 18, 2024
@tokatoka
tokatoka deleted the delete-fuzzbench-profile branch February 13, 2025 17:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants