build: fix Sonar quality gate issues

Removes VIATRA sources from coverage anaylsis, since those files are maintained
by the VIATRA project.

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 {
         public BestFirstExplorer(BestFirstStoreManager storeManager, Model model, int id) {
                 super(storeManager, model);
                 this.id = id;
-                this.random = new Random(id);
+                // The use of a non-cryptographic random generator is safe here, because we only use it to direct the state
+                // space exploration.
+                @SuppressWarnings("squid:S2245")
+                var randomGenerator = new Random(id);
+                this.random = randomGenerator;
         }
 
         private boolean shouldRun() {