diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-09-16 00:28:21 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-16 02:21:41 +0200 |
commit | 4f1d586dc24e1f66ab6d07218755423a80e0c615 (patch) | |
tree | 7da3144f834f7ae1adb24d2caa532e7da313ee43 /subprojects/store-dse | |
parent | Merge pull request #40 from kris7t/update-readme (diff) | |
download | refinery-4f1d586dc24e1f66ab6d07218755423a80e0c615.tar.gz refinery-4f1d586dc24e1f66ab6d07218755423a80e0c615.tar.zst refinery-4f1d586dc24e1f66ab6d07218755423a80e0c615.zip |
build: fix Sonar quality gate issues
Removes VIATRA sources from coverage anaylsis, since those files are maintained
by the VIATRA project.
Diffstat (limited to 'subprojects/store-dse')
-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() { |