aboutsummaryrefslogtreecommitdiff
path: root/tools/solvetest.h
diff options
context:
space:
mode:
Diffstat (limited to 'tools/solvetest.h')
-rw-r--r--tools/solvetest.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/solvetest.h b/tools/solvetest.h
index 75f7aab..8c93d21 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];
@@ -130,7 +130,7 @@ int main(int argc, char **argv) {
130 printf("Using user-specified solver %s\n", solver); 130 printf("Using user-specified solver %s\n", solver);
131 } 131 }
132 132
133 srand(time(NULL)); 133 srand((unsigned)time(NULL));
134 nissy_setlogger(log_stderr, NULL); 134 nissy_setlogger(log_stderr, NULL);
135 135
136 size = nissy_solverinfo(solver, dataid); 136 size = nissy_solverinfo(solver, dataid);

Generated with cgit - Back to sebastiano.tronto.net