Skip to content

Commit 693c54f

Browse files
committed
Remove irrelevant require
1 parent 84d9325 commit 693c54f

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/tree/CgMethodConstructor.kt

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1331,11 +1331,6 @@ open class CgMethodConstructor(val context: CgContext) : CgContextOwner by conte
13311331
val constructorCall = currentExecutableId as ConstructorId
13321332
val executionResult = currentExecution.result
13331333

1334-
// TODO usvm-sbft: delete require when #141 will be fixed
1335-
require(!constructorCall.classId.isInner) {
1336-
"Inner class ${constructorCall.classId} constructor testing is not supported yet"
1337-
}
1338-
13391334
executionResult
13401335
.onSuccess {
13411336
methodType = SUCCESSFUL

0 commit comments

Comments
 (0)