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)