Skip to content

Store per-campaign startup parameters#86

Closed
Copilot wants to merge 2 commits into
masterfrom
copilot/store-per-campaign-startup-parameters
Closed

Store per-campaign startup parameters#86
Copilot wants to merge 2 commits into
masterfrom
copilot/store-per-campaign-startup-parameters

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 17, 2026

  • Add CampaignStartupParams struct to infra/types/src/lib.rs (num_cpus, duration_secs, engines, sanitizers, commit_hash)
  • Add commit_hash: String to EnvironmentParams in fuzzor/src/env/mod.rs
  • Add get_num_cpus() method to Environment trait in fuzzor/src/env/mod.rs
  • Update CampaignSchedulerInput in fuzzor/src/project/scheduler.rs to include commit_hash
  • Update all schedulers to store and pass commit_hash in EnvironmentParams
  • Update handle_new_build in fuzzor/src/project/mod.rs to pass commit hash
  • Add store_startup_params to HarnessState trait and implement in PersistentHarnessState (writes startup_params.json to campaign directory)
  • Implement get_num_cpus() in DockerEnv (returns machine.cores.len())
  • Add commit_hash and duration fields to Campaign struct; update Campaign::new() and Campaign::run() to store startup params at campaign start
  • Add test for store_startup_params in harness.rs
  • All 5 tests pass, CodeQL shows 0 alerts
  • Squashed "Initial plan" empty commit
Original prompt

This section details on the original issue you should resolve

<issue_title>Store per-campaign startup parameters</issue_title>
<issue_description>For each campaign we should store (in addition to the coverage summary and stats we already store) the startup parameters, such as:

  • Number of CPUs
  • Duration
  • Config (fuzzers, sanitizers, ...)
  • Commit hash of the target binary</issue_description>

<agent_instructions>make no mistakes</agent_instructions>

Comments on the Issue (you are @copilot in this section)


💬 Send tasks to Copilot coding agent from Slack and Teams to turn conversations into code. Copilot posts an update in your thread when it's finished.

…mmit_hash)

Co-authored-by: dergoegge <8077169+dergoegge@users.noreply.github.com>
Copilot AI changed the title [WIP] Add per-campaign startup parameters storage Store per-campaign startup parameters Mar 17, 2026
Copilot AI requested a review from dergoegge March 17, 2026 15:52
@dergoegge dergoegge marked this pull request as ready for review April 9, 2026 09:59
@dergoegge dergoegge requested a review from marcofleon April 9, 2026 09:59
@dergoegge
Copy link
Copy Markdown
Owner

@copilot remove the "Initial plan" commit, otherwise this is rfm

@marcofleon
Copy link
Copy Markdown
Collaborator

lgtm

Copilot stopped work on behalf of dergoegge due to an error April 9, 2026 12:45
@marcofleon marcofleon closed this Apr 10, 2026
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.

Store per-campaign startup parameters

3 participants