Skip to content

Introduce object creation using builders for fuzzers #2583

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

Open
Markoutte wants to merge 11 commits into
base: main
Choose a base branch
from
Open

Introduce object creation using builders for fuzzers #2583

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
a21fcfb
Introduce Builder value provider
Markoutte Sep 7, 2023
e5be238
Rename finally to transformers
Markoutte Sep 7, 2023
4a45ad4
Simplify code
Markoutte Sep 7, 2023
510099e
Fix problem when synthetic methods are used for test generation
Markoutte Sep 8, 2023
84d51c6
Add fuzzed summary
Markoutte Sep 11, 2023
0852a76
Remove unnecessary check
Markoutte Sep 11, 2023
59c99e5
Preserve `transformers` when copying `Seed.Recursive`
IlyaMuravjov Sep 11, 2023
1caa8de
Handle CNFE when class from method parameter is not present in classl…
Markoutte Sep 11, 2023
19a9298
Unify hierarchy calling method
Markoutte Sep 11, 2023
bbb102b
Use `null` for partially unresolvable classes in fuzzed Spring tests
IlyaMuravjov Sep 12, 2023
b9de69d
Merge remote-tracking branch 'origin/main' into pelevin/builders-prov…
IlyaMuravjov Sep 12, 2023
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
Remove unnecessary check
  • Loading branch information
@Markoutte
Markoutte committed Sep 11, 2023
commit 0852a76ccc7b848c3b0f4a0c95e03f48c3620d24
4 changes: 2 additions & 2 deletions utbot-java-fuzzing/src/main/kotlin/org/utbot/fuzzing/providers/Objects.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,7 @@ class ObjectValueProvider(
when {
fd.canBeSetDirectly -> {
yield(Routine.Call(listOf(fd.type)) { self, values ->
val model = self.model as? UtAssembleModel ?: return@Call
val model = self.model as UtAssembleModel
model.modificationsChain as MutableList += UtDirectSetFieldModel(
model,
FieldId(classId, fd.name),
Expand All @@ -113,7 +113,7 @@ class ObjectValueProvider(

fd.setter != null && fd.getter != null -> {
yield(Routine.Call(listOf(fd.type)) { self, values ->
val model = self.model as? UtAssembleModel ?: return@Call
val model = self.model as UtAssembleModel
model.modificationsChain as MutableList += UtExecutableCallModel(
model,
fd.setter.executableId,
Expand Down