Skip to content

Fixed missing support of manual UtSettings update #654

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 1 commit into from
Aug 3, 2022

Conversation

Damtev
Copy link
Member

@Damtev Damtev commented Aug 3, 2022

Description

We have a toString implementation for UtSettings that uses default settings values and update from property file, but does not consider manual updates of UtSettings. This PR added this missed support of manual updates.

Type of Change

Please delete options that are not relevant.

  • Minor bug fix (non-breaking small changes)

How Has This Been Tested?

Manual Scenario

Run a generation of parametrized tests, checked that org.utbot.framework.UtSettings#getSubstituteStaticsWithSymbolicVariable became to false in toString.

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

@Damtev Damtev added the ctg-bug Issue is a bug label Aug 3, 2022
@Damtev Damtev requested a review from ArsenHD August 3, 2022 12:33
@Damtev Damtev enabled auto-merge (squash) August 3, 2022 13:06
@Damtev Damtev merged commit 2757d01 into main Aug 3, 2022
@Damtev Damtev deleted the damtev/settings_rendering_fix branch August 3, 2022 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ctg-bug Issue is a bug
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants