Skip to content

Add #region name for generated Python tests #1853

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 4 commits into from
Feb 27, 2023
Merged

Add #region name for generated Python tests #1853

merged 4 commits into from
Feb 27, 2023

Conversation

tamarinvs19
Copy link
Collaborator

Description

Now all python tests have region cluster FUZZING

Fixes #1804

How to test

Manual tests

See #1804.

Self-check list

Check off the item if the statement is true. Hint: [x] is a marked item.

Please do not delete the list or its items.

  • I've set the proper labels for my PR (at least, for category and component).
  • PR title and description are clear and intelligible.
  • I've added enough comments to my code, particularly in hard-to-understand areas.
  • The functionality I've repaired, changed or added is covered with automated tests.
  • Manual tests have been provided optionally.
  • The documentation for the functionality I've been working on is up-to-date.

@tamarinvs19 tamarinvs19 added comp-summaries Something related to the method names, code comments and display names generation lang-python Issue is related to python support ctg-bug-fix PR is fixing a bug labels Feb 26, 2023
@tamarinvs19 tamarinvs19 self-assigned this Feb 26, 2023
tyuldashev
tyuldashev reviewed Feb 27, 2023
View reviewed changes
Copy link
Collaborator

@tyuldashev tyuldashev left a comment

Choose a reason for hiding this comment

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

Could it be "FUZZER" instead of "FUZZING" to be consistent with UTBot Java?

@tamarinvs19
Copy link
Collaborator Author

Could it be "FUZZER" instead of "FUZZING" to be consistent with UTBot Java?

Fixed

@tamarinvs19 tamarinvs19 enabled auto-merge (squash) February 27, 2023 08:12
@tamarinvs19 tamarinvs19 merged commit aff18de into main Feb 27, 2023
@tamarinvs19 tamarinvs19 deleted the tamarinvs19/utbot-python-regions branch February 27, 2023 08:29
@alisevych alisevych added this to the 2023.03 Release milestone Mar 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tyuldashev tyuldashev tyuldashev approved these changes

@tochilinak tochilinak Awaiting requested review from tochilinak

Assignees

@tamarinvs19 tamarinvs19

Labels
comp-summaries Something related to the method names, code comments and display names generation ctg-bug-fix PR is fixing a bug lang-python Issue is related to python support
Projects
None yet
Milestone
2023.3 Release
Development

Successfully merging this pull request may close these issues.

Empty #region for generated Python tests
3 participants
@tamarinvs19 @tyuldashev @alisevych