From dad9923329fd38f8ec0e6c6150975fa586b9336b Mon Sep 17 00:00:00 2001
From: VincenzoArceri <vincenzoarceri.92@gmail.com>
Date: Wed, 23 Aug 2023 12:13:01 +0200
Subject: [PATCH] Removed star test

---
 .../it/unive/lisa/analysis/string/fsa/SimpleAutomaton.java  | 1 -
 .../java/it/unive/lisa/analysis/string/fsa/TrimTest.java    | 6 ------
 2 files changed, 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
index 29ca79951..bd7cb7962 100644
--- 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
index 072993ae2..33ca8e085 100644
--- 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()));
-	}
 }