Skip to content

Supported assemble models for streams in concrete execution #1229

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 7 commits into from
Oct 28, 2022
Merged

Supported assemble models for streams in concrete execution #1229

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
e328d25
Supported assemble models for streams in concrete execution
Damtev Oct 24, 2022
5b7ffc7
Got rid of varargs processing stuff
Damtev Oct 26, 2022
baded68
Used a specific exception for intermediate modifiable operations in s…
Damtev Oct 26, 2022
8005724
Fixed parametrized tests
Damtev Oct 27, 2022
96142b1
Fixed failed test
Damtev Oct 28, 2022
9e9580f
Made UtStreamConsumingException visible for Soot but not for a user
Damtev Oct 28, 2022
e36efcc
Disabled code generation testing for test with class from unvisible p…
Damtev Oct 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
Disabled code generation testing for test with class from unvisible p… 
…ackage
  • Loading branch information
@Damtev
Damtev committed Oct 28, 2022
commit e36efcc13731416aa2af3d02e2a8ad8258994c1b
16 changes: 9 additions & 7 deletions utbot-framework-test/src/test/kotlin/org/utbot/examples/casts/CastExampleTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,12 +80,14 @@ internal class CastExampleTest : UtValueTestCaseChecker(

@Test
fun testComplicatedCast() {
check(
CastExample::complicatedCast,
eq(2),
{ i, a, _ -> i == 0 && a != null && a[i] != null && a[i] !is CastClassFirstSucc },
{ i, a, r -> i == 0 && a != null && a[i] != null && a[i] is CastClassFirstSucc && r is CastClassFirstSucc },
coverage = DoNotCalculate
)
withEnabledTestingCodeGeneration(testCodeGeneration = false) { // error: package sun.text is not visible
check(
CastExample::complicatedCast,
eq(2),
{ i, a, _ -> i == 0 && a != null && a[i] != null && a[i] !is CastClassFirstSucc },
{ i, a, r -> i == 0 && a != null && a[i] != null && a[i] is CastClassFirstSucc && r is CastClassFirstSucc },
coverage = DoNotCalculate
)
}
}
}