Skip to content

Add a common Simplificator in the Traverser #1261

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
sergeypospelov merged 6 commits into from
Nov 2, 2022
Merged

Add a common Simplificator in the Traverser #1261

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
9af32d1
Refactor: move ExecutionState.kt to package
sergeypospelov Nov 2, 2022
653a8c8
Refactor: inline property
sergeypospelov Nov 2, 2022
57f18d7
Refactor: remove `runBlocking` from tests
sergeypospelov Nov 2, 2022
8fdcacc
Add: common simplificator for expressions in the engine
sergeypospelov Nov 2, 2022
482a799
Remove: useless context constructor
sergeypospelov Nov 2, 2022
3c85ca4
Fix: review comments
sergeypospelov Nov 2, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Refactor: move ExecutionState.kt to package
  • Loading branch information
@sergeypospelov
sergeypospelov committed Nov 2, 2022
commit 9af32d139fd4c4f1298f81aa61c9095bf5d94fac
2 changes: 1 addition & 1 deletion utbot-analytics/src/main/kotlin/org/utbot/features/FeatureExtractorImpl.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
package org.utbot.features

import org.utbot.analytics.FeatureExtractor
import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph
import org.utbot.engine.selectors.strategies.StatementsStatistics
import org.utbot.engine.selectors.strategies.SubpathStatistics
Expand Down
2 changes: 1 addition & 1 deletion utbot-analytics/src/main/kotlin/org/utbot/features/FeatureProcessorWithStatesRepetition.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ package org.utbot.features

import org.utbot.analytics.EngineAnalyticsContext
import org.utbot.analytics.FeatureProcessor
import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph
import org.utbot.framework.UtSettings
import soot.jimple.Stmt
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/analytics/FeatureExtractor.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.analytics

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState

/**
* Class that encapsulates work with FeatureExtractor during symbolic execution.
Expand Down
1 change: 1 addition & 0 deletions utbot-framework/src/main/kotlin/org/utbot/engine/DataClasses.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@ import org.utbot.engine.pc.UtIsExpression
import org.utbot.engine.pc.UtTrue
import org.utbot.engine.pc.mkAnd
import org.utbot.engine.pc.mkOr
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.symbolic.*
import org.utbot.engine.types.TypeResolver
import org.utbot.framework.plugin.api.FieldId
Expand Down
1 change: 1 addition & 0 deletions utbot-framework/src/main/kotlin/org/utbot/engine/Extensions.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,7 @@ import org.utbot.engine.pc.mkInt
import org.utbot.engine.pc.mkLong
import org.utbot.engine.pc.mkShort
import org.utbot.engine.pc.toSort
import org.utbot.engine.state.ExecutionState
import org.utbot.framework.UtSettings.checkNpeInNestedMethods
import org.utbot.framework.UtSettings.checkNpeInNestedNotPrivateMethods
import org.utbot.framework.plugin.api.FieldId
Expand Down
3 changes: 3 additions & 0 deletions utbot-framework/src/main/kotlin/org/utbot/engine/InterProceduralUnitGraph.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
package org.utbot.engine

import org.utbot.engine.selectors.strategies.TraverseGraphStatistics
import org.utbot.engine.state.CALL_DECISION_NUM
import org.utbot.engine.state.Edge
import org.utbot.engine.state.ExecutionState
import soot.SootClass
import soot.SootMethod
import soot.jimple.Stmt
Expand Down
22 changes: 0 additions & 22 deletions utbot-framework/src/main/kotlin/org/utbot/engine/Memory.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -49,28 +49,6 @@ import soot.Scene
import soot.Type


/**
* Represents a memory associated with a certain method call. For now consists only of local variables mapping.
* TODO: think on other fields later
*
* @param [locals] represents a mapping from [LocalVariable]s of a specific method call to [SymbolicValue]s.
*/
data class LocalVariableMemory(
private val locals: PersistentMap<LocalVariable, SymbolicValue> = persistentHashMapOf()
) {
fun memoryForNestedMethod(): LocalVariableMemory = this.copy(locals = persistentHashMapOf())

fun update(update: LocalMemoryUpdate): LocalVariableMemory = this.copy(locals = locals.update(update.locals))

/**
* Returns local variable value.
*/
fun local(variable: LocalVariable): SymbolicValue? = locals[variable]

val localValues: Set<SymbolicValue>
get() = locals.values.toSet()
}

/**
* Local memory implementation based on arrays.
*
Expand Down
2 changes: 2 additions & 0 deletions utbot-framework/src/main/kotlin/org/utbot/engine/TraversalContext.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
package org.utbot.engine

import org.utbot.engine.state.ExecutionState

/**
* Represents a mutable _Context_ during the [ExecutionState] traversing. This _Context_ consists of all mutable and
* immutable properties and fields which are created and updated during analysis of a **single** Jimple instruction.
Expand Down
9 changes: 9 additions & 0 deletions utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -66,6 +66,15 @@ import org.utbot.engine.pc.mkNot
import org.utbot.engine.pc.mkOr
import org.utbot.engine.pc.select
import org.utbot.engine.pc.store
import org.utbot.engine.state.Edge
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.state.LocalVariableMemory
import org.utbot.engine.state.StateLabel
import org.utbot.engine.state.createExceptionState
import org.utbot.engine.state.pop
import org.utbot.engine.state.push
import org.utbot.engine.state.update
import org.utbot.engine.state.withLabel
import org.utbot.engine.symbolic.emptyAssumption
import org.utbot.engine.symbolic.emptyHardConstraint
import org.utbot.engine.symbolic.emptySoftConstraint
Expand Down
3 changes: 3 additions & 0 deletions utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -101,6 +101,9 @@ import kotlinx.coroutines.flow.onStart
import kotlinx.coroutines.isActive
import kotlinx.coroutines.job
import kotlinx.coroutines.yield
import org.utbot.engine.state.ExecutionStackElement
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.state.StateLabel
import org.utbot.engine.types.TypeRegistry
import org.utbot.engine.types.TypeResolver
import org.utbot.framework.plugin.api.UtExecutionSuccess
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/BFSSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy

Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/BasePathSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.isPreconditionCheckMethod
import org.utbot.engine.pathLogger
import org.utbot.engine.pc.UtSolver
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/DFSSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy

Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/InterleavedSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState

/**
* Retrieves states from different pathSelectors in rotation.
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/MLSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ package org.utbot.engine.selectors

import org.utbot.analytics.EngineAnalyticsContext
import org.utbot.analytics.Predictors
import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph
import org.utbot.engine.selectors.nurs.GreedySearch
import org.utbot.engine.selectors.strategies.ChoosingStrategy
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/PathSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.pc.UtSolverStatusKind

/**
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/PathsTree.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import java.util.NoSuchElementException
import kotlin.random.Random

Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/RandomPathSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy
import kotlin.random.Random
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/RandomSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy
import kotlin.random.Random
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/CPInstSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StatementsStatistics
import org.utbot.engine.selectors.strategies.StoppingStrategy
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/CoveredNewSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.DistanceStatistics
import org.utbot.engine.selectors.strategies.StoppingStrategy

Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/DepthSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy

Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/ForkDepthSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy

Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/GreedySearch.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.BasePathSelector
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/InheritorsSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.types.TypeRegistry
import org.utbot.engine.selectors.strategies.DistanceStatistics
import org.utbot.engine.selectors.strategies.StoppingStrategy
Expand Down
2 changes: 1 addition & 1 deletion ...t-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/MinimalDistanceToUncovered.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.DistanceStatistics
import org.utbot.engine.selectors.strategies.StoppingStrategy

Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/NeuroSatSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
package org.utbot.engine.selectors.nurs

import org.utbot.analytics.Predictors
import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy

Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/NonUniformRandomSearch.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.BasePathSelector
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/RPSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy
import kotlin.math.pow
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/SubpathGuidedSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.ChoosingStrategy
import org.utbot.engine.selectors.strategies.StoppingStrategy
import org.utbot.engine.selectors.strategies.SubpathStatistics
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/nurs/VisitCountingSelector.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.nurs

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.selectors.strategies.EdgeVisitCountingStatistics
import org.utbot.engine.selectors.strategies.StoppingStrategy

Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/ChoosingStrategy.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.strategies

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph

/**
Expand Down
4 changes: 2 additions & 2 deletions utbot-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/DistanceStatistics.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
package org.utbot.engine.selectors.strategies

import org.utbot.engine.Edge
import org.utbot.engine.ExecutionState
import org.utbot.engine.state.Edge
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph
import org.utbot.engine.isReturn
import org.utbot.engine.pathLogger
Expand Down
4 changes: 2 additions & 2 deletions ...work/src/main/kotlin/org/utbot/engine/selectors/strategies/EdgeVisitCountingStatistics.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
package org.utbot.engine.selectors.strategies

import org.utbot.engine.Edge
import org.utbot.engine.ExecutionState
import org.utbot.engine.state.Edge
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph
import org.utbot.engine.pathLogger
import org.utbot.framework.UtSettings.enableLoggingForDroppedStates
Expand Down
2 changes: 1 addition & 1 deletion .../src/main/kotlin/org/utbot/engine/selectors/strategies/GeneratedTestCountingStatistics.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.strategies

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph

class GeneratedTestCountingStatistics(
Expand Down
7 changes: 3 additions & 4 deletions utbot-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/GraphViz.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@ package org.utbot.engine.selectors.strategies

import mu.KotlinLogging
import org.utbot.common.FileUtil.createNewFileWithParentDirectories
import org.utbot.engine.CALL_DECISION_NUM
import org.utbot.engine.Edge
import org.utbot.engine.ExecutionState
import org.utbot.engine.state.CALL_DECISION_NUM
import org.utbot.engine.state.Edge
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph
import org.utbot.engine.isLibraryNonOverriddenClass
import org.utbot.engine.isReturn
Expand All @@ -17,7 +17,6 @@ import soot.toolkits.graph.ExceptionalUnitGraph
import java.awt.Toolkit
import java.awt.datatransfer.StringSelection
import java.io.FileWriter
import java.nio.file.Files
import java.nio.file.Paths
import org.utbot.common.FileUtil

Expand Down
2 changes: 1 addition & 1 deletion ...t-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/StatementsStatistics.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.selectors.strategies

import org.utbot.engine.ExecutionState
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph
import soot.SootMethod
import soot.jimple.Stmt
Expand Down
4 changes: 2 additions & 2 deletions ...ework/src/main/kotlin/org/utbot/engine/selectors/strategies/StepsLimitStoppingStrategy.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
package org.utbot.engine.selectors.strategies

import org.utbot.engine.Edge
import org.utbot.engine.ExecutionState
import org.utbot.engine.state.Edge
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph
import org.utbot.engine.pathLogger

Expand Down
6 changes: 3 additions & 3 deletions utbot-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/SubpathStatistics.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
package org.utbot.engine.selectors.strategies

import org.utbot.engine.CALL_DECISION_NUM
import org.utbot.engine.Edge
import org.utbot.engine.ExecutionState
import org.utbot.engine.state.CALL_DECISION_NUM
import org.utbot.engine.state.Edge
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph
import org.utbot.framework.UtSettings
import kotlin.math.pow
Expand Down
4 changes: 2 additions & 2 deletions ...ramework/src/main/kotlin/org/utbot/engine/selectors/strategies/TraverseGraphStatistics.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
package org.utbot.engine.selectors.strategies

import org.utbot.engine.Edge
import org.utbot.engine.ExecutionState
import org.utbot.engine.state.Edge
import org.utbot.engine.state.ExecutionState
import org.utbot.engine.InterProceduralUnitGraph
import soot.jimple.Stmt
import soot.toolkits.graph.ExceptionalUnitGraph
Expand Down
Loading