aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-04-17 14:36:47 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2025-04-17 14:36:47 +0200
commitc182f3f16e56e9533060ffa06b25391e239a28ee (patch)
tree7c76fb69ec544d99b74e795f7596dac125617763 /tools
parent0ece4b72db22139db51e8f5f37c25f24c84f3e43 (diff)
downloadnissy-core-c182f3f16e56e9533060ffa06b25391e239a28ee.tar.gz
nissy-core-c182f3f16e56e9533060ffa06b25391e239a28ee.zip
Restore logging to stderr for tools
Diffstat (limited to 'tools')
-rw-r--r--tools/000_gendata/gendata.c2
-rw-r--r--tools/001_derive_h48/derive_h48.c2
-rw-r--r--tools/100_checkdata/checkdata.c2
-rw-r--r--tools/300_solve_small/solve_small.c2
-rw-r--r--tools/301_solve_file/solve_file.c2
-rw-r--r--tools/302_solve_multisol/solve_multisol.c2
-rw-r--r--tools/400_solvetest/solve_test.c2
-rw-r--r--tools/tool.h6
8 files changed, 10 insertions, 10 deletions
diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c
index 3123bf5..470fe9b 100644
--- a/tools/000_gendata/gendata.c
+++ b/tools/000_gendata/gendata.c
@@ -51,7 +51,7 @@ int main(int argc, char **argv) {
51 parse_h48_solver(solver, &h, &k); 51 parse_h48_solver(solver, &h, &k);
52 expected = expected_h48[h][k]; 52 expected = expected_h48[h][k];
53 53
54 nissy_setlogger(log_stdout, NULL); 54 nissy_setlogger(log_stderr, NULL);
55 55
56 timerun(run); 56 timerun(run);
57 57
diff --git a/tools/001_derive_h48/derive_h48.c b/tools/001_derive_h48/derive_h48.c
index e471f9b..e8db207 100644
--- a/tools/001_derive_h48/derive_h48.c
+++ b/tools/001_derive_h48/derive_h48.c
@@ -32,7 +32,7 @@ int main(int argc, char **argv) {
32 filename_large = argv[3]; 32 filename_large = argv[3];
33 filename_small = argv[4]; 33 filename_small = argv[4];
34 34
35 nissy_setlogger(log_stdout, NULL); 35 nissy_setlogger(log_stderr, NULL);
36 36
37 timerun(run); 37 timerun(run);
38 38
diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c
index 00875fa..cf42cbe 100644
--- a/tools/100_checkdata/checkdata.c
+++ b/tools/100_checkdata/checkdata.c
@@ -41,7 +41,7 @@ int main(int argc, char **argv) {
41 41
42 solver = argv[1]; 42 solver = argv[1];
43 filename = argv[2]; 43 filename = argv[2];
44 nissy_setlogger(log_stdout, NULL); 44 nissy_setlogger(log_stderr, NULL);
45 45
46 timerun(run); 46 timerun(run);
47 47
diff --git a/tools/300_solve_small/solve_small.c b/tools/300_solve_small/solve_small.c
index c6dd661..d81ed51 100644
--- a/tools/300_solve_small/solve_small.c
+++ b/tools/300_solve_small/solve_small.c
@@ -56,7 +56,7 @@ int main(int argc, char **argv) {
56 56
57 solver = argv[1]; 57 solver = argv[1];
58 srand(time(NULL)); 58 srand(time(NULL));
59 nissy_setlogger(log_stdout, NULL); 59 nissy_setlogger(log_stderr, NULL);
60 60
61 61
62 sprintf(filename, "tables/%s", solver); 62 sprintf(filename, "tables/%s", solver);
diff --git a/tools/301_solve_file/solve_file.c b/tools/301_solve_file/solve_file.c
index 06b8198..110c7d2 100644
--- a/tools/301_solve_file/solve_file.c
+++ b/tools/301_solve_file/solve_file.c
@@ -46,7 +46,7 @@ int main(int argc, char **argv) {
46 scrfilename = argv[2]; 46 scrfilename = argv[2];
47 47
48 srand(time(NULL)); 48 srand(time(NULL));
49 nissy_setlogger(log_stdout, NULL); 49 nissy_setlogger(log_stderr, NULL);
50 50
51 sprintf(filename, "tables/%s", solver); 51 sprintf(filename, "tables/%s", solver);
52 if (getdata(solver, &buf, filename) != 0) 52 if (getdata(solver, &buf, filename) != 0)
diff --git a/tools/302_solve_multisol/solve_multisol.c b/tools/302_solve_multisol/solve_multisol.c
index ec36711..e4256de 100644
--- a/tools/302_solve_multisol/solve_multisol.c
+++ b/tools/302_solve_multisol/solve_multisol.c
@@ -50,7 +50,7 @@ int main(int argc, char **argv) {
50 solver = argv[1]; 50 solver = argv[1];
51 nsol = atoi(argv[2]); 51 nsol = atoi(argv[2]);
52 srand(time(NULL)); 52 srand(time(NULL));
53 nissy_setlogger(log_stdout, NULL); 53 nissy_setlogger(log_stderr, NULL);
54 54
55 55
56 sprintf(filename, "tables/%s", solver); 56 sprintf(filename, "tables/%s", solver);
diff --git a/tools/400_solvetest/solve_test.c b/tools/400_solvetest/solve_test.c
index 6e7b2a5..a4121a5 100644
--- a/tools/400_solvetest/solve_test.c
+++ b/tools/400_solvetest/solve_test.c
@@ -104,7 +104,7 @@ int main(int argc, char **argv) {
104 104
105 solver = argv[1]; 105 solver = argv[1];
106 srand(time(NULL)); 106 srand(time(NULL));
107 nissy_setlogger(log_stdout, NULL); 107 nissy_setlogger(log_stderr, NULL);
108 108
109 sprintf(filename, "tables/%s", solver); 109 sprintf(filename, "tables/%s", solver);
110 if (getdata(solver, &buf, filename) != 0) 110 if (getdata(solver, &buf, filename) != 0)
diff --git a/tools/tool.h b/tools/tool.h
index ee6c8eb..58721a2 100644
--- a/tools/tool.h
+++ b/tools/tool.h
@@ -9,7 +9,7 @@
9#include "../src/nissy.h" 9#include "../src/nissy.h"
10#include "nissy_extra.h" 10#include "nissy_extra.h"
11 11
12static void log_stdout(const char *, void *); 12static void log_stderr(const char *, void *);
13static double timerun(void (*)(void)); 13static double timerun(void (*)(void));
14static void writetable(const char *, int64_t, const char *); 14static void writetable(const char *, int64_t, const char *);
15static long long int generatetable(const char *, char **, 15static long long int generatetable(const char *, char **,
@@ -22,9 +22,9 @@ static void derivedata_run(
22 const char *, const char *, const char *, const char *); 22 const char *, const char *, const char *, const char *);
23 23
24static void 24static void
25log_stdout(const char *str, void *unused) 25log_stderr(const char *str, void *unused)
26{ 26{
27 fprintf(stdout, "%s", str); 27 fprintf(stderr, "%s", str);
28} 28}
29 29
30static double 30static double

Generated with cgit - Back to sebastiano.tronto.net