Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Remove summary checks from engine checks
  • Loading branch information
sofurihafe committed Feb 1, 2023
commit 4d083fa6b5e3358049e49a5f0a06496c87a1ed2a
Original file line number Diff line number Diff line change
Expand Up @@ -116,21 +116,6 @@ object UtSettings : AbstractSettings(logger, defaultKeyForSettingsPath, defaultS
*/
var useExpressionSimplification by getBooleanProperty(true)

/**
* Activate or deactivate tests on comments
*/
var testSummary by getBooleanProperty(true)

/**
* Activate or deactivate tests on names
*/
var testName by getBooleanProperty(true)

/**
* Activate or deactivate tests on displayNames
*/
var testDisplayName by getBooleanProperty(true)

/**
* Enable the Summarization module to generate summaries for methods under test.
*
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@ import org.utbot.testing.atLeast
import org.utbot.testing.between
import org.utbot.testing.ignoreExecutionsNumber
import org.utbot.testing.isException
import org.utbot.testing.keyMatch
import java.util.Locale

internal class StringExamplesTest : UtValueTestCaseChecker(
Expand Down
Original file line number Diff line number Diff line change
@@ -1,9 +1,5 @@
package org.utbot.examples.structures

import org.utbot.framework.plugin.api.DocCodeStmt
import org.utbot.framework.plugin.api.DocPreTagStatement
import org.utbot.framework.plugin.api.DocRegularStmt
import org.utbot.framework.plugin.api.DocStatement
import java.util.LinkedList
import java.util.TreeMap
import org.junit.jupiter.api.Disabled
Expand All @@ -13,8 +9,6 @@ import org.utbot.testcheckers.eq
import org.utbot.testing.CodeGeneration
import org.utbot.testing.DoNotCalculate
import org.utbot.testing.UtValueTestCaseChecker
import org.utbot.testing.keyContain
import org.utbot.testing.keyMatch

internal class StandardStructuresTest : UtValueTestCaseChecker(
testClass = StandardStructures::class,
Expand Down
Loading