import Test.QuickCheck import Algorithms.DFA.Test.KMP main = quickCheck test