Describir: Testovanie vlastností kódov typu RLL