Skip to content

Fix IU plugin compilation#1808

Merged
rudolf101 merged 3 commits into
mainfrom
vladislav/js-cg-fix
Feb 17, 2023
Merged

Fix IU plugin compilation#1808
rudolf101 merged 3 commits into
mainfrom
vladislav/js-cg-fix

Conversation

@rudolf101

Copy link
Copy Markdown
Member

Description

Fixed the build of the plugin for the IU version due to a compilation error in the JavaScript module after #1791

Manual tests

Various scenarios have been tested. You can find the examples in the folder `/utbot-js/samples' and try to run UTBot.

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

@rudolf101 rudolf101 added comp-codegen Issue is related to code generator lang-javascript Issue is related to JavaScript support ctg-bug-fix PR is fixing a bug labels Feb 17, 2023
@rudolf101 rudolf101 requested a review from Markoutte February 17, 2023 09:39
@rudolf101 rudolf101 self-assigned this Feb 17, 2023
@rudolf101 rudolf101 enabled auto-merge (squash) February 17, 2023 09:41
@rudolf101 rudolf101 merged commit 91001ef into main Feb 17, 2023
@rudolf101 rudolf101 deleted the vladislav/js-cg-fix branch February 17, 2023 09:54
@rudolf101

Copy link
Copy Markdown
Member Author

Produce #1812

@alisevych alisevych added this to the 2023.03 Release milestone Mar 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp-codegen Issue is related to code generator ctg-bug-fix PR is fixing a bug lang-javascript Issue is related to JavaScript support

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants