A teszt vektorok olyan egységei a modulnak, amelyekkel igazolni lehet a logika részben leírt műveletek helyességét. Azaz, hogy tényleg olyan kimenetet ad adott bemenetre, mint amilyet elvárnak tőle. Szintaxis: