module Main where import Auto import HaskellUnit import A1 main = runTests [test1,test2,test3,test4,test5,test6,test7,test8,test9,test10 ,test11,test12,test13,test14,test15,test16,test17,test18,test19,test20 ,test21,test22,test23,test24,test25,test26,test27,test28,test29,test30 ,test31,test32,test33,test34,test35,test36,test37,test38,test39,test40 ,test41,test42,test43,test44,test45,test46,test47,test48,test49,test50 ,test51,test52,test53,test54] test1 = testcase "test1" "falsch" True (a1 `accept` "ababababab") test2 = testcase "test2" "falsch" True (a1 `accept` "ab") test3 = testcase "test3" "falsch" True (a1 `accept` "bb") test4 = testcase "test4" "falsch" True (a1 `accept` "bb") test5 = testcase "test5" "falsch" False (a1 `accept` "ba") test6 = testcase "test6" "falsch" False (a1 `accept` "aa") test7 = testcase "test7" "falsch" False (a1 `accept` "aabbb") test8 = testcase "test8" "falsch" True (a2 `accept` "baa") test9 = testcase "test9" "falsch" True (a2 `accept` "ab") test10 = testcase "test10" "falsch" True (a2 `accept` "abb") test11 = testcase "test11" "falsch" False (a2 `accept` "abba") test12 = testcase "test12" "falsch" False (a2 `accept` "a") test13 = testcase "test13" "falsch" False (a2 `accept` "ba") test14 = testcase "test14" "falsch" False (a2 `accept` "abab") test15 = testcase "test15" "falsch" True (a3 `accept` "abab") test16 = testcase "test16" "falsch" True (a3 `accept` "abb") test17 = testcase "test17" "falsch" True (a3 `accept` "aa") test18 = testcase "test18" "falsch" True (a3 `accept` "a") test19 = testcase "test19" "falsch" True (a3 `accept` "b") test20 = testcase "test20" "falsch" True (a3 `accept` "") test21 = testcase "test21" "falsch" False (a3 `accept` "ba") test22 = testcase "test22" "falsch" False (a3 `accept` "bba") test23 = testcase "test23" "falsch" True (a4 `accept` "bb") test24 = testcase "test24" "falsch" True (a4 `accept` "aa") test25 = testcase "test25" "falsch" True (a4 `accept` "bbabababa") test26 = testcase "test26" "falsch" True (a4 `accept` "aaabababa") test27 = testcase "test27" "falsch" True (a4 `accept` "abababbb") test28 = testcase "test28" "falsch" True (a4 `accept` "aaaaaaaaa") test29 = testcase "test29" "falsch" True (a4 `accept` "ababbbbbbaaaaabbaa") test30 = testcase "test30" "falsch" True (a4 `accept` "abbaa") test31 = testcase "test31" "falsch" True (a4 `accept` "abbb") test32 = testcase "test32" "falsch" False (a4 `accept` "") test33 = testcase "test33" "falsch" False (a4 `accept` "a") test34 = testcase "test34" "falsch" False (a4 `accept` "ab") test35 = testcase "test35" "falsch" False (a4 `accept` "abba") test36 = testcase "test36" "falsch" False (a4 `accept` "aba") test37 = testcase "test37" "falsch" False (a4 `accept` "baab") test38 = testcase "test38" "falsch" True (a5 `accept` "ababa") test39 = testcase "test39" "falsch" True (a5 `accept` "a") test40 = testcase "test40" "falsch" True (a5 `accept` "aaa") test41 = testcase "test41" "falsch" True (a5 `accept` "ab") test42 = testcase "test42" "falsch" True (a5 `accept` "ba") test43 = testcase "test43" "falsch" True (a5 `accept` "bbbbba") test44 = testcase "test44" "falsch" True (a5 `accept` "abb") test45 = testcase "test45" "falsch" True (a5 `accept` "aaa") test46 = testcase "test46" "falsch" True (a5 `accept` "abaa") test47 = testcase "test47" "falsch" True (a5 `accept` "baaabbbbbbbbbbbbbbbbbbb") test48 = testcase "test48" "falsch" False (a5 `accept` "") test49 = testcase "test49" "falsch" False (a5 `accept` "b") test50 = testcase "test50" "falsch" False (a5 `accept` "abba") test51 = testcase "test51" "falsch" False (a5 `accept` "aab") test52 = testcase "test52" "falsch" False (a5 `accept` "aaaaaabbbbbbbb") test53 = testcase "test53" "falsch" False (a5 `accept` "bb") test54 = testcase "test54" "falsch" False (a5 `accept` "aba")