fix: typo

Tiphereth-A · Feb 21, 2025 · 67dbfee · 67dbfee
1 parent 21aebaa
commit 67dbfee
Show file tree

Hide file tree

Showing 9 changed files with 3 additions and 202 deletions.
diff --git a/src/code/util/traits.hpp b/src/code/util/traits.hpp
@@ -47,8 +47,8 @@ template <class P> concept tp_ds_c = requires(P p) { p->ch; std::is_array_v<decl
 template <class P> concept tp2_ds_c = tp_ds_c<P> && std::extent_v<decltype(std::declval<P>()->ch)> == 2;
 
 template <class T> struct to_sint : std::make_signed<T> {};
-template <> struct to_sint<u128> { using type = u128; };
-template <> struct to_sint<i128> { using type = u128; };
+template <> struct to_sint<u128> { using type = i128; };
+template <> struct to_sint<i128> { using type = i128; };
 template <class T> using to_sint_t = TPN to_sint<T>::type;
 template <class T> struct to_uint : std::make_unsigned<T> {};
 template <> struct to_uint<u128> { using type = u128; };

diff --git a/src/meta_test/yukicoder/0963.ode.cppmeta b/src/meta_test/yukicoder/0963.ode.cppmeta
@@ -5,12 +5,7 @@
 CEXP u32 MOD = 1012924417;
 
 // ---<GENTC>--- begin
-// ---<GENTC>--- append poly_anymod poly_nttmod
-// ---<GENTC>--- exclude mints-s63.mints-s30.poly_anymod-p3ntt
-// ---<GENTC>--- exclude mints-s63.mints-s63.poly_anymod-p3ntt
-// ---<GENTC>--- exclude mintd-d63.mints-s30.poly_anymod-p3ntt
-// ---<GENTC>--- exclude mintd-d63.mints-s63.poly_anymod-p3ntt
-// ---<GENTC>--- exclude mints-s63.poly_anymod-pmtt
+// ---<GENTC>--- append poly_nttmod
 // ---<GENTC>--- end
 
 int main() {

diff --git a/src/test_cpverifier/yukicoder/0963.ode.mintd-d31.mints-s30.poly_anymod-p3ntt.test.cpp b/src/test_cpverifier/yukicoder/0963.ode.mintd-d31.mints-s30.poly_anymod-p3ntt.test.cpp
diff --git a/src/test_cpverifier/yukicoder/0963.ode.mintd-d31.mints-s63.poly_anymod-p3ntt.test.cpp b/src/test_cpverifier/yukicoder/0963.ode.mintd-d31.mints-s63.poly_anymod-p3ntt.test.cpp
diff --git a/src/test_cpverifier/yukicoder/0963.ode.mintd-d31.poly_anymod-pmtt.test.cpp b/src/test_cpverifier/yukicoder/0963.ode.mintd-d31.poly_anymod-pmtt.test.cpp
diff --git a/src/test_cpverifier/yukicoder/0963.ode.mintd-d63.poly_anymod-pmtt.test.cpp b/src/test_cpverifier/yukicoder/0963.ode.mintd-d63.poly_anymod-pmtt.test.cpp
diff --git a/src/test_cpverifier/yukicoder/0963.ode.mints-s30.mints-s30.poly_anymod-p3ntt.test.cpp b/src/test_cpverifier/yukicoder/0963.ode.mints-s30.mints-s30.poly_anymod-p3ntt.test.cpp
diff --git a/src/test_cpverifier/yukicoder/0963.ode.mints-s30.mints-s63.poly_anymod-p3ntt.test.cpp b/src/test_cpverifier/yukicoder/0963.ode.mints-s30.mints-s63.poly_anymod-p3ntt.test.cpp
diff --git a/src/test_cpverifier/yukicoder/0963.ode.mints-s30.poly_anymod-pmtt.test.cpp b/src/test_cpverifier/yukicoder/0963.ode.mints-s30.poly_anymod-pmtt.test.cpp