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.

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

[DO NOT MERGE] Test using project context from Fuzz Introspector #192

Draft
wants to merge 46 commits into
base: main
Choose a base branch
from

Conversation

DonggeLiu
Copy link
Collaborator

@DonggeLiu DonggeLiu commented Mar 28, 2024

Continue from #150, and use a new branch to avoid repeatedly resolving merge conflicts.

This PR is based on #144 and is only designed to run experiments for it.

It is separated from #144 so that we can merge it and only enable context on all experiments when we are more stably relying on FI context info.

@DonggeLiu DonggeLiu added the Experiment-only A PR only to run experiments, do not merge it to main. label Mar 28, 2024
@DonggeLiu DonggeLiu marked this pull request as draft March 28, 2024 12:56
@DonggeLiu DonggeLiu changed the title [DO NOT MERGE] Test using project context from Fuzz Introspector #150 [DO NOT MERGE] Test using project context from Fuzz Introspector Mar 28, 2024
@oliverchang oliverchang changed the base branch from main to use_introspector May 3, 2024 05:52
@oliverchang oliverchang changed the base branch from use_introspector to use_intro May 3, 2024 05:53
@oliverchang
Copy link
Collaborator

/gcbrun request_pr_exp.py -n test-244

Base automatically changed from use_intro to main May 10, 2024 03:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Experiment-only A PR only to run experiments, do not merge it to main.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants