From a1ad0db8a6d829eddf1478cee44ae976bbcd325f Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 6 Apr 2026 14:48:54 +0100 Subject: Fix integer conversions in code, tests and some tools --- tools/solvetest.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/solvetest.h b/tools/solvetest.h index 3c9badc..8c93d21 100644 --- a/tools/solvetest.h +++ b/tools/solvetest.h @@ -130,7 +130,7 @@ int main(int argc, char **argv) { printf("Using user-specified solver %s\n", solver); } - srand(time(NULL)); + srand((unsigned)time(NULL)); nissy_setlogger(log_stderr, NULL); size = nissy_solverinfo(solver, dataid); -- cgit v1.3