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