From f30709f40caf98d484e6ca184ae9776b037212ff Mon Sep 17 00:00:00 2001 From: Ekaterina Tochilina Date: Thu, 23 May 2024 11:07:32 +0300 Subject: [PATCH] fmt --- .../org/usvm/python/ps/PyPathSelectorType.kt | 28 +++++++++---------- .../main/kotlin/org/usvm/machine/PyMachine.kt | 2 +- 2 files changed, 15 insertions(+), 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 index 688c8bd219..cd1056b454 100644 --- 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 index 804cb3c7db..2cfdf5841b 100644 --- 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() { private val ctx = PyContext(typeSystem)