From bc9f939a3c9c7038021bd5bd5151d941a3aa67a4 Mon Sep 17 00:00:00 2001 From: jah12014 Date: Wed, 20 Dec 2017 22:58:54 -0500 Subject: [PATCH] Removing unnecessary comment --- .../src/TestIncrementalMinimization.java | 6 ------ 1 file changed, 6 deletions(-) diff --git a/IncrementalMinimization/src/TestIncrementalMinimization.java b/IncrementalMinimization/src/TestIncrementalMinimization.java index 55dcfd6c..fcf94e64 100644 --- 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