diff -r 6756b026c5fe -r ee1caac29bb2 exps/both.scala
--- a/exps/both.scala	Fri Feb 08 12:47:35 2019 +0000
+++ b/exps/both.scala	Sun Feb 10 21:53:57 2019 +0000
@@ -580,14 +580,22 @@
 // Some Small Tests
 //==================
 
-/*
-println("simple tests:")
-println(blexing_simp((SYM.%), "abcd"))
-println(blexing_simp(((SYM.%) | ((SYM.% | NUM).%)), "12345"))
-println(blexing_simp((WHILE_REGS), "abcd"))
-println(blexing_simp((WHILE_REGS), "12345"))
-println(blexing_simp((WHILE_REGS), """write "Fib";"""))
-*/
+println("Small tests")
+
+val re1 = STAR("a" | "aa")
+println(astring(bders_simp("".toList, internalise(re1))))
+println(astring(bders_simp("a".toList, internalise(re1))))
+println(astring(bders_simp("aa".toList, internalise(re1))))
+println(astring(bders_simp("aaa".toList, internalise(re1))))
+println(astring(bders_simp("aaaaaa".toList, internalise(re1))))
+println(astring(bders_simp("aaaaaaaaa".toList, internalise(re1))))
+println(astring(bders_simp("aaaaaaaaaaaa".toList, internalise(re1))))
+println(astring(bders_simp("aaaaaaaaaaaaaaaaaaaaaaaaa".toList, internalise(re1))))
+println(astring(bders_simp("aaaaaabaaaabbbbbaaaaaaaaaaaaaaa".toList, internalise(re1))))
+
+
+
+
 
 
 // Bigger Tests