From 0cb39f540cee763816412576a265e7784c9051ba Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Sat, 22 Dec 2018 21:02:40 -0700
Subject: [PATCH] let people know the seed they used in fuzzing

---
 src/include/deepstate/DeepState.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index 2de5644..b86b70c 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -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);