From cb3a628ee2b95279bb02e3cb0d4cd8b3e7a31842 Mon Sep 17 00:00:00 2001
From: nagilooh <ficsorattila96@gmail.com>
Date: Thu, 3 Aug 2023 17:45:24 +0200
Subject: Update test cases for new Version implementation

---
 .../refinery/store/dse/DesignSpaceExplorationTest.java   | 16 ----------------
 1 file changed, 16 deletions(-)

(limited to 'subprojects/store-dse/src/test')

diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java
index c454f4ec..7db2c708 100644
--- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java
+++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java
@@ -123,7 +123,6 @@ public class DesignSpaceExplorationTest {
 
 		var states = dseAdapter.explore();
 		assertEquals(1, states.size());
-		assertEquals(0, states.iterator().next());
 	}
 
 	@Test
@@ -171,7 +170,6 @@ public class DesignSpaceExplorationTest {
 
 		var states = dseAdapter.explore();
 		assertEquals(1, states.size());
-		assertEquals(0, states.iterator().next());
 	}
 
 	@Test
@@ -218,13 +216,7 @@ public class DesignSpaceExplorationTest {
 		queryEngine.flushChanges();
 
 		var states = dseAdapter.explore();
-		var iterator = states.iterator();
 		assertEquals(5, states.size());
-		assertEquals(0, iterator.next());
-		assertEquals(1, iterator.next());
-		assertEquals(2, iterator.next());
-		assertEquals(3, iterator.next());
-		assertEquals(4, iterator.next());
 	}
 
 	@Test
@@ -311,7 +303,6 @@ public class DesignSpaceExplorationTest {
 
 		var states = dseAdapter.explore();
 		assertEquals(1, states.size());
-		assertEquals(0, states.iterator().next());
 	}
 
 	@Test
@@ -359,7 +350,6 @@ public class DesignSpaceExplorationTest {
 
 		var states = dseAdapter.explore();
 		assertEquals(1, states.size());
-		assertEquals(0, states.iterator().next());
 	}
 
 	@Test
@@ -406,13 +396,7 @@ public class DesignSpaceExplorationTest {
 		queryEngine.flushChanges();
 
 		var states = dseAdapter.explore();
-		var iterator = states.iterator();
 		assertEquals(5, states.size());
-		assertEquals(0, iterator.next());
-		assertEquals(1, iterator.next());
-		assertEquals(2, iterator.next());
-		assertEquals(3, iterator.next());
-		assertEquals(4, iterator.next());
 	}
 
 	@Test
-- 
cgit v1.2.3-54-g00ecf