From 83c2521d4db08cfd56811d28fc70019293926cbd Mon Sep 17 00:00:00 2001 From: Parzival-05 Date: Wed, 25 Dec 2024 00:37:17 +0300 Subject: [PATCH] Add description of parameters --- VSharp.API/VSharpOptions.cs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/VSharp.API/VSharpOptions.cs b/VSharp.API/VSharpOptions.cs index ffcb0330b..1a505fe82 100644 --- a/VSharp.API/VSharpOptions.cs +++ b/VSharp.API/VSharpOptions.cs @@ -135,8 +135,8 @@ public readonly record struct VSharpOptions /// Number of symbolic machine steps to stop execution after. Zero value means no limit. /// Settings for AI searcher training. /// Path to ONNX file with model to use in AI searcher. - /// Enables GPU processing. - /// Optimize. + /// Specifies whether the ONNX execution session should use a CUDA-enabled GPU.. + /// Enabling options like parallel execution and various graph transformations to enhance performance of ONNX. public VSharpOptions( int timeout = DefaultTimeout, int solverTimeout = DefaultSolverTimeout,