Skip to content

Commit aa239b8

Browse files
committed
Fix double values mutations
1 parent 47a4c3c commit aa239b8

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

utbot-fuzzing/src/main/kotlin/org/utbot/fuzzing/Api.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@ sealed interface Seed<TYPE, RESULT> {
7979
*
8080
* This task creates a tree of object values.
8181
*/
82-
open class Recursive<TYPE, RESULT>(
82+
class Recursive<TYPE, RESULT>(
8383
val construct: Routine.Create<TYPE, RESULT>,
8484
val modify: Sequence<Routine.Call<TYPE, RESULT>> = emptySequence(),
8585
val empty: Routine.Empty<TYPE, RESULT>
@@ -91,7 +91,7 @@ sealed interface Seed<TYPE, RESULT> {
9191
* 1. Construction the collection
9292
* 2. Modification of the collections that depends on some number of iterations.
9393
*/
94-
open class Collection<TYPE, RESULT>(
94+
class Collection<TYPE, RESULT>(
9595
val construct: Routine.Collection<TYPE, RESULT>,
9696
val modify: Routine.ForEach<TYPE, RESULT>
9797
) : Seed<TYPE, RESULT>
@@ -465,7 +465,7 @@ private fun <TYPE, RESULT, DESCRIPTION : Description<TYPE>, FEEDBACK : Feedback<
465465
val mutations = resultToMutate.value.mutations()
466466
if (mutations.isNotEmpty()) {
467467
Result.Known(
468-
mutations.random().mutate(resultToMutate.value, random, configuration),
468+
mutations.random(random).mutate(resultToMutate.value, random, configuration),
469469
resultToMutate.build as KnownValue.() -> RESULT
470470
)
471471
} else {

utbot-fuzzing/src/main/kotlin/org/utbot/fuzzing/seeds/IEEE754Value.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,7 @@ class IEEE754Value : KnownValue {
5757
}
5858

5959
constructor(value: IEEE754Value, mutation: Mutation<KnownValue>? = null) {
60-
this.vector = value.vector
60+
this.vector = BitVectorValue(value.vector)
6161
this.mantissaSize = value.mantissaSize
6262
this.exponentSize = value.exponentSize
6363
this.lastMutation = mutation

0 commit comments

Comments
 (0)