Skip to content

Possible fix to avoid IndexNotReadyException. #364

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 1 commit into from
Jun 30, 2022
Merged

Possible fix to avoid IndexNotReadyException. #364

merged 1 commit into from
Jun 30, 2022

Conversation

@nikitavlaev
Copy link
Member

@nikitavlaev nikitavlaev commented Jun 30, 2022 •
edited
Loading

Description

Use runWhenSmart to avoid IndexNotReadyException.

Fixes # (273)

Type of Change

Please delete options that are not relevant.

  • Minor bug fix (non-breaking small changes)

How Has This Been Tested?

Manual Scenario

Reproducement from the issue.

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
  • Tests that prove my change is effective
  • All tests pass locally with my changes
@nikitavlaev nikitavlaev self-assigned this Jun 30, 2022
@nikitavlaev nikitavlaev enabled auto-merge (rebase) June 30, 2022 15:24
@nikitavlaev nikitavlaev merged commit 10457f0 into main Jun 30, 2022
@nikitavlaev nikitavlaev deleted the index-not-ready-fix branch June 30, 2022 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants

@nikitavlaev @EgorkaKulikov