[fix] style fixes for UTBot integration

VSharp-team · Nov 28, 2022 · 8e0369f · 8e0369f
1 parent 0f15a8d
commit 8e0369f
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 13 deletions.
diff --git a/VSharp.API/VSharp.cs b/VSharp.API/VSharp.cs
@@ -129,7 +129,7 @@ public void GenerateReport(TextWriter writer)
         /// <summary>
         /// Gets all generated '.vst' files
         /// </summary>
-        internal IEnumerable<FileInfo> Results()
+        public IEnumerable<FileInfo> Results()
         {
             return OutputDir.GetFiles("*.vst");
         }

diff --git a/VSharp.CSharpUtils/VSharp.CSharpUtils.csproj b/VSharp.CSharpUtils/VSharp.CSharpUtils.csproj
@@ -12,7 +12,6 @@
     </PropertyGroup>
 
     <ItemGroup>
-      <PackageReference Include="CsvHelper" Version="30.0.1" />
       <PackageReference Include="Microsoft.Extensions.DependencyInjection" Version="2.0.0" />
       <PackageReference Include="Microsoft.Extensions.DependencyModel" Version="3.0.0" />
     </ItemGroup>

diff --git a/VSharp.TestRenderer/RendererTool.cs b/VSharp.TestRenderer/RendererTool.cs
@@ -471,23 +471,28 @@ private static (SyntaxNode, SyntaxNode?, string, Assembly) RunTestsRenderer(
     }
 
     // Writing generated tests and mocks to files
-    private static void WriteResults(
+    private static List<string> WriteResults(
         DirectoryInfo outputDir,
         string typeName,
         SyntaxNode testsProgram,
         SyntaxNode? mocksProgram)
     {
+        var files = new List<string>();
         var testFilePath = Path.Combine(outputDir.FullName, $"{typeName}Tests.cs");
         AddRenderedInFile(testFilePath, testsProgram);
+        files.Add(testFilePath);
         if (mocksProgram != null)
         {
             var mocksFilePath = Path.Combine(outputDir.FullName, "Mocks.cs");
             AddRenderedInFile(mocksFilePath, mocksProgram);
+            files.Add(mocksFilePath);
         }
+
+        return files;
     }
 
     // API method for Rider extension
-    public static DirectoryInfo Render(
+    public static (DirectoryInfo, List<string>) Render(
         IEnumerable<FileInfo> tests,
         FileInfo testingProject,
         Type declaringType,
@@ -500,9 +505,9 @@ public static DirectoryInfo Render(
         var outputDir = testingProject.Directory?.Parent;
         Debug.Assert(outputDir != null && outputDir.Exists);
         var testProjectPath = GenerateTestProject(outputDir, testingProject, solutionForTests);
-        WriteResults(outputDir, typeName, testsProgram, mocksProgram);
+        var renderedFiles = WriteResults(outputDir, typeName, testsProgram, mocksProgram);
 
-        return testProjectPath;
+        return (testProjectPath, renderedFiles);
     }
 
     // API method for VSharp

diff --git a/VSharp.TestRenderer/VSharp.TestRenderer.csproj b/VSharp.TestRenderer/VSharp.TestRenderer.csproj
@@ -9,13 +9,7 @@
     </PropertyGroup>
 
     <ItemGroup>
-      <PackageReference Include="Microsoft.CodeAnalysis.Analyzers" Version="3.3.3">
-        <PrivateAssets>all</PrivateAssets>
-        <IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets>
-      </PackageReference>
-      <PackageReference Include="Microsoft.CodeAnalysis.Common" Version="4.2.0" />
-      <PackageReference Include="Microsoft.CodeAnalysis.CSharp" Version="4.2.0" />
-      <PackageReference Include="Microsoft.CodeAnalysis.Workspaces.Common" Version="4.2.0" />
+      <PackageReference Include="JetBrains.Roslyn.References.Repack" Version="42.42.20220228.125130" />
       <PackageReference Include="System.CommandLine" Version="2.0.0-beta1.21308.1" />
     </ItemGroup>