Skip to content

Commit 0cd9bad

Browse files
Merge remote-tracking branch 'origin/quickcheck-kt' into tmp
# Conflicts: # utbot-framework/src/main/java/org/utbot/quickcheck/internal/ParameterTypeContext.java # utbot-framework/src/main/kotlin/org/utbot/engine/greyboxfuzzer/generator/userclasses/UserClassGenerator.kt # utbot-framework/src/main/kotlin/org/utbot/engine/greyboxfuzzer/generator/userclasses/generator/InterfaceImplementationsInstanceGenerator.kt # utbot-framework/src/main/kotlin/org/utbot/engine/greyboxfuzzer/generator/userclasses/generator/ObjectGenerator.kt # utbot-framework/src/main/kotlin/org/utbot/engine/greyboxfuzzer/generator/userclasses/generator/ReflectionClassGenerator.kt
2 parents ca8d3a0 + 4e0967a commit 0cd9bad

File tree

290 files changed

+6414
-15646
lines changed

Some content is hidden

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

290 files changed

+6414
-15646
lines changed

utbot-framework/src/main/java/org/utbot/quickcheck/From.java

Lines changed: 0 additions & 65 deletions
This file was deleted.

utbot-framework/src/main/java/org/utbot/quickcheck/MinimalCounterexampleHook.java

Lines changed: 0 additions & 46 deletions
This file was deleted.

utbot-framework/src/main/java/org/utbot/quickcheck/Mode.java

Lines changed: 0 additions & 63 deletions
This file was deleted.

utbot-framework/src/main/java/org/utbot/quickcheck/NonTrackingGenerationStatus.java

Lines changed: 0 additions & 81 deletions
This file was deleted.

utbot-framework/src/main/java/org/utbot/quickcheck/Pair.java

Lines changed: 0 additions & 70 deletions
This file was deleted.

utbot-framework/src/main/java/org/utbot/quickcheck/Produced.java

Lines changed: 0 additions & 55 deletions
This file was deleted.

0 commit comments

Comments
 (0)