diff options
| author |  Oszkar Semerath <Oszkar Semerath@DESKTOP-DNR7JQ7> | 2021-07-05 23:08:21 +0200 |
|---|---|---|
| committer | Oszkar Semerath <Oszkar Semerath@DESKTOP-DNR7JQ7> | 2021-07-05 23:08:21 +0200 |
| commit | f7201f51aac7448fe700242210e2036b85fdaeb9 (patch) | |
| tree | 9c3c559fd2a5a566a170d8caac2431eb1ecb1268 /Solvers | |
| parent | iterator fix (diff) | |
| download | VIATRA-Generator-f7201f51aac7448fe700242210e2036b85fdaeb9.tar.gz VIATRA-Generator-f7201f51aac7448fe700242210e2036b85fdaeb9.tar.zst VIATRA-Generator-f7201f51aac7448fe700242210e2036b85fdaeb9.zip | |
Test environment update
Diffstat (limited to 'Solvers')
| -rw-r--r-- | Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/MapSmokeTest.java | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/MapSmokeTest.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/MapSmokeTest.java index 35940256..161f3f1f 100644 --- a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/MapSmokeTest.java +++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/MapSmokeTest.java | |||
| @@ -49,24 +49,6 @@ public class MapSmokeTest { | |||
| 49 | }; | 49 | }; |
| 50 | return chp; | 50 | return chp; |
| 51 | } | 51 | } |
| 52 | |||
| 53 | // void recursiveCall( | ||
| 54 | // int steps, | ||
| 55 | // int maxKey, | ||
| 56 | // int maxValue, | ||
| 57 | // String[] values, | ||
| 58 | // MapTestEnvironment<Integer, String> e, | ||
| 59 | // Random r) | ||
| 60 | // { | ||
| 61 | // if(steps<=0) { | ||
| 62 | // return; | ||
| 63 | // } else { | ||
| 64 | // e.put(r.nextInt(maxKey), values[r.nextInt(maxValue)]); | ||
| 65 | // e.checkEquivalence(); | ||
| 66 | // | ||
| 67 | // recursiveCall(steps-1, maxKey, maxValue, values, e, r); | ||
| 68 | // } | ||
| 69 | // } | ||
| 70 | 52 | ||
| 71 | void iterativeRandomPuts( | 53 | void iterativeRandomPuts( |
| 72 | String scenario, | 54 | String scenario, |