Removing unnecessary comment

jah12014 · Dec 21, 2017 · bc9f939 · bc9f939
1 parent 0091d70
commit bc9f939
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/IncrementalMinimization/src/TestIncrementalMinimization.java b/IncrementalMinimization/src/TestIncrementalMinimization.java
@@ -84,12 +84,6 @@ public void testMyAut() throws TimeoutException {
 		Assert.assertTrue(incrMinAut.getStates().size() <= stdMinAut.getStates().size());
 		Assert.assertTrue(SFA.areEquivalent(incrMinAut, aut, ba));
 		Assert.assertTrue(SFA.areEquivalent(incrMinAut, stdMinAut, ba));
-
-		//Note that because of how the symbolic automata library stores automata that it does not
-		//recognize as explicitly minimal, we may have a case where our minimum automata has
-		//less states than theirs (b/c the SFA does not store "sink states" AFAIK). So, to check that
-		//our SFA is minimal, we test if it is deterministic and has no more than the minimum
-		//SFA that the library computes
 	}
 
 	@Test