Skip to content

Fix soot initialization #849 #855

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
Sep 5, 2022
Merged

Fix soot initialization #849 #855

merged 2 commits into from
Sep 5, 2022

Conversation

sergeypospelov
Copy link
Member

@sergeypospelov sergeypospelov commented Sep 5, 2022 •
edited
Loading

Description

  • Add option to reinitialize Soot even if the buildDir is the same. This allows us to reinitialize Soot when the source code is modified.

Fixes #849

Type of Change

  • Bug fix (non-breaking change which fixes an issue)

How Has This Been Tested?

Manual Scenario

To reproduce section from #849 passes.

Checklist:

  • 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
  • No new warnings
  • All tests pass locally with my changes

@sergeypospelov sergeypospelov enabled auto-merge (squash) September 5, 2022 06:59
@SBOne-Kenobi SBOne-Kenobi self-requested a review September 5, 2022 07:02
SBOne-Kenobi
SBOne-Kenobi approved these changes Sep 5, 2022
View reviewed changes
Copy link
Collaborator

@SBOne-Kenobi SBOne-Kenobi left a comment

Choose a reason for hiding this comment

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

LGTM

@sergeypospelov sergeypospelov merged commit 1fe386c into main Sep 5, 2022
@sergeypospelov sergeypospelov deleted the sergey/fix_soot_initialization branch September 5, 2022 07:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@SBOne-Kenobi SBOne-Kenobi SBOne-Kenobi approved these changes

@volivan239 volivan239 Awaiting requested review from volivan239

Assignees
No one assigned
Labels
None yet
Projects
UTBot Java
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Plugin fails with error on newly added to src code classes
2 participants
@sergeypospelov @SBOne-Kenobi