Skip to content

Rider plugin 223#2064

Merged
Domonion merged 7 commits intomainfrom
kononov-rider-plugin-enhacements
Mar 29, 2023
Merged

Rider plugin 223#2064
Domonion merged 7 commits intomainfrom
kononov-rider-plugin-enhacements

Conversation

@Domonion
Copy link
Copy Markdown
Collaborator

  1. Removed unnecessary SolutionComponents
  2. ProjectPublisher now cancels correctly
  3. ProjectPublisher correctly spawn publishing process
  4. VSharp type loading fixes, this allows generating tests for Rider SDK classes
  5. Assemblies now resolve from Rider-provided set of assemblies
  6. Removed VSharp log directories after test generation
  7. Correctly checks for overloads in method
  8. Bumped minimum compatible version to .NET 7
  9. Bumped rd version to 2022.3.3
  10. Rider plugin now shows consoles for publish and vsharp processes
  11. Rider version is targeting 223
  12. Introduced UtBotRiderModel, which available when includeRiderInBuild=true. It copies rider-model.jar to generate necessary files

1. Removed unnecessary SolutionComponents
2. ProjectPublisher now cancels correctly
3. ProjectPublisher correctly spawn publishing process
4. VSharp type loading fixes, this allows generating tests for Rider SDK classes
5. Assemblies now resolve from Rider-provided set of assemblies
6. Removed VSharp log directories after test generation
7. Correctly checks for overloads in method
8. Bumped minimum compatible version to .NET 7
1. Bumped rd version to 2022.3.3
2. Rider plugin now shows consoles for publish and vsharp processes
3. Rider version is targeting 223
4. Introduced UtBotRiderModel, which available when includeRiderInBuild=true. It copies rider-model.jar to generate necessary files
review fixes
@Domonion Domonion requested a review from mxprshn March 29, 2023 13:54
@Domonion Domonion enabled auto-merge (squash) March 29, 2023 14:58
@Domonion Domonion merged commit b8310be into main Mar 29, 2023
@Domonion Domonion deleted the kononov-rider-plugin-enhacements branch March 29, 2023 16:29
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.

2 participants