diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2026-04-06 14:48:54 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2026-04-06 14:48:54 +0100 |
| commit | a1ad0db8a6d829eddf1478cee44ae976bbcd325f (patch) | |
| tree | a6e62232e05e7779034c5f9d1bf743b6f1c198e3 /tools/solvetest.h | |
| parent | 0d4fa9ebbfcadfff4baf8fc3cd32a63dcfd7dd43 (diff) | |
| download | nissy-core-c-portability.tar.gz nissy-core-c-portability.zip | |
Fix integer conversions in code, tests and some toolsc-portability
Diffstat (limited to 'tools/solvetest.h')
| -rw-r--r-- | tools/solvetest.h | 2 |
1 files changed, 1 insertions, 1 deletions
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) { | |||
| 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); |