Fix default path to model.

Author: gsvgit

VSharp.API/VSharpOptions.cs

@@ -170,4 +170,9 @@ public VSharpOptions(
     /// </summary>
     public DirectoryInfo RenderedTestsDirectoryInfo =>
         Directory.Exists(RenderedTestsDirectory) ? new DirectoryInfo(RenderedTestsDirectory) : null;
+
+    public string GetDefaultPathToModel()
+    {
+        return DefaultPathToModel;
+    }
 }

VSharp.Runner/RunnerProgram.cs

@@ -355,7 +355,7 @@ public static int Main(string[] args)
                 "Time for test generation in seconds. Negative value means no timeout.");
             var pathToModelOption = new Option<string>(
                 aliases: new[] { "--model", "-m" },
-                () => defaultOptions.PathToModel,
+                () => defaultOptions.GetDefaultPathToModel(),
                 "Path to ONNX file with model for AI searcher.");
             var solverTimeoutOption = new Option<int>(
                 aliases: new[] { "--solver-timeout", "-st" },