Add description of parameters

VSharp.API/VSharpOptions.cs

@@ -135,8 +135,8 @@ public readonly record struct VSharpOptions
     /// <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>
-    /// <param name="useGPU">Enables GPU processing.</param>
-    /// <param name="optimize">Optimize.</param>
+    /// <param name="useGPU">Specifies whether the ONNX execution session should use a CUDA-enabled GPU.</param>
+    /// <param name="optimize">Enabling options like parallel execution and various graph transformations to enhance performance of ONNX.</param>
     public VSharpOptions(
         int timeout = DefaultTimeout,
         int solverTimeout = DefaultSolverTimeout,

VSharp.ML.GameServer.Runner/Main.fs

@@ -43,6 +43,7 @@ type CliArguments =
     | [<Unique>] StepsToSerialize of uint
     | [<Unique>] UseGPU
     | [<Unique>] Optimize
+
     interface IArgParserTemplate with
         member s.Usage =
             match s with
@@ -54,8 +55,9 @@ type CliArguments =
                 "Mode to run application. Server --- to train network, Generator --- to generate data for training."
             | OutFolder _ -> "Folder to store generated data."
             | StepsToSerialize _ -> "Maximal number of steps for each method to serialize."
-            | UseGPU -> "Enables GPU processing."
-            | Optimize -> "Optimize."
+            | UseGPU -> "Specifies whether the ONNX execution session should use a CUDA-enabled GPU."
+            | Optimize ->
+                "Enabling options like parallel execution and various graph transformations to enhance performance of ONNX."
 
 let mutable inTrainMode = true
 
@@ -293,11 +295,14 @@ let main args =
         | Some steps -> steps
         | None -> 500u
 
-    let useGPU = (args.TryGetResult <@ UseGPU @>).IsSome
+    let useGPU =
+        (args.TryGetResult <@ UseGPU @>).IsSome
 
-    let optimize = (args.TryGetResult <@ Optimize @>).IsSome
+    let optimize =
+        (args.TryGetResult <@ Optimize @>).IsSome
 
-    let outputDirectory = Path.Combine(Directory.GetCurrentDirectory(), string port)
+    let outputDirectory =
+        Path.Combine (Directory.GetCurrentDirectory (), string port)
 
     if Directory.Exists outputDirectory then
         Directory.Delete (outputDirectory, true)