diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2026-04-04 12:02:56 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2026-04-04 12:02:56 +0200 |
| commit | e6be287bbfa6beda038ec8b085300c5dc9c2ecd8 (patch) | |
| tree | 55d0acb9efde811985157068f3656514b90344cf /tools | |
| parent | 2ac46cb4d4133e5d5de90bacfc9b6e979d1d6046 (diff) | |
| download | nissy-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.c | 2 | ||||
| -rw-r--r-- | tools/solvetest.h | 2 | ||||
| -rw-r--r-- | tools/tool.h | 9 |
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 @@ | |||
| 18 | static void log_stderr(const char *, void *); | 18 | static void log_stderr(const char *, void *); |
| 19 | static double timerun(void (*)(void)); | 19 | static double timerun(void (*)(void)); |
| 20 | static void writetable(const unsigned char *, int64_t, const char *); | 20 | static void writetable(const unsigned char *, int64_t, const char *); |
| 21 | static long long int generatetable(const char *, unsigned char **, | 21 | static long long int generatetable(const char *, unsigned char **, char *); |
| 22 | char [static NISSY_SIZE_DATAID]); | ||
| 23 | static int getdata(const char *, unsigned char **, const char *); | 22 | static int getdata(const char *, unsigned char **, const char *); |
| 24 | static void gendata_run(const char *, uint64_t[static 21]); | 23 | static void gendata_run(const char *, uint64_t *); |
| 25 | 24 | ||
| 26 | static void | 25 | static void |
| 27 | log_stderr(const char *str, void *unused) | 26 | log_stderr(const char *str, void *unused) |
| @@ -113,7 +112,7 @@ static long long int | |||
| 113 | generatetable( | 112 | generatetable( |
| 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: | |||
| 183 | static void | 182 | static void |
| 184 | gendata_run( | 183 | gendata_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]; |
