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 @@ -389,10 +389,6 @@ class Traverser(
389
389
private val featureProcessor: FeatureProcessor ? =
390
390
if (enableFeatureProcess) EngineAnalyticsContext .featureProcessorFactory(globalGraph) else null
391
391
392
- private val insideStaticInitializer
393
- get() = environment.state.executionStack.any { it.method.isStaticInitializer }
394
-
395
-
396
392
private val objectCounter = AtomicInteger (TypeRegistry .objectCounterInitialValue)
397
393
private fun findNewAddr (insideStaticInitializer : Boolean ): UtAddrExpression {
398
394
val newAddr = objectCounter.getAndIncrement()
You can’t perform that action at this time.
0 commit comments