Merge pull request #1 from BrunoDutertre/master

Segfault when run without a seed
arminbiere · Mar 3, 2021 · 4b14e95 · 4b14e95
2 parents 0e8214d + a129f47
commit 4b14e95
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scranfilize.c b/scranfilize.c
@@ -591,7 +591,8 @@ static void init (int argc, char ** argv) {
   }
 
   if (seed < 0) {
-    uint64_t t = 8526563 * (unsigned long) times (0);
+    struct tms buffer;
+    uint64_t t = 8526563 * (unsigned long) times (&buffer);
     uint64_t p = 3944621 * (unsigned long) getpid ();
     uint64_t tmp = t + p;
     seed = tmp & 0xffffffff;