Added failing test case for divmod bug in #104

saxbophone · May 28, 2022 · a5769ce · a5769ce
1 parent da1bffd
commit a5769ce
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/tests/Nat/divmod.cpp b/tests/Nat/divmod.cpp
@@ -198,3 +198,12 @@ TEST_CASE("Division of much smaller arby::Nat by much larger arby::Nat", "[divis
  // answer should always be zero
  CHECK((uintmax_t)(lhs / rhs) == 0);
 }
+
+using namespace com::saxbophone::arby::literals;
+
+TEST_CASE("Failing division", "[divmod]") {
+ auto [quotient, remainder] = arby::Nat::divmod(81238891391892371893_nat, 10000000000_nat);
+
+ CHECK(quotient == 8123889139_nat);
+ CHECK(remainder == 1892371893_nat);
+}