Skip to content

Commit c3b53df

Browse files
authored
[auto-verifier] docs commit a72c127
1 parent 8e1e012 commit c3b53df

12 files changed

+147
-136
lines changed

test/aplusb.test.cpp.md

Lines changed: 17 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -16,17 +16,19 @@ data:
1616
- https://judge.yosupo.jp/problem/aplusb
1717
bundledCode: "#line 1 \"test/aplusb.test.cpp\"\n#define PROBLEM \"https://judge.yosupo.jp/problem/aplusb\"\
1818
\n\n#line 1 \"weilycoder/fast-io.hpp\"\n\n\n\n#include <cstddef>\n#include <cstdint>\n\
19-
#include <cstdio>\n#include <limits>\n#include <sys/mman.h>\n#include <sys/stat.h>\n\
20-
#include <unistd.h>\n\nnamespace weilycoder {\nstruct FastReadMMap {\n size_t\
21-
\ file_size;\n char *data, *pos;\n\n FastReadMMap(const FastReadMMap &) = delete;\n\
22-
\ FastReadMMap &operator=(const FastReadMMap &) = delete;\n\n FastReadMMap()\
23-
\ {\n struct stat st;\n\n if (fstat(0, &st) != 0) {\n file_size = std::numeric_limits<size_t>::max();\n\
19+
#include <cstdio>\n#include <limits>\n\n#if defined(__linux__) || defined(__unix__)\
20+
\ || defined(__APPLE__)\n#include <sys/mman.h>\n#include <sys/stat.h>\n#include\
21+
\ <unistd.h>\n#endif\n\nnamespace weilycoder {\n#if defined(__linux__) || defined(__unix__)\
22+
\ || defined(__APPLE__)\nstruct FastReadMMap {\n size_t file_size;\n char *data,\
23+
\ *pos;\n\n FastReadMMap(const FastReadMMap &) = delete;\n FastReadMMap &operator=(const\
24+
\ FastReadMMap &) = delete;\n\n FastReadMMap() {\n struct stat st;\n\n \
25+
\ if (fstat(0, &st) != 0) {\n file_size = std::numeric_limits<size_t>::max();\n\
2426
\ return;\n }\n\n file_size = st.st_size;\n data = reinterpret_cast<char\
2527
\ *>(\n mmap(nullptr, file_size, PROT_READ, MAP_PRIVATE, 0, 0));\n pos\
2628
\ = data;\n }\n\n ~FastReadMMap() {\n if (file_size != std::numeric_limits<size_t>::max())\n\
2729
\ munmap(data, file_size);\n }\n\n inline char getchar() {\n return\
2830
\ static_cast<size_t>(pos - data) < file_size ? *pos++ : EOF;\n }\n\n inline\
29-
\ char operator()() { return getchar(); }\n};\n\ntemplate <size_t buffer_size\
31+
\ char operator()() { return getchar(); }\n};\n#endif\n\ntemplate <size_t buffer_size\
3032
\ = 1 << 20> struct FastReadFRead {\n char buf[buffer_size], *pos = buf, *end\
3133
\ = buf;\n\n FastReadFRead() = default;\n\n FastReadFRead(const FastReadFRead\
3234
\ &) = delete;\n FastReadFRead &operator=(const FastReadFRead &) = delete;\n\n\
@@ -82,22 +84,23 @@ data:
8284
\ inline void write_u64_line(uint64_t x) { write_u64(x), putchar('\\n'); }\n\
8385
\ inline void write_i128_line(__int128 x) { write_i128(x), putchar('\\n'); }\n\
8486
\ inline void write_u128_line(unsigned __int128 x) {\n write_u128(x), putchar('\\\
85-
n');\n }\n};\n\ntemplate <bool debug = false>\nusing FastIOStd = FastIO<FastReadMMap,\
86-
\ FastWriteFWrite<>, debug>;\n\ntemplate <bool debug = false>\nusing FastIOFile\
87-
\ = FastIO<FastReadFRead<>, FastWriteFWrite<>, debug>;\n} // namespace weilycoder\n\
88-
\n\n#line 4 \"test/aplusb.test.cpp\"\nusing namespace weilycoder;\n\nstatic FastIOStd<true>\
89-
\ io;\n\nint main() {\n uint64_t a = io.read_u64();\n uint64_t b = io.read_u64();\n\
90-
\ io.write_u64_line(a + b);\n return 0;\n}\n"
87+
n');\n }\n};\n\n#if defined(__linux__) || defined(__unix__) || defined(__APPLE__)\n\
88+
template <bool debug = false>\nusing FastIOMMap = FastIO<FastReadMMap, FastWriteFWrite<>,\
89+
\ debug>;\n#endif\n\ntemplate <bool debug = false>\nusing FastIOFile = FastIO<FastReadFRead<>,\
90+
\ FastWriteFWrite<>, debug>;\n} // namespace weilycoder\n\n\n#line 4 \"test/aplusb.test.cpp\"\
91+
\nusing namespace weilycoder;\n\nstatic FastIOMMap<true> io;\n\nint main() {\n\
92+
\ uint64_t a = io.read_u64();\n uint64_t b = io.read_u64();\n io.write_u64_line(a\
93+
\ + b);\n return 0;\n}\n"
9194
code: "#define PROBLEM \"https://judge.yosupo.jp/problem/aplusb\"\n\n#include \"\
92-
../weilycoder/fast-io.hpp\"\nusing namespace weilycoder;\n\nstatic FastIOStd<true>\
95+
../weilycoder/fast-io.hpp\"\nusing namespace weilycoder;\n\nstatic FastIOMMap<true>\
9396
\ io;\n\nint main() {\n uint64_t a = io.read_u64();\n uint64_t b = io.read_u64();\n\
9497
\ io.write_u64_line(a + b);\n return 0;\n}"
9598
dependsOn:
9699
- weilycoder/fast-io.hpp
97100
isVerificationFile: true
98101
path: test/aplusb.test.cpp
99102
requiredBy: []
100-
timestamp: '2025-10-29 23:15:34+08:00'
103+
timestamp: '2025-10-29 23:28:06+08:00'
101104
verificationStatus: TEST_ACCEPTED
102105
verifiedWith: []
103106
documentation_of: test/aplusb.test.cpp

test/biconnected_components.test.cpp.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -88,7 +88,7 @@ data:
8888
isVerificationFile: true
8989
path: test/biconnected_components.test.cpp
9090
requiredBy: []
91-
timestamp: '2025-10-29 23:15:34+08:00'
91+
timestamp: '2025-10-29 23:28:06+08:00'
9292
verificationStatus: TEST_ACCEPTED
9393
verifiedWith: []
9494
documentation_of: test/biconnected_components.test.cpp

test/many_aplusb.test.cpp.md

Lines changed: 18 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -16,17 +16,19 @@ data:
1616
- https://judge.yosupo.jp/problem/many_aplusb
1717
bundledCode: "#line 1 \"test/many_aplusb.test.cpp\"\n#define PROBLEM \"https://judge.yosupo.jp/problem/many_aplusb\"\
1818
\n\n#line 1 \"weilycoder/fast-io.hpp\"\n\n\n\n#include <cstddef>\n#include <cstdint>\n\
19-
#include <cstdio>\n#include <limits>\n#include <sys/mman.h>\n#include <sys/stat.h>\n\
20-
#include <unistd.h>\n\nnamespace weilycoder {\nstruct FastReadMMap {\n size_t\
21-
\ file_size;\n char *data, *pos;\n\n FastReadMMap(const FastReadMMap &) = delete;\n\
22-
\ FastReadMMap &operator=(const FastReadMMap &) = delete;\n\n FastReadMMap()\
23-
\ {\n struct stat st;\n\n if (fstat(0, &st) != 0) {\n file_size = std::numeric_limits<size_t>::max();\n\
19+
#include <cstdio>\n#include <limits>\n\n#if defined(__linux__) || defined(__unix__)\
20+
\ || defined(__APPLE__)\n#include <sys/mman.h>\n#include <sys/stat.h>\n#include\
21+
\ <unistd.h>\n#endif\n\nnamespace weilycoder {\n#if defined(__linux__) || defined(__unix__)\
22+
\ || defined(__APPLE__)\nstruct FastReadMMap {\n size_t file_size;\n char *data,\
23+
\ *pos;\n\n FastReadMMap(const FastReadMMap &) = delete;\n FastReadMMap &operator=(const\
24+
\ FastReadMMap &) = delete;\n\n FastReadMMap() {\n struct stat st;\n\n \
25+
\ if (fstat(0, &st) != 0) {\n file_size = std::numeric_limits<size_t>::max();\n\
2426
\ return;\n }\n\n file_size = st.st_size;\n data = reinterpret_cast<char\
2527
\ *>(\n mmap(nullptr, file_size, PROT_READ, MAP_PRIVATE, 0, 0));\n pos\
2628
\ = data;\n }\n\n ~FastReadMMap() {\n if (file_size != std::numeric_limits<size_t>::max())\n\
2729
\ munmap(data, file_size);\n }\n\n inline char getchar() {\n return\
2830
\ static_cast<size_t>(pos - data) < file_size ? *pos++ : EOF;\n }\n\n inline\
29-
\ char operator()() { return getchar(); }\n};\n\ntemplate <size_t buffer_size\
31+
\ char operator()() { return getchar(); }\n};\n#endif\n\ntemplate <size_t buffer_size\
3032
\ = 1 << 20> struct FastReadFRead {\n char buf[buffer_size], *pos = buf, *end\
3133
\ = buf;\n\n FastReadFRead() = default;\n\n FastReadFRead(const FastReadFRead\
3234
\ &) = delete;\n FastReadFRead &operator=(const FastReadFRead &) = delete;\n\n\
@@ -82,15 +84,16 @@ data:
8284
\ inline void write_u64_line(uint64_t x) { write_u64(x), putchar('\\n'); }\n\
8385
\ inline void write_i128_line(__int128 x) { write_i128(x), putchar('\\n'); }\n\
8486
\ inline void write_u128_line(unsigned __int128 x) {\n write_u128(x), putchar('\\\
85-
n');\n }\n};\n\ntemplate <bool debug = false>\nusing FastIOStd = FastIO<FastReadMMap,\
86-
\ FastWriteFWrite<>, debug>;\n\ntemplate <bool debug = false>\nusing FastIOFile\
87-
\ = FastIO<FastReadFRead<>, FastWriteFWrite<>, debug>;\n} // namespace weilycoder\n\
88-
\n\n#line 4 \"test/many_aplusb.test.cpp\"\nusing namespace weilycoder;\n\nstatic\
89-
\ FastIOStd<> io;\n\nint main() {\n size_t t = io.read_u64();\n while (t--)\
90-
\ {\n uint64_t a = io.read_u64();\n uint64_t b = io.read_u64();\n uint64_t\
91-
\ c = a + b;\n io.write_u64_line(c);\n }\n return 0;\n}\n"
87+
n');\n }\n};\n\n#if defined(__linux__) || defined(__unix__) || defined(__APPLE__)\n\
88+
template <bool debug = false>\nusing FastIOMMap = FastIO<FastReadMMap, FastWriteFWrite<>,\
89+
\ debug>;\n#endif\n\ntemplate <bool debug = false>\nusing FastIOFile = FastIO<FastReadFRead<>,\
90+
\ FastWriteFWrite<>, debug>;\n} // namespace weilycoder\n\n\n#line 4 \"test/many_aplusb.test.cpp\"\
91+
\nusing namespace weilycoder;\n\nstatic FastIOMMap<> io;\n\nint main() {\n size_t\
92+
\ t = io.read_u64();\n while (t--) {\n uint64_t a = io.read_u64();\n uint64_t\
93+
\ b = io.read_u64();\n uint64_t c = a + b;\n io.write_u64_line(c);\n }\n\
94+
\ return 0;\n}\n"
9295
code: "#define PROBLEM \"https://judge.yosupo.jp/problem/many_aplusb\"\n\n#include\
93-
\ \"../weilycoder/fast-io.hpp\"\nusing namespace weilycoder;\n\nstatic FastIOStd<>\
96+
\ \"../weilycoder/fast-io.hpp\"\nusing namespace weilycoder;\n\nstatic FastIOMMap<>\
9497
\ io;\n\nint main() {\n size_t t = io.read_u64();\n while (t--) {\n uint64_t\
9598
\ a = io.read_u64();\n uint64_t b = io.read_u64();\n uint64_t c = a + b;\n\
9699
\ io.write_u64_line(c);\n }\n return 0;\n}"
@@ -99,7 +102,7 @@ data:
99102
isVerificationFile: true
100103
path: test/many_aplusb.test.cpp
101104
requiredBy: []
102-
timestamp: '2025-10-29 23:15:34+08:00'
105+
timestamp: '2025-10-29 23:28:06+08:00'
103106
verificationStatus: TEST_ACCEPTED
104107
verifiedWith: []
105108
documentation_of: test/many_aplusb.test.cpp

test/many_aplusb_128bit.test.cpp.md

Lines changed: 16 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -16,17 +16,19 @@ data:
1616
- https://judge.yosupo.jp/problem/many_aplusb_128bit
1717
bundledCode: "#line 1 \"test/many_aplusb_128bit.test.cpp\"\n#define PROBLEM \"https://judge.yosupo.jp/problem/many_aplusb_128bit\"\
1818
\n\n#line 1 \"weilycoder/fast-io.hpp\"\n\n\n\n#include <cstddef>\n#include <cstdint>\n\
19-
#include <cstdio>\n#include <limits>\n#include <sys/mman.h>\n#include <sys/stat.h>\n\
20-
#include <unistd.h>\n\nnamespace weilycoder {\nstruct FastReadMMap {\n size_t\
21-
\ file_size;\n char *data, *pos;\n\n FastReadMMap(const FastReadMMap &) = delete;\n\
22-
\ FastReadMMap &operator=(const FastReadMMap &) = delete;\n\n FastReadMMap()\
23-
\ {\n struct stat st;\n\n if (fstat(0, &st) != 0) {\n file_size = std::numeric_limits<size_t>::max();\n\
19+
#include <cstdio>\n#include <limits>\n\n#if defined(__linux__) || defined(__unix__)\
20+
\ || defined(__APPLE__)\n#include <sys/mman.h>\n#include <sys/stat.h>\n#include\
21+
\ <unistd.h>\n#endif\n\nnamespace weilycoder {\n#if defined(__linux__) || defined(__unix__)\
22+
\ || defined(__APPLE__)\nstruct FastReadMMap {\n size_t file_size;\n char *data,\
23+
\ *pos;\n\n FastReadMMap(const FastReadMMap &) = delete;\n FastReadMMap &operator=(const\
24+
\ FastReadMMap &) = delete;\n\n FastReadMMap() {\n struct stat st;\n\n \
25+
\ if (fstat(0, &st) != 0) {\n file_size = std::numeric_limits<size_t>::max();\n\
2426
\ return;\n }\n\n file_size = st.st_size;\n data = reinterpret_cast<char\
2527
\ *>(\n mmap(nullptr, file_size, PROT_READ, MAP_PRIVATE, 0, 0));\n pos\
2628
\ = data;\n }\n\n ~FastReadMMap() {\n if (file_size != std::numeric_limits<size_t>::max())\n\
2729
\ munmap(data, file_size);\n }\n\n inline char getchar() {\n return\
2830
\ static_cast<size_t>(pos - data) < file_size ? *pos++ : EOF;\n }\n\n inline\
29-
\ char operator()() { return getchar(); }\n};\n\ntemplate <size_t buffer_size\
31+
\ char operator()() { return getchar(); }\n};\n#endif\n\ntemplate <size_t buffer_size\
3032
\ = 1 << 20> struct FastReadFRead {\n char buf[buffer_size], *pos = buf, *end\
3133
\ = buf;\n\n FastReadFRead() = default;\n\n FastReadFRead(const FastReadFRead\
3234
\ &) = delete;\n FastReadFRead &operator=(const FastReadFRead &) = delete;\n\n\
@@ -82,13 +84,13 @@ data:
8284
\ inline void write_u64_line(uint64_t x) { write_u64(x), putchar('\\n'); }\n\
8385
\ inline void write_i128_line(__int128 x) { write_i128(x), putchar('\\n'); }\n\
8486
\ inline void write_u128_line(unsigned __int128 x) {\n write_u128(x), putchar('\\\
85-
n');\n }\n};\n\ntemplate <bool debug = false>\nusing FastIOStd = FastIO<FastReadMMap,\
86-
\ FastWriteFWrite<>, debug>;\n\ntemplate <bool debug = false>\nusing FastIOFile\
87-
\ = FastIO<FastReadFRead<>, FastWriteFWrite<>, debug>;\n} // namespace weilycoder\n\
88-
\n\n#line 4 \"test/many_aplusb_128bit.test.cpp\"\nusing namespace weilycoder;\n\
89-
\nstatic FastIOFile<> io;\n\nint main() {\n size_t t = io.read_u64();\n while\
90-
\ (t--) {\n auto a = io.read_i128();\n auto b = io.read_i128();\n io.write_i128_line(a\
91-
\ + b);\n }\n return 0;\n}\n"
87+
n');\n }\n};\n\n#if defined(__linux__) || defined(__unix__) || defined(__APPLE__)\n\
88+
template <bool debug = false>\nusing FastIOMMap = FastIO<FastReadMMap, FastWriteFWrite<>,\
89+
\ debug>;\n#endif\n\ntemplate <bool debug = false>\nusing FastIOFile = FastIO<FastReadFRead<>,\
90+
\ FastWriteFWrite<>, debug>;\n} // namespace weilycoder\n\n\n#line 4 \"test/many_aplusb_128bit.test.cpp\"\
91+
\nusing namespace weilycoder;\n\nstatic FastIOFile<> io;\n\nint main() {\n size_t\
92+
\ t = io.read_u64();\n while (t--) {\n auto a = io.read_i128();\n auto\
93+
\ b = io.read_i128();\n io.write_i128_line(a + b);\n }\n return 0;\n}\n"
9294
code: "#define PROBLEM \"https://judge.yosupo.jp/problem/many_aplusb_128bit\"\n\n\
9395
#include \"../weilycoder/fast-io.hpp\"\nusing namespace weilycoder;\n\nstatic\
9496
\ FastIOFile<> io;\n\nint main() {\n size_t t = io.read_u64();\n while (t--)\
@@ -99,7 +101,7 @@ data:
99101
isVerificationFile: true
100102
path: test/many_aplusb_128bit.test.cpp
101103
requiredBy: []
102-
timestamp: '2025-10-29 23:15:34+08:00'
104+
timestamp: '2025-10-29 23:28:06+08:00'
103105
verificationStatus: TEST_ACCEPTED
104106
verifiedWith: []
105107
documentation_of: test/many_aplusb_128bit.test.cpp

test/static_range_sum.test.cpp.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ data:
4141
isVerificationFile: true
4242
path: test/static_range_sum.test.cpp
4343
requiredBy: []
44-
timestamp: '2025-10-29 23:15:34+08:00'
44+
timestamp: '2025-10-29 23:28:06+08:00'
4545
verificationStatus: TEST_ACCEPTED
4646
verifiedWith: []
4747
documentation_of: test/static_range_sum.test.cpp

test/strongly_connected_components.test.cpp.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -88,7 +88,7 @@ data:
8888
isVerificationFile: true
8989
path: test/strongly_connected_components.test.cpp
9090
requiredBy: []
91-
timestamp: '2025-10-29 23:15:34+08:00'
91+
timestamp: '2025-10-29 23:28:06+08:00'
9292
verificationStatus: TEST_ACCEPTED
9393
verifiedWith: []
9494
documentation_of: test/strongly_connected_components.test.cpp

test/two_edge_connected_components.test.cpp.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -89,7 +89,7 @@ data:
8989
isVerificationFile: true
9090
path: test/two_edge_connected_components.test.cpp
9191
requiredBy: []
92-
timestamp: '2025-10-29 23:15:34+08:00'
92+
timestamp: '2025-10-29 23:28:06+08:00'
9393
verificationStatus: TEST_ACCEPTED
9494
verifiedWith: []
9595
documentation_of: test/two_edge_connected_components.test.cpp

test/unionfind.test.cpp.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ data:
4444
isVerificationFile: true
4545
path: test/unionfind.test.cpp
4646
requiredBy: []
47-
timestamp: '2025-10-29 23:15:34+08:00'
47+
timestamp: '2025-10-29 23:28:06+08:00'
4848
verificationStatus: TEST_ACCEPTED
4949
verifiedWith: []
5050
documentation_of: test/unionfind.test.cpp

weilycoder/ds/static_range_sum.hpp.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ data:
2929
isVerificationFile: false
3030
path: weilycoder/ds/static_range_sum.hpp
3131
requiredBy: []
32-
timestamp: '2025-10-29 23:15:34+08:00'
32+
timestamp: '2025-10-29 23:28:06+08:00'
3333
verificationStatus: LIBRARY_ALL_AC
3434
verifiedWith:
3535
- test/static_range_sum.test.cpp

weilycoder/ds/unionfind.hpp.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ data:
3535
isVerificationFile: false
3636
path: weilycoder/ds/unionfind.hpp
3737
requiredBy: []
38-
timestamp: '2025-10-29 23:15:34+08:00'
38+
timestamp: '2025-10-29 23:28:06+08:00'
3939
verificationStatus: LIBRARY_ALL_AC
4040
verifiedWith:
4141
- test/unionfind.test.cpp

0 commit comments

Comments
 (0)