diff options
Diffstat (limited to 'subprojects/store-dse/src')
-rw-r--r-- | subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java index 5e2f8fa9..ce3efb21 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstExplorer.java | |||
@@ -16,7 +16,11 @@ public class BestFirstExplorer extends BestFirstWorker { | |||
16 | public BestFirstExplorer(BestFirstStoreManager storeManager, Model model, int id) { | 16 | public BestFirstExplorer(BestFirstStoreManager storeManager, Model model, int id) { |
17 | super(storeManager, model); | 17 | super(storeManager, model); |
18 | this.id = id; | 18 | this.id = id; |
19 | this.random = new Random(id); | 19 | // The use of a non-cryptographic random generator is safe here, because we only use it to direct the state |
20 | // space exploration. | ||
21 | @SuppressWarnings("squid:S2245") | ||
22 | var randomGenerator = new Random(id); | ||
23 | this.random = randomGenerator; | ||
20 | } | 24 | } |
21 | 25 | ||
22 | private boolean shouldRun() { | 26 | private boolean shouldRun() { |