From 9c8a0106b3aaf3fa64a5e311e050ff46b5e551b2 Mon Sep 17 00:00:00 2001
From: agroce <agroce@gmail.com>
Date: Thu, 25 Apr 2019 11:41:47 -0700
Subject: [PATCH] Fix seeds usage

---
 bin/deepstate/eclipser.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bin/deepstate/eclipser.py b/bin/deepstate/eclipser.py
index c5febcd..0c39e3a 100644
--- a/bin/deepstate/eclipser.py
+++ b/bin/deepstate/eclipser.py
@@ -68,6 +68,8 @@ def main():
   if args.which_test is not None:
       deepargs += " --input_which_test " + args.which_test
   cmd += ["--initarg", deepargs, "--maxfilelen", str(args.max_input_size)]
+  if args.seeds is not None:
+    cmd += ["-i", args.seeds]
   cmd += args.args
   try:
     r = subprocess.call(cmd)