From 6472d4c245bf240c85aeb2ef09c3b11887ff018f Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Tue, 4 Oct 2016 22:27:28 -0700
Subject: [PATCH] Print Verilator random seed when +verbose is passed

---
 csrc/emulator.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/csrc/emulator.cc b/csrc/emulator.cc
index 89598cca..2ac5d3d8 100644
--- a/csrc/emulator.cc
+++ b/csrc/emulator.cc
@@ -61,6 +61,9 @@ int main(int argc, char** argv)
       print_cycles = true;
   }
 
+  if (verbose)
+    fprintf(stderr, "using random seed %u\n", random_seed);
+
   srand(random_seed);
   srand48(random_seed);