File tree Expand file tree Collapse file tree
utbot-framework/src/main/kotlin/org/utbot/engine Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -160,6 +160,9 @@ data class ExecutionState(
160160 val isThrowException: Boolean
161161 get() = (lastEdge?.decisionNum ? : 0 ) < CALL_DECISION_NUM
162162
163+ val isInsideStaticInitializer
164+ get() = executionStack.any { it.method.isStaticInitializer }
165+
163166 fun createExceptionState (
164167 exception : SymbolicFailure ,
165168 update : SymbolicStateUpdate
Original file line number Diff line number Diff line change @@ -379,10 +379,6 @@ class Traverser(
379379 private val featureProcessor: FeatureProcessor ? =
380380 if (enableFeatureProcess) EngineAnalyticsContext .featureProcessorFactory(globalGraph) else null
381381
382- private val insideStaticInitializer
383- get() = environment.state.executionStack.any { it.method.isStaticInitializer }
384-
385-
386382 private val objectCounter = AtomicInteger (TypeRegistry .objectCounterInitialValue)
387383 private fun findNewAddr (insideStaticInitializer : Boolean ): UtAddrExpression {
388384 val newAddr = objectCounter.getAndIncrement()
You can’t perform that action at this time.
0 commit comments