let people know the seed they used in fuzzing

2018-12-22 21:02:40 -07:00
parent 1227092089
commit 0cb39f540c
1 changed files with 3 additions and 1 deletions
@@ -764,7 +764,9 @@ static int DeepState_Fuzz(void) {
  if (HAS_FLAG_seed) {
    srand(FLAGS_seed);
  } else {
-    srand(time(NULL));
+    unsigned int seed = time(NULL);
+    DeepState_LogFormat(DeepState_LogWarning, "No seed provided; using %u", seed);
+    srand(seed);
  }

  long start = (long)time(NULL);