diff options
Diffstat (limited to 'subprojects/store-dse')
2 files changed, 3 insertions, 3 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 ce3efb21..22f38ca9 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 | |||
@@ -10,10 +10,10 @@ import tools.refinery.store.model.Model; | |||
10 | import java.util.Random; | 10 | import java.util.Random; |
11 | 11 | ||
12 | public class BestFirstExplorer extends BestFirstWorker { | 12 | public class BestFirstExplorer extends BestFirstWorker { |
13 | final int id; | 13 | final long id; |
14 | Random random; | 14 | Random random; |
15 | 15 | ||
16 | public BestFirstExplorer(BestFirstStoreManager storeManager, Model model, int id) { | 16 | public BestFirstExplorer(BestFirstStoreManager storeManager, Model model, long id) { |
17 | super(storeManager, model); | 17 | super(storeManager, model); |
18 | this.id = id; | 18 | this.id = id; |
19 | // The use of a non-cryptographic random generator is safe here, because we only use it to direct the state | 19 | // The use of a non-cryptographic random generator is safe here, because we only use it to direct the state |
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStoreManager.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStoreManager.java index 3d32f84c..c20ab9a0 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStoreManager.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/strategy/BestFirstStoreManager.java | |||
@@ -79,7 +79,7 @@ public class BestFirstStoreManager { | |||
79 | startExploration(initial, 1); | 79 | startExploration(initial, 1); |
80 | } | 80 | } |
81 | 81 | ||
82 | public void startExploration(Version initial, int randomSeed) { | 82 | public void startExploration(Version initial, long randomSeed) { |
83 | BestFirstExplorer bestFirstExplorer = new BestFirstExplorer(this, modelStore.createModelForState(initial), | 83 | BestFirstExplorer bestFirstExplorer = new BestFirstExplorer(this, modelStore.createModelForState(initial), |
84 | randomSeed); | 84 | randomSeed); |
85 | bestFirstExplorer.explore(); | 85 | bestFirstExplorer.explore(); |