Skip to content

Append harness name to the graph file (debug feature only) - #3528

Merged
celinval merged 1 commit into
model-checking:mainfrom
celinval:issue-xxxx-fix-dot
Sep 23, 2024
Merged

Append harness name to the graph file (debug feature only)#3528
celinval merged 1 commit into
model-checking:mainfrom
celinval:issue-xxxx-fix-dot

Conversation

@celinval

Copy link
Copy Markdown
Contributor

Our debug feature that dumps the call graph into a file was using the crate name, which meant that the call graph kept getting overriden.

Instead, append the name of the harness to the file.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

Our debug feature that dumps the call graph into a file was using the
crate name, which meant that the call graph kept getting overriden.
Instead, append the name of the harness to the file.
@celinval
celinval requested a review from a team as a code ownerSeptember 20, 2024 22:25
@github-actionsgithub-actionsBot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Sep 20, 2024
@celinvalcelinval changed the title Append harness name to the graph fileAppend harness name to the graph file (debug feature only)Sep 20, 2024
@celinval
celinval added this pull request to the merge queueSep 23, 2024
Merged via the queue into model-checking:main with commit a422ccaSep 23, 2024
@celinvalcelinval mentioned this pull request Oct 8, 2024
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Z-EndToEndBenchCITag a PR to run benchmark CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@celinval@carolynzech