Skip to content

Commit

Permalink
Collect SPMI collections as part of Fuzzlyn pipeline (#97154)
Browse files Browse the repository at this point in the history
This will include SPMI collections recorded over the reduction process
in the zip artifact produced by the Fuzzlyn runs.
  • Loading branch information
jakobbotsch committed Jan 18, 2024
1 parent 05fabac commit 3ca0c5a
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions src/coreclr/scripts/fuzzlyn_run.py
Original file line number Diff line number Diff line change
Expand Up @@ -135,10 +135,13 @@ def run(self):
if reduce_this:
print("Reducing {}".format(ex['Seed']))
output_path = path.join(self.examples_dir, str(ex["Seed"]) + ".cs")
spmi_collections_path = path.join(self.examples_dir, str(ex["Seed"]) + "_spmi")
os.mkdir(spmi_collections_path)
cmd = [self.fuzzlyn_path,
"--host", self.host_path,
"--reduce",
"--seed", str(ex['Seed']),
"--collect-spmi-to", spmi_collections_path,
"--output", output_path]
run_command(cmd)
if path.exists(output_path):
Expand Down

0 comments on commit 3ca0c5a

Please sign in to comment.