確かに 0 割りですね

tatyam-prime · Jun 1, 2024 · 5eb32fa · 5eb32fa
1 parent e7577f0
commit 5eb32fa
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
@@ -35,6 +35,7 @@ jobs:
           .verify-helper/cache/
           ~/.cache/online-judge-tools/library-checker-problems/
           ~/.local/share/online-judge-tools/
+        save-always: true
 
     - run: oj-verify all
       env:

diff --git a/test/math/ExtGCD.test.cpp b/test/math/ExtGCD.test.cpp
@@ -14,8 +14,10 @@ int main() {
          ll x, y;
          assert(extgcd(a, b, x, y) == g);
          assert((i128)a * x + (i128)b * y == g);
-         assert(abs(x) + abs(y) <= abs((i128)x - b / g) + abs((i128)y + a / g));
-         assert(abs(x) + abs(y) <= abs((i128)x + b / g) + abs((i128)y - a / g));
+         if(g) {
+            assert(abs((i128)x) + abs((i128)y) <= abs((i128)x - b / g) + abs((i128)y + a / g));
+            assert(abs((i128)x) + abs((i128)y) <= abs((i128)x + b / g) + abs((i128)y - a / g));
+         }
       }
    }
    puts("Hello World");