return context.add(arg2, arg1);
}
}};
<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>
b = randomFiniteDouble();

return context.add(arg2, arg1);
}
}};
@Test
public void testDoubleAddition() {
double a, b, plainResult, decodedResult, tolerance;
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();
