1 files changed, 7 insertions, 1 deletions
diff --git a/src/fuzzer/divide.cpp b/src/fuzzer/divide.cpp
index 01ec14e28..c0c86f051 100644
--- a/src/fuzzer/divide.cpp
+++ b/src/fuzzer/divide.cpp
@@ -1,5 +1,5 @@
 /*
-* (C) 2015,2016 Jack Lloyd
+* (C) 2015,2016,2018 Jack Lloyd
 *
 * Botan is released under the Simplified BSD License (see license.txt)
 */
@@ -25,5 +25,11 @@ void fuzz(const uint8_t in[], size_t len)
    Botan::BigInt z = q*y + r;
 
    FUZZER_ASSERT_EQUAL(z, x);
+
+   Botan::BigInt ct_q, ct_r;
+   Botan::ct_divide(x, y, ct_q, ct_r);
+
+   FUZZER_ASSERT_EQUAL(q, ct_q);
+   FUZZER_ASSERT_EQUAL(r, ct_r);
    }