Removed star test

lisa-analyzer · Aug 23, 2023 · dad9923 · dad9923
1 parent ad48a0a
commit dad9923
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 7 deletions.
diff --git a/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/string/fsa/SimpleAutomaton.java b/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/string/fsa/SimpleAutomaton.java
@@ -466,7 +466,6 @@ private SimpleAutomaton connectAutomaton(SimpleAutomaton second, SortedSet<State
 							t.getSymbol()));
 				}
 				if (t.getSource().isInitial()) {
-					// TODO better recheck this function
 					for (State s : connectOn) {
 						if (states.contains(secondMapping.get(t.getSource())))
 							delta.add(new Transition<>(secondMapping.get(t.getSource()), firstMapping.get(s),

diff --git a/lisa/lisa-analyses/src/test/java/it/unive/lisa/analysis/string/fsa/TrimTest.java b/lisa/lisa-analyses/src/test/java/it/unive/lisa/analysis/string/fsa/TrimTest.java
@@ -23,10 +23,4 @@ public void test03() {
 		SimpleAutomaton c = new SimpleAutomaton("a").union(new SimpleAutomaton(" b "));
 		assertTrue(c.trim().isEqualTo(new SimpleAutomaton("a").union(new SimpleAutomaton("b"))));
 	}
-
-	@Test
-	public void test04() {
-		SimpleAutomaton c = new SimpleAutomaton(" a ").star();
-		assertTrue(c.trim().isEqualTo(new SimpleAutomaton("a").star()));
-	}
 }