<BUG>void testDoubleAddition(BinaryAdder1 adder) {double a, b, plainResult, decodedResult, tolerance;EncryptedNumber ciphertTextA, ciphertTextB, encryptedResult;EncodedNumber decryptedResult;for(int i = 0; i < maxIteration; i++) {a = randomFiniteDouble();</BUG><CONTEXT>return context.add(arg2, arg1);}}};<extra_id_0>b = randomFiniteDouble();</CONTEXT>
@Testpublic void testDoubleAddition() {EncryptedNumber cipherTextA, cipherTextA_obf, cipherTextB, cipherTextB_obf, encryptedResult;EncodedNumber encodedA, encodedB, encodedResult, decryptedResult;Random rnd = new Random();int maxExponentDiff = (int)(0.5 * context.getPublicKey().getModulus().bitLength() / (Math.log(context.getBase()) / Math.log(2)));for(int i = 0; i < MAX_ITERATIONS; i++) {a = randomFiniteDouble();