Skip to content

Commit 4d1cfc8

Browse files
Correct processing some failures in concrete executor #2323 (#2329)
Revert processing some failures in concrete executor.
1 parent 1a04880 commit 4d1cfc8

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/UtExecutionResult.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,7 @@ class InstrumentedProcessDeathException(cause: Throwable) :
7777
cause
7878
)
7979

80-
data class UtConcreteExecutionFailure(override val exception: InstrumentedProcessDeathException) : UtExecutionFailure()
80+
data class UtConcreteExecutionFailure(override val exception: Throwable) : UtExecutionFailure()
8181

8282
/**
8383
* Represents a failure in instrumented process

utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -285,7 +285,7 @@ class UtBotSymbolicEngine(
285285
concreteExecutor.executeConcretely(methodUnderTest, stateBefore, instrumentation, UtSettings.concreteExecutionDefaultTimeoutInInstrumentedProcessMillis)
286286

287287
concreteExecutionResult.processedFailure()?.let { failure ->
288-
emit(UtFailedExecution(stateBefore, failure))
288+
emitFailedConcreteExecutionResult(stateBefore, failure.exception)
289289

290290
logger.debug { "Instrumented process failed with exception ${failure.exception} before concrete execution started" }
291291
return@measureTime
@@ -516,7 +516,7 @@ class UtBotSymbolicEngine(
516516

517517
private suspend fun FlowCollector<UtResult>.emitFailedConcreteExecutionResult(
518518
stateBefore: EnvironmentModels,
519-
e: InstrumentedProcessDeathException
519+
e: Throwable
520520
) {
521521
val failedConcreteExecution = UtFailedExecution(
522522
stateBefore = stateBefore,
@@ -628,7 +628,7 @@ class UtBotSymbolicEngine(
628628
)
629629

630630
concreteExecutionResult.processedFailure()?.let { failure ->
631-
emit(UtFailedExecution(stateBefore, failure))
631+
emitFailedConcreteExecutionResult(stateBefore, failure.exception)
632632

633633
logger.debug { "Instrumented process failed with exception ${failure.exception} before concrete execution started" }
634634
return

0 commit comments

Comments
 (0)