Encoder outputs correct bitstring for test