Skip to content

Debug optimizer steps.#7517

Merged
chriseth merged 1 commit intodevelopfrom
debugOptimizerSteps
Oct 16, 2019
Merged

Debug optimizer steps.#7517
chriseth merged 1 commit intodevelopfrom
debugOptimizerSteps

Conversation

@chriseth
Copy link
Copy Markdown
Contributor

@chriseth chriseth commented Oct 7, 2019

No description provided.

bshastry
bshastry previously approved these changes Oct 8, 2019
Copy link
Copy Markdown
Contributor

@bshastry bshastry left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, left a minor comment regarding debug info

cout << "== Running " << step << " did not cause changes." << endl;
else
{
cout << "== Running " << step << endl;
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
cout << "== Running " << step << endl;
cout << "== Running " << step << " changed the AST." << endl;

@chriseth chriseth force-pushed the debugOptimizerSteps branch from 0f654db to 45705b0 Compare October 16, 2019 12:06
@chriseth chriseth merged commit 9ec8bcd into develop Oct 16, 2019
@chriseth chriseth deleted the debugOptimizerSteps branch October 16, 2019 12:15
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