From 62d87e063318cc4c842b1b2d8c184f48aeaf6659 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 19 May 2025 17:45:14 +0200 Subject: Refactored checkdata Relevant changes include: - Changed the signature of nissy_checkdata(). - Removed expected_distribution.h from tools; this data is now included in each solver's src/ code. - Removed distribution check for cocsep; may add back later. --- tools/001_derive_h48/derive_h48.c | 40 --------------------------------------- 1 file changed, 40 deletions(-) delete mode 100644 tools/001_derive_h48/derive_h48.c (limited to 'tools/001_derive_h48') diff --git a/tools/001_derive_h48/derive_h48.c b/tools/001_derive_h48/derive_h48.c deleted file mode 100644 index e8db207..0000000 --- a/tools/001_derive_h48/derive_h48.c +++ /dev/null @@ -1,40 +0,0 @@ -/* -This tool is specific to the H48 solver. It can be used to derive small -intermediate tables from larger tables, including the full h11 table. - -When using k=2, the base values for the tables may differ. If you want -to change this value, for example for generating a table with base = 9 -from the h11 table with base = 10, you must re-generate the large table -with the correct base value. The easiest way to do so is to manually -edit the base value in the source code and recompile. -*/ - -#include "../tool.h" - -char *solver_large, *solver_small, *filename_large, *filename_small; - -void run(void) { - derivedata_run(solver_large, solver_small, filename_large, filename_small); -} - -int main(int argc, char **argv) { - if (argc < 5) { - printf("Error: not enough arguments. Required:\n" - "1. Solver name for large table\n" - "2. Solver name for derived table\n" - "3. Filename containing large table\n" - "4. Filename for saving derived table\n"); - return 1; - } - - solver_large = argv[1]; - solver_small = argv[2]; - filename_large = argv[3]; - filename_small = argv[4]; - - nissy_setlogger(log_stderr, NULL); - - timerun(run); - - return 0; -} -- cgit v1.3