package ch.fhnw.kry; import org.junit.jupiter.api.Test; class CTRTest { @Test void generateIV() { int count = 0; while (count < Integer.MAX_VALUE) { int iv = CTR.generateIV(); assert (iv < 1 << 16); count++; } } }