Skip to content

Rd-gen #748

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 3 commits into from
Aug 30, 2022
Merged

Rd-gen #748

merged 3 commits into from
Aug 30, 2022

Conversation

Domonion
Copy link
Collaborator

Description

Moved child process communication to RD. Added ability to track process through JetBrains.Lifetimes. Refactored ConcreteExecutor to support JetBrains.Lifetimes and RD

  1. switched from Protocol.Command to rd generated model
  2. added utbot-rd project featuring LifetimedProcess, ProcessWithRdServer and minor rd-related utility classes
  3. Switched from message-driven ConcreteExecutor to callback rd model, featuring UtInstrumentationProcess

Type of Change

Please delete options that are not relevant.

  • Refactoring (typos and non-functional changes)
  • New feature (non-breaking change which adds functionality)

Automated Testing

org.utbot.examples.collections.ListsTest
org.utbot.examples.collections.MapsTest
org.utbot.external.api.UtBotJavaApi
org.utbot.examples.exceptions.JvmCrashExamplesTest
All tests should work

@Domonion Domonion requested a review from korifey August 19, 2022 15:35
@Domonion Domonion force-pushed the kononov-instrumentation-rdgen branch from a3b2388 to 04413f1 Compare August 22, 2022 08:46
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.

Formatting questions

I hope that you will write one or several docs or at least a brief description in the PR about:

  • How communication between child and main processes works
  • How to support new commands, some requirements and tips for this
  • A brief description about ChildProcess structure and workflow
  • A brief description about rdgen builds

@Domonion Domonion force-pushed the kononov-instrumentation-rdgen branch 3 times, most recently from 6dfbc94 to c686178 Compare August 26, 2022 16:45
@Domonion Domonion requested a review from SBOne-Kenobi August 29, 2022 07:50
@Domonion Domonion force-pushed the kononov-instrumentation-rdgen branch 3 times, most recently from 0565a73 to 0407bf5 Compare August 29, 2022 13:41
@Domonion Domonion requested a review from SBOne-Kenobi August 29, 2022 14:41
Domonion and others added 2 commits August 30, 2022 12:11
1. switched from Protocol.Command to rd generated model
2. added utbot-rd project featuring LifetimedProcess, ProcessWithRdServer and minor rd-related utility classes
3. Switched from message-driven ConcreteExecutor to callback rd model, featuring UtInstrumentationProcess
@Domonion Domonion force-pushed the kononov-instrumentation-rdgen branch from 3519b4a to 05a40d9 Compare August 30, 2022 09:11
@Domonion Domonion merged commit 00797a7 into main Aug 30, 2022
@Domonion Domonion deleted the kononov-instrumentation-rdgen branch August 30, 2022 09:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

4 participants