fmt

UnitTestBot · May 23, 2024 · f30709f · f30709f
1 parent 008425c
commit f30709f
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 15 deletions.
diff --git a/usvm-python/usvm-python-commons/src/main/kotlin/org/usvm/python/ps/PyPathSelectorType.kt b/usvm-python/usvm-python-commons/src/main/kotlin/org/usvm/python/ps/PyPathSelectorType.kt
@@ -1,18 +1,18 @@
 package org.usvm.python.ps
 
 enum class PyPathSelectorType {
-    BaselinePriorityDfs,  // passes tests
-    BaselineWeightedDfs,  // passes tests
-    BaselinePriorityNumberOfVirtualDfs,  // passes tests
-    BaselineWeightedNumberOfVirtualRandomTree,  // passes tests
-    BaselinePriorityNumberOfInstructionsDfs,  // passes tests
-    BaselinePriorityNumberOfInstructionsRandomTree,  // passes tests
-    BaselinePriorityPlusTypeRatingByHintsDfs,  // passes tests
-    DelayedForkByInstructionWeightedDfs,  // passes tests
-    DelayedForkByInstructionWeightedRandomTree,  // passes tests
-    DelayedForkByInstructionPriorityNumberOfVirtualDfs,  // passes tests
-    DelayedForkByInstructionWeightedNumberOfVirtualRandomTree,  // passes tests
-    DelayedForkByInstructionPriorityNumberOfInstructionsDfs,  // passes tests
-    DelayedForkByInstructionPriorityNumberOfInstructionsRandomTree,  // passes tests
-    DelayedForkByInstructionPriorityNumberOfInstructionsRandomTreePlusTypeRating,  // passes tests
+    BaselinePriorityDfs, // passes tests
+    BaselineWeightedDfs, // passes tests
+    BaselinePriorityNumberOfVirtualDfs, // passes tests
+    BaselineWeightedNumberOfVirtualRandomTree, // passes tests
+    BaselinePriorityNumberOfInstructionsDfs, // passes tests
+    BaselinePriorityNumberOfInstructionsRandomTree, // passes tests
+    BaselinePriorityPlusTypeRatingByHintsDfs, // passes tests
+    DelayedForkByInstructionWeightedDfs, // passes tests
+    DelayedForkByInstructionWeightedRandomTree, // passes tests
+    DelayedForkByInstructionPriorityNumberOfVirtualDfs, // passes tests
+    DelayedForkByInstructionWeightedNumberOfVirtualRandomTree, // passes tests
+    DelayedForkByInstructionPriorityNumberOfInstructionsDfs, // passes tests
+    DelayedForkByInstructionPriorityNumberOfInstructionsRandomTree, // passes tests
+    DelayedForkByInstructionPriorityNumberOfInstructionsRandomTreePlusTypeRating, // passes tests
 }
diff --git a/usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/PyMachine.kt b/usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/PyMachine.kt
@@ -33,7 +33,7 @@ class PyMachine(
     private val program: PyProgram,
     private val typeSystem: PythonTypeSystem,
     private val pathSelectorType: PyPathSelectorType = PyPathSelectorType.DelayedForkByInstructionPriorityNumberOfInstructionsRandomTreePlusTypeRating,
-    private val printErrorMsg: Boolean = false
+    private val printErrorMsg: Boolean = false,
 ) : UMachine<PyState>() {
     private val ctx = PyContext(typeSystem)