Skip to content

Conversation

@adpaco-aws
Copy link
Contributor

@adpaco-aws adpaco-aws commented Nov 18, 2021

Description of changes:

Declare each Litani struct field as public to remove "field is never read" warnings.

Call-outs:

Testing:

  • How is this change tested? Running dashboard.

  • Is this a refactor change? No.

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

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

@adpaco-aws adpaco-aws requested a review from a team as a code owner November 18, 2021 21:08
Copy link
Contributor

Choose a reason for hiding this comment

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

I don't think we need this hack anymore. We should be able to verify binary crates now.

Copy link
Contributor

Choose a reason for hiding this comment

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

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Thanks!! I have left a review there and hope we can merge it soon. Should we reuse this PR for the warning changes or close it and open a new one with them?

Copy link
Contributor

Choose a reason for hiding this comment

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

We can reuse it. Maybe just make sure you edit the title!

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Updated PR to contain only the warnings changes.

@adpaco-aws adpaco-aws changed the title Dashboard: Make main functions public unless they are public Dashboard: Avoid "field is never read" warnings Nov 22, 2021
@adpaco-aws adpaco-aws merged commit a031ffd into model-checking:main Nov 30, 2021
@adpaco-aws adpaco-aws deleted the dash-pub branch November 30, 2021 13:47
tedinski pushed a commit to tedinski/rmc that referenced this pull request Apr 26, 2022
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