Skip to content
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

Fix utbot-maven compilation #1049

Merged
merged 1 commit into from
Oct 1, 2022
Merged

Fix utbot-maven compilation #1049

merged 1 commit into from
Oct 1, 2022

Conversation

dtim
Copy link
Collaborator

@dtim dtim commented Oct 1, 2022

Description

It seems that utbot-maven project does not compile because of changed interface of TestCaseGenerator.
This PR corrects the buildDirs argument value to match the new interface.

There is no corresponding issue for this quick fix.

Type of Change

  • Minor bug fix (non-breaking small changes)

How Has This Been Tested?

Automated Testing

utbot-maven project should be built. All tests should pass.

Checklist (remove irrelevant options):

This is the author self-check list

  • 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
  • New tests have been added
  • All tests pass locally with my changes

Additional details

It seems that utbot-maven project is missing from the CI scripts. Is it correct?

@dtim dtim requested a review from volivan239 October 1, 2022 18:12
@dtim dtim enabled auto-merge (squash) October 1, 2022 20:36
@dtim dtim merged commit 54a4f88 into main Oct 1, 2022
@dtim dtim deleted the dtim/fix-utbot-maven-build branch October 1, 2022 21:16
@alisevych alisevych added this to the 2022.10.1 Release milestone Oct 7, 2022
AbdullinAM pushed a commit to AbdullinAM/UTBotJava that referenced this pull request Oct 17, 2022
AbdullinAM pushed a commit to AbdullinAM/UTBotJava that referenced this pull request Oct 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants