| changeset 245 | 744496a2bade | 
| parent 227 | 37e659cfbb2e | 
| child 288 | 3cd6c850c252 | 
| 244:0ab369f53ac1 | 245:744496a2bade | 
|---|---|
1  | 
|
2 val EVIL_urban = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))  | 
|
3  | 
|
4 assert(size(der('a', der('a', EVIL_urban))) == 28)  | 
|
5 assert(size(der('a', der('a', der('a', EVIL_urban)))) == 58)  | 
|
6  | 
|
7 assert(size(ders("aaaaaa".toList, EVIL_urban)) == 8)  | 
|
8 assert(size(ders(("a" * 50).toList, EVIL_urban)) == 8)  |