Skip to content

Commit 1c5d1e5

Browse files
authoredNov 2, 2022
Add a common Simplificator in the Traverser (#1261)
1 parent 4398ff2 commit 1c5d1e5

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

55 files changed

+685
-365
lines changed
 

‎utbot-analytics/src/main/kotlin/org/utbot/features/FeatureExtractorImpl.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
package org.utbot.features
22

33
import org.utbot.analytics.FeatureExtractor
4-
import org.utbot.engine.ExecutionState
4+
import org.utbot.engine.state.ExecutionState
55
import org.utbot.engine.InterProceduralUnitGraph
66
import org.utbot.engine.selectors.strategies.StatementsStatistics
77
import org.utbot.engine.selectors.strategies.SubpathStatistics

‎utbot-analytics/src/main/kotlin/org/utbot/features/FeatureProcessorWithStatesRepetition.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ package org.utbot.features
22

33
import org.utbot.analytics.EngineAnalyticsContext
44
import org.utbot.analytics.FeatureProcessor
5-
import org.utbot.engine.ExecutionState
5+
import org.utbot.engine.state.ExecutionState
66
import org.utbot.engine.InterProceduralUnitGraph
77
import org.utbot.framework.UtSettings
88
import soot.jimple.Stmt

0 commit comments

Comments
 (0)