From e6be287bbfa6beda038ec8b085300c5dc9c2ecd8 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sat, 4 Apr 2026 12:02:56 +0200 Subject: Use macro for [static N] --- tools/420_solvetest_h48_symmetric/solvetest.c | 2 +- tools/solvetest.h | 2 +- tools/tool.h | 9 ++++----- 3 files changed, 6 insertions(+), 7 deletions(-) (limited to 'tools') 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 @@ -#define SOLVER "h48h3k2" +#define SOLVER "h48h3" #define NISSFLAG NISSY_NISSFLAG_NORMAL #define MINMOVES 0 #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( const char *aname, const char *bstr, const char *bname, - bool exp[static MAXSOLUTIONS] + bool *exp ) { size_t i, j, nn, lb; 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 @@ static void log_stderr(const char *, void *); static double timerun(void (*)(void)); static void writetable(const unsigned char *, int64_t, const char *); -static long long int generatetable(const char *, unsigned char **, - char [static NISSY_SIZE_DATAID]); +static long long int generatetable(const char *, unsigned char **, char *); static int getdata(const char *, unsigned char **, const char *); -static void gendata_run(const char *, uint64_t[static 21]); +static void gendata_run(const char *, uint64_t *); static void log_stderr(const char *str, void *unused) @@ -113,7 +112,7 @@ static long long int generatetable( const char *solver, unsigned char **buf, - char dataid[static NISSY_SIZE_DATAID] + char *dataid ) { long long int size, gensize; @@ -183,7 +182,7 @@ getdata_error_nofree: static void gendata_run( const char *solver, - uint64_t expected[static 21] + uint64_t *expected ) { long long int size; char filename[1024], dataid[NISSY_SIZE_DATAID]; -- cgit v1.3