Skip to content

Primitive Stream wrappers (no laziness and source mutations support) #871

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Damtev merged 19 commits into from
Sep 28, 2022
Merged

Primitive Stream wrappers (no laziness and source mutations support) #871

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
2b60de7
Fixed repeated `hashCode` calculation for `Edge`
Damtev Jul 12, 2022
b362960
Disabled strange failed naming check
Damtev Jul 22, 2022
adb0cec
Implemented wrappers for primitive streams
Damtev Jul 21, 2022
fc5d7eb
Added tests for primitive streams
Damtev Jul 21, 2022
91c6b74
Added `toArray` without ClassCastException check API
Damtev Jul 21, 2022
9797973
Restricted steps limit for a few tests (HACK)
Damtev Aug 1, 2022
75b2de8
Fixed UNSAT core debug logging
Damtev Sep 7, 2022
9ce941e
Fixed rebase errors
Damtev Sep 7, 2022
4a69e0b
Added wrapped methods for creating streams from primitive arrays
Damtev Sep 7, 2022
01ad8e5
Fixed failed tests
Damtev Sep 7, 2022
47b1b7b
Disabled distinct test
Damtev Sep 14, 2022
58c15a2
Fixed array casts
Damtev Sep 16, 2022
ff79a92
Fixed review issues
Damtev Sep 26, 2022
78c9c4f
More fixes for review issues
Damtev Sep 27, 2022
40ebea6
Fixed type resolving
Damtev Sep 27, 2022
a5d9da8
Fixed wrong resolved values for a primitive stream as a parameter
Damtev Sep 27, 2022
2aeb263
Marked primitive stream tests as slow
Damtev Sep 28, 2022
e3381ef
Fixed last review issues
Damtev Sep 28, 2022
d9e4a42
Marked mapTo* primitive stream tests as slow
Damtev Sep 28, 2022
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
Next Next commit
Fixed rebase errors
  • Loading branch information
@Damtev
Damtev committed Sep 28, 2022
commit 9ce941e8d27a2db5a0b155882078ed25dfd54510
10 changes: 10 additions & 0 deletions utbot-framework-api/src/main/kotlin/org/utbot/testcheckers/SettingsModificators.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -121,3 +121,13 @@ inline fun <reified T> withoutSandbox(block: () -> T): T {
UtSettings.useSandbox = prev
}
}

inline fun <reified T> withPathSelectorStepsLimit(stepsLimit: Int, block: () -> T): T {
val prev = UtSettings.pathSelectorStepsLimit
UtSettings.pathSelectorStepsLimit = stepsLimit
try {
return block()
} finally {
UtSettings.pathSelectorStepsLimit = prev
}
}
2 changes: 1 addition & 1 deletion utbot-framework-test/src/test/kotlin/org/utbot/examples/stream/BaseStreamExampleTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,6 @@ package org.utbot.examples.stream
import org.junit.jupiter.api.Disabled
import org.junit.jupiter.api.Tag
import org.junit.jupiter.api.Test
import org.utbot.examples.AtLeast
import org.utbot.tests.infrastructure.UtValueTestCaseChecker
import org.utbot.tests.infrastructure.DoNotCalculate
import org.utbot.tests.infrastructure.Full
Expand All @@ -14,6 +13,7 @@ import org.utbot.tests.infrastructure.isException
import org.utbot.framework.plugin.api.CodegenLanguage
import org.utbot.testcheckers.eq
import org.utbot.testcheckers.withoutConcrete
import org.utbot.tests.infrastructure.AtLeast
import org.utbot.tests.infrastructure.CodeGeneration
import java.util.Optional
import java.util.stream.Stream
Expand Down
14 changes: 4 additions & 10 deletions utbot-framework-test/src/test/kotlin/org/utbot/examples/stream/DoubleStreamExampleTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,17 +3,11 @@ package org.utbot.examples.stream
import org.junit.jupiter.api.Disabled
import org.junit.jupiter.api.Tag
import org.junit.jupiter.api.Test
import org.utbot.examples.AtLeast
import org.utbot.examples.UtValueTestCaseChecker
import org.utbot.examples.Full
import org.utbot.examples.FullWithAssumptions
import org.utbot.examples.eq
import org.utbot.examples.ignoreExecutionsNumber
import org.utbot.examples.isException
import org.utbot.examples.withPathSelectorStepsLimit
import org.utbot.examples.withoutConcrete
import org.utbot.framework.codegen.CodeGeneration
import org.utbot.framework.plugin.api.CodegenLanguage
import org.utbot.testcheckers.eq
import org.utbot.testcheckers.withPathSelectorStepsLimit
import org.utbot.testcheckers.withoutConcrete
import org.utbot.tests.infrastructure.*
import java.util.OptionalDouble
import java.util.stream.DoubleStream
import kotlin.streams.toList
Expand Down
14 changes: 4 additions & 10 deletions utbot-framework-test/src/test/kotlin/org/utbot/examples/stream/IntStreamExampleTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,16 +2,10 @@ package org.utbot.examples.stream

import org.junit.jupiter.api.Tag
import org.junit.jupiter.api.Test
import org.utbot.examples.AtLeast
import org.utbot.examples.UtValueTestCaseChecker
import org.utbot.examples.Full
import org.utbot.examples.FullWithAssumptions
import org.utbot.examples.eq
import org.utbot.examples.ignoreExecutionsNumber
import org.utbot.examples.isException
import org.utbot.examples.withPathSelectorStepsLimit
import org.utbot.examples.withoutConcrete
import org.utbot.framework.codegen.CodeGeneration
import org.utbot.testcheckers.eq
import org.utbot.testcheckers.withPathSelectorStepsLimit
import org.utbot.testcheckers.withoutConcrete
import org.utbot.tests.infrastructure.*
import org.utbot.framework.plugin.api.CodegenLanguage
import java.util.OptionalDouble
import java.util.OptionalInt
Expand Down
14 changes: 4 additions & 10 deletions utbot-framework-test/src/test/kotlin/org/utbot/examples/stream/LongStreamExampleTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,17 +2,11 @@ package org.utbot.examples.stream

import org.junit.jupiter.api.Tag
import org.junit.jupiter.api.Test
import org.utbot.examples.AtLeast
import org.utbot.examples.UtValueTestCaseChecker
import org.utbot.examples.Full
import org.utbot.examples.FullWithAssumptions
import org.utbot.examples.eq
import org.utbot.examples.ignoreExecutionsNumber
import org.utbot.examples.isException
import org.utbot.examples.withPathSelectorStepsLimit
import org.utbot.examples.withoutConcrete
import org.utbot.framework.codegen.CodeGeneration
import org.utbot.framework.plugin.api.CodegenLanguage
import org.utbot.testcheckers.eq
import org.utbot.testcheckers.withPathSelectorStepsLimit
import org.utbot.testcheckers.withoutConcrete
import org.utbot.tests.infrastructure.*
import java.util.OptionalDouble
import java.util.OptionalLong
import java.util.stream.LongStream
Expand Down