File tree Expand file tree Collapse file tree 2 files changed +3
-4
lines changed
utbot-framework/src/main/kotlin/org/utbot/engine Expand file tree Collapse file tree 2 files changed +3
-4
lines changed Original file line number Diff line number Diff line change @@ -160,6 +160,9 @@ data class ExecutionState(
160
160
val isThrowException: Boolean
161
161
get() = (lastEdge?.decisionNum ? : 0 ) < CALL_DECISION_NUM
162
162
163
+ val isInsideStaticInitializer
164
+ get() = executionStack.any { it.method.isStaticInitializer }
165
+
163
166
fun createExceptionState (
164
167
exception : SymbolicFailure ,
165
168
update : SymbolicStateUpdate
Original file line number Diff line number Diff line change @@ -373,10 +373,6 @@ class Traverser(
373
373
private val featureProcessor: FeatureProcessor ? =
374
374
if (enableFeatureProcess) EngineAnalyticsContext .featureProcessorFactory(globalGraph) else null
375
375
376
- private val insideStaticInitializer
377
- get() = environment.state.executionStack.any { it.method.isStaticInitializer }
378
-
379
-
380
376
private val objectCounter = AtomicInteger (TypeRegistry .objectCounterInitialValue)
381
377
private fun findNewAddr (insideStaticInitializer : Boolean ): UtAddrExpression {
382
378
val newAddr = objectCounter.getAndIncrement()
You can’t perform that action at this time.
0 commit comments