Apply suggestions from code review

PySymGym · Dec 30, 2024 · f732fb4 · f732fb4
1 parent f7ccbd9
commit f732fb4
Showing 1 changed file with 2 additions and 9 deletions.
diff --git a/VSharp.Explorer/Explorer.fs b/VSharp.Explorer/Explorer.fs
@@ -119,16 +119,9 @@ type private SVMExplorer(explorationOptions: ExplorationOptions, statistics: SVM
         match mode with
         | AIMode ->
             let useGPU =
-                if options.useGPU.IsSome then
-                    options.useGPU.Value
-                else
-                    false
-
+                options.useGPU.IsSome && options.useGPU.Value
             let optimize =
-                if options.optimize.IsSome then
-                    options.optimize.Value
-                else
-                    false
+                options.optimize.IsSome && options.optimize.Value
 
             match options.aiOptions with
             | Some aiOptions ->