Skip to content

Rename taint configuration classes #1955

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.

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

Merged
merged 3 commits into from
Mar 15, 2023
Merged

Conversation

mmvpm
Copy link
Collaborator

@mmvpm mmvpm commented Mar 15, 2023

Description

Added the "Dto" prefix to all taint config classes

How to test

Automated tests

Please specify the automated tests for your code changes: you should either mention the existing tests or add the new ones.

The proposed changes are verified with tests:
org/utbot/taint/parser

Self-check list

  • 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.
  • The documentation for the functionality I've been working on is up-to-date.

@mmvpm mmvpm added ctg-refactoring Issue related to refactoring process comp-taint-analysis labels Mar 15, 2023
@mmvpm mmvpm requested a review from sergeypospelov March 15, 2023 12:57
@mmvpm mmvpm self-assigned this Mar 15, 2023
@mmvpm mmvpm enabled auto-merge (squash) March 15, 2023 13:13
@mmvpm mmvpm merged commit b071cf5 into main Mar 15, 2023
@mmvpm mmvpm deleted the ideaseeker/rename_taint_config_classes branch March 15, 2023 15:01
mmvpm added a commit that referenced this pull request Apr 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
comp-taint-analysis ctg-refactoring Issue related to refactoring process
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants