aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2026-04-04 12:02:56 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2026-04-04 12:02:56 +0200
commite6be287bbfa6beda038ec8b085300c5dc9c2ecd8 (patch)
tree55d0acb9efde811985157068f3656514b90344cf /tools
parent2ac46cb4d4133e5d5de90bacfc9b6e979d1d6046 (diff)
downloadnissy-core-e6be287bbfa6beda038ec8b085300c5dc9c2ecd8.tar.gz
nissy-core-e6be287bbfa6beda038ec8b085300c5dc9c2ecd8.zip
Use macro for [static N]
Diffstat (limited to 'tools')
-rw-r--r--tools/420_solvetest_h48_symmetric/solvetest.c2
-rw-r--r--tools/solvetest.h2
-rw-r--r--tools/tool.h9
3 files changed, 6 insertions, 7 deletions
diff --git a/tools/420_solvetest_h48_symmetric/solvetest.c b/tools/420_solvetest_h48_symmetric/solvetest.c
index 245b7fe..45345eb 100644
--- a/tools/420_solvetest_h48_symmetric/solvetest.c
+++ b/tools/420_solvetest_h48_symmetric/solvetest.c
@@ -1,4 +1,4 @@
1#define SOLVER "h48h3k2" 1#define SOLVER "h48h3"
2#define NISSFLAG NISSY_NISSFLAG_NORMAL 2#define NISSFLAG NISSY_NISSFLAG_NORMAL
3#define MINMOVES 0 3#define MINMOVES 0
4#define MAXMOVES 20 4#define MAXMOVES 20
diff --git a/tools/solvetest.h b/tools/solvetest.h
index 75f7aab..3c9badc 100644
--- a/tools/solvetest.h
+++ b/tools/solvetest.h
@@ -13,7 +13,7 @@ bool check_one(
13 const char *aname, 13 const char *aname,
14 const char *bstr, 14 const char *bstr,
15 const char *bname, 15 const char *bname,
16 bool exp[static MAXSOLUTIONS] 16 bool *exp
17) { 17) {
18 size_t i, j, nn, lb; 18 size_t i, j, nn, lb;
19 char b[MAX_SOLUTION_LEN]; 19 char b[MAX_SOLUTION_LEN];
diff --git a/tools/tool.h b/tools/tool.h
index 96e7f27..582e2ce 100644
--- a/tools/tool.h
+++ b/tools/tool.h
@@ -18,10 +18,9 @@
18static void log_stderr(const char *, void *); 18static void log_stderr(const char *, void *);
19static double timerun(void (*)(void)); 19static double timerun(void (*)(void));
20static void writetable(const unsigned char *, int64_t, const char *); 20static void writetable(const unsigned char *, int64_t, const char *);
21static long long int generatetable(const char *, unsigned char **, 21static long long int generatetable(const char *, unsigned char **, char *);
22 char [static NISSY_SIZE_DATAID]);
23static int getdata(const char *, unsigned char **, const char *); 22static int getdata(const char *, unsigned char **, const char *);
24static void gendata_run(const char *, uint64_t[static 21]); 23static void gendata_run(const char *, uint64_t *);
25 24
26static void 25static void
27log_stderr(const char *str, void *unused) 26log_stderr(const char *str, void *unused)
@@ -113,7 +112,7 @@ static long long int
113generatetable( 112generatetable(
114 const char *solver, 113 const char *solver,
115 unsigned char **buf, 114 unsigned char **buf,
116 char dataid[static NISSY_SIZE_DATAID] 115 char *dataid
117) 116)
118{ 117{
119 long long int size, gensize; 118 long long int size, gensize;
@@ -183,7 +182,7 @@ getdata_error_nofree:
183static void 182static void
184gendata_run( 183gendata_run(
185 const char *solver, 184 const char *solver,
186 uint64_t expected[static 21] 185 uint64_t *expected
187) { 186) {
188 long long int size; 187 long long int size;
189 char filename[1024], dataid[NISSY_SIZE_DATAID]; 188 char filename[1024], dataid[NISSY_SIZE_DATAID];

Generated with cgit - Back to sebastiano.tronto.net