Skip to content

Better naming #421

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 2 commits into from
Jul 6, 2022
Merged

Better naming #421

merged 2 commits into from
Jul 6, 2022

Conversation

@denis-fokin
Copy link
Collaborator

Description

Better wording in comments section

Type of Change

  • Minor bug fix (non-breaking small changes)

How Has This Been Tested?

Automated Testing

Not applicable.

Manual Scenario

Not applicable.

Checklist (remove irrelevant options):

  • The change followed the style guidelines of the UTBot project
  • Self-review of the code is passed
  • The change contains enough commentaries, particularly in hard-to-understand areas
  • New documentation is provided or existed one is altered
  • No new warnings
  • Tests that prove my change is effective
  • All tests pass locally with my changes
@denis-fokin denis-fokin requested a review from CaelmBleidd July 5, 2022 13:58
@denis-fokin denis-fokin enabled auto-merge (rebase) July 6, 2022 06:51
@denis-fokin denis-fokin merged commit 2ec8fb3 into main Jul 6, 2022
@denis-fokin denis-fokin deleted the denis-fokin/better-naming branch July 6, 2022 06:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants

@denis-fokin @CaelmBleidd