remove shrinker

UnitTestBot · DaniilStepanov · Nov 9, 2022 · Nov 15, 2022 · Nov 10, 2022 · Nov 10, 2022
commit 390d805a76a6f203502884e9e860d8e6a78fb216
diff --git a/utbot-framework/src/main/java/org/utbot/quickcheck/From.java b/utbot-framework/src/main/java/org/utbot/quickcheck/From.java
diff --git a/utbot-framework/src/main/java/org/utbot/quickcheck/MinimalCounterexampleHook.java b/utbot-framework/src/main/java/org/utbot/quickcheck/MinimalCounterexampleHook.java
diff --git a/utbot-framework/src/main/java/org/utbot/quickcheck/Mode.java b/utbot-framework/src/main/java/org/utbot/quickcheck/Mode.java
diff --git a/utbot-framework/src/main/java/org/utbot/quickcheck/NonTrackingGenerationStatus.java b/utbot-framework/src/main/java/org/utbot/quickcheck/NonTrackingGenerationStatus.java
@@ -32,10 +32,6 @@
 import org.utbot.quickcheck.internal.GeometricDistribution;
 import org.utbot.quickcheck.random.SourceOfRandomness;
 
-import java.util.HashMap;
-import java.util.Map;
-import java.util.Optional;
-
 
 /**
  * Provides a generation status that does not track the number of trials
@@ -49,7 +45,6 @@ public class NonTrackingGenerationStatus implements GenerationStatus {
     public static final int MEAN_SIZE = 10;
 
     private final SourceOfRandomness random;
-    private final Map<Key<?>, Object> contextValues = new HashMap<>();
     private final GeometricDistribution geometric = new GeometricDistribution();
 
 
@@ -68,14 +63,4 @@ public int attempts() {
                 " is not supported in guided mode.");
     }
 
-    @Override
-    public <T> GenerationStatus setValue(Key<T> key, T value) {
-        contextValues.put(key, value);
-        return this;
-    }
-
-    @Override
-    public <T> Optional<T> valueOf(Key<T> key) {
-        return Optional.ofNullable(key.cast(contextValues.get(key)));
-    }
 }
diff --git a/utbot-framework/src/main/java/org/utbot/quickcheck/Pair.java b/utbot-framework/src/main/java/org/utbot/quickcheck/Pair.java
diff --git a/utbot-framework/src/main/java/org/utbot/quickcheck/Produced.java b/utbot-framework/src/main/java/org/utbot/quickcheck/Produced.java