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,