aboutsummaryrefslogtreecommitdiff
path: root/tools/000_gendata
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-03-14 16:18:29 +0100
committerSebastiano Tronto <sebastiano@tronto.net>2025-03-14 16:18:29 +0100
commit1e1fd628207034b0412c50e289f146d34c5baf71 (patch)
treef21715cf39ef5fcc0a9197b214702fb7d16a1c58 /tools/000_gendata
parentbfb7b1ab9d2c85a256c42c006060ffe7c2652638 (diff)
downloadnissy-core-1e1fd628207034b0412c50e289f146d34c5baf71.tar.gz
nissy-core-1e1fd628207034b0412c50e289f146d34c5baf71.zip
Replaced datasize with solverinfo
Diffstat (limited to 'tools/000_gendata')
-rw-r--r--tools/000_gendata/gendata.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c
index 213852f..51c2f47 100644
--- a/tools/000_gendata/gendata.c
+++ b/tools/000_gendata/gendata.c
@@ -8,9 +8,9 @@ static void
8run(void) { 8run(void) {
9 int64_t size; 9 int64_t size;
10 bool consistent, expected; 10 bool consistent, expected;
11 char *buf, filename[1024]; 11 char *buf, filename[1024], dataid[NISSY_DATAID_SIZE];
12 12
13 size = generatetable(solver, &buf); 13 size = generatetable(solver, &buf, dataid);
14 switch (size) { 14 switch (size) {
15 case -1: 15 case -1:
16 return; 16 return;
@@ -23,7 +23,7 @@ run(void) {
23 if (consistent && expected) { 23 if (consistent && expected) {
24 printf("\n"); 24 printf("\n");
25 printf("Generated %" PRId64 " bytes.\n", size); 25 printf("Generated %" PRId64 " bytes.\n", size);
26 sprintf(filename, "tables/%s", solver); 26 sprintf(filename, "tables/%s", dataid);
27 writetable(buf, size, filename); 27 writetable(buf, size, filename);
28 } 28 }
29 if (!consistent) 29 if (!consistent)

Generated with cgit - Back to sebastiano.tronto.net