Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit e10a50e

Browse files
DamtevAbdullinAM
authored andcommittedOct 17, 2022
Primitive Stream wrappers (no laziness and source mutations support) (UnitTestBot#871)
* Fixed repeated `hashCode` calculation for `Edge` * Added `toArray` without ClassCastException check API * Fixed UNSAT core debug logging
1 parent df75f26 commit e10a50e

File tree

42 files changed

+6794
-479
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

42 files changed

+6794
-479
lines changed
 

‎utbot-api/src/main/java/org/utbot/api/mock/UtMock.java

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,4 +23,7 @@ public static void assumeOrExecuteConcretely(boolean predicate) {
2323
// In oppose to assume, we don't have predicate check here
2424
// to avoid RuntimeException during concrete execution
2525
}
26+
27+
@SuppressWarnings("unused")
28+
public static void disableClassCastExceptionCheck(Object object) {}
2629
}

‎utbot-framework-api/src/main/kotlin/org/utbot/testcheckers/SettingsModificators.kt

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -121,3 +121,13 @@ inline fun <reified T> withoutSandbox(block: () -> T): T {
121121
UtSettings.useSandbox = prev
122122
}
123123
}
124+
125+
inline fun <reified T> withPathSelectorStepsLimit(stepsLimit: Int, block: () -> T): T {
126+
val prev = UtSettings.pathSelectorStepsLimit
127+
UtSettings.pathSelectorStepsLimit = stepsLimit
128+
try {
129+
return block()
130+
} finally {
131+
UtSettings.pathSelectorStepsLimit = prev
132+
}
133+
}

0 commit comments

Comments
 (0)
Please sign in to comment.