Skip to content

Commit 09a465e

Browse files
committed
remove shrinker
1 parent e3598d4 commit 09a465e

File tree

157 files changed

+48
-8229
lines changed

Some content is hidden

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

157 files changed

+48
-8229
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 & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -32,10 +32,6 @@
3232
import org.utbot.quickcheck.internal.GeometricDistribution;
3333
import org.utbot.quickcheck.random.SourceOfRandomness;
3434

35-
import java.util.HashMap;
36-
import java.util.Map;
37-
import java.util.Optional;
38-
3935

4036
/**
4137
* Provides a generation status that does not track the number of trials
@@ -49,7 +45,6 @@ public class NonTrackingGenerationStatus implements GenerationStatus {
4945
public static final int MEAN_SIZE = 10;
5046

5147
private final SourceOfRandomness random;
52-
private final Map<Key<?>, Object> contextValues = new HashMap<>();
5348
private final GeometricDistribution geometric = new GeometricDistribution();
5449

5550

@@ -68,14 +63,4 @@ public int attempts() {
6863
" is not supported in guided mode.");
6964
}
7065

71-
@Override
72-
public <T> GenerationStatus setValue(Key<T> key, T value) {
73-
contextValues.put(key, value);
74-
return this;
75-
}
76-
77-
@Override
78-
public <T> Optional<T> valueOf(Key<T> key) {
79-
return Optional.ofNullable(key.cast(contextValues.get(key)));
80-
}
8166
}

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)