All about AI searcher in single one commit.

Author: gsvgit

.DS_Store

@@ -1,8 +1,9 @@
 language: csharp
 mono: none
-dotnet: 3.0.100
+dotnet: 6.0
 solution: VSharp.sln
 install:
   - dotnet restore
+  - dotnet tool restore
 script:
   - dotnet test -c Release

.travis.yml

@@ -5,6 +5,7 @@
 using System.Linq;
 using System.Reflection;
 using System.Text;
+using Microsoft.FSharp.Core;
 using VSharp.CoverageTool;
 using VSharp.CSharpUtils;
 using VSharp.Interpreter.IL;
@@ -178,6 +179,7 @@ private static Statistics StartExploration(
                     explorationMode: explorationMode.NewTestCoverageMode(
                         coverageZone,
                         options.Timeout > 0 ? searchMode.NewFairMode(baseSearchMode) : baseSearchMode
+                        
                     ),
                     recThreshold: options.RecursionThreshold,
                     solverTimeout: options.SolverTimeout,
@@ -188,8 +190,9 @@ private static Statistics StartExploration(
                     checkAttributes: true,
                     stopOnCoverageAchieved: 100,
                     randomSeed: options.RandomSeed,
-                    stepsLimit: options.StepsLimit
-                );
+                    stepsLimit: options.StepsLimit,
+                    aiAgentTrainingOptions: options.AIAgentTrainingOptions == null ? FSharpOption<AIAgentTrainingOptions>.None :FSharpOption<AIAgentTrainingOptions>.Some(options.AIAgentTrainingOptions),
+                    pathToModel: options.PathToModel == null ? FSharpOption<string>.None : FSharpOption<string>.Some(options.PathToModel));
 
             var fuzzerOptions =
                 new FuzzerOptions(
@@ -279,6 +282,7 @@ private static searchMode ToSiliMode(this SearchStrategy searchStrategy)
                 SearchStrategy.ExecutionTree => searchMode.ExecutionTreeMode,
                 SearchStrategy.ExecutionTreeContributedCoverage => searchMode.NewInterleavedMode(searchMode.ExecutionTreeMode, 1, searchMode.ContributedCoverageMode, 1),
                 SearchStrategy.Interleaved => searchMode.NewInterleavedMode(searchMode.ShortestDistanceBasedMode, 1, searchMode.ContributedCoverageMode, 9),
+                SearchStrategy.AI => searchMode.AIMode,
                 _ => throw new UnreachableException("Unknown search strategy")
             };
         }

VSharp.API/VSharp.cs

@@ -1,4 +1,6 @@
 using System.IO;
+using Microsoft.FSharp.Core;
+using VSharp.Explorer;
 
 namespace VSharp;
 
@@ -38,7 +40,8 @@ public enum SearchStrategy
     /// <summary>
     /// Interleaves <see cref="ShortestDistance"/> and <see cref="ContributedCoverage"/> strategies.
     /// </summary>
-    Interleaved
+    Interleaved,
+    AI
 }
 
 /// <summary>
@@ -96,6 +99,7 @@ public readonly record struct VSharpOptions
     private const bool DefaultReleaseBranches = true;
     private const int DefaultRandomSeed = -1;
     private const uint DefaultStepsLimit = 0;
+    private const string DefaultPathToModel = "models/model.onnx";
 
     public readonly int Timeout = DefaultTimeout;
     public readonly int SolverTimeout = DefaultSolverTimeout;
@@ -109,6 +113,8 @@ public readonly record struct VSharpOptions
     public readonly bool ReleaseBranches = DefaultReleaseBranches;
     public readonly int RandomSeed = DefaultRandomSeed;
     public readonly uint StepsLimit = DefaultStepsLimit;
+    public readonly AIAgentTrainingOptions AIAgentTrainingOptions = null;
+    public readonly string PathToModel = DefaultPathToModel;
 
     /// <summary>
     /// Symbolic virtual machine options.
@@ -125,6 +131,8 @@ public readonly record struct VSharpOptions
     /// <param name="releaseBranches">If true and timeout is specified, a part of allotted time in the end is given to execute remaining states without branching.</param>
     /// <param name="randomSeed">Fixed seed for random operations. Used if greater than or equal to zero.</param>
     /// <param name="stepsLimit">Number of symbolic machine steps to stop execution after. Zero value means no limit.</param>
+    /// <param name="aiAgentTrainingOptions">Settings for AI searcher training.</param>
+    /// <param name="pathToModel">Path to ONNX file with model to use in AI searcher.</param>
     public VSharpOptions(
         int timeout = DefaultTimeout,
         int solverTimeout = DefaultSolverTimeout,
@@ -137,7 +145,9 @@ public VSharpOptions(
         ExplorationMode explorationMode = DefaultExplorationMode,
         bool releaseBranches = DefaultReleaseBranches,
         int randomSeed = DefaultRandomSeed,
-        uint stepsLimit = DefaultStepsLimit)
+        uint stepsLimit = DefaultStepsLimit,
+        AIAgentTrainingOptions aiAgentTrainingOptions = null,
+        string pathToModel = DefaultPathToModel)
     {
         Timeout = timeout;
         SolverTimeout = solverTimeout;
@@ -151,11 +161,18 @@ public VSharpOptions(
         ReleaseBranches = releaseBranches;
         RandomSeed = randomSeed;
         StepsLimit = stepsLimit;
+        AIAgentTrainingOptions = aiAgentTrainingOptions;
+        PathToModel = pathToModel;
     }
 
     /// <summary>
     /// <seealso cref="RenderedTestsDirectory"/>
     /// </summary>
     public DirectoryInfo RenderedTestsDirectoryInfo =>
         Directory.Exists(RenderedTestsDirectory) ? new DirectoryInfo(RenderedTestsDirectory) : null;
+
+    public string GetDefaultPathToModel()
+    {
+        return DefaultPathToModel;
+    }
 }