From b1496d7ec61d057f58d14a5e6d722a3f0028b04d Mon Sep 17 00:00:00 2001 From: agroce Date: Wed, 24 Apr 2019 11:50:08 -0700 Subject: [PATCH] first make Eclipser run no_fork --- bin/deepstate/eclipser.py | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/bin/deepstate/eclipser.py b/bin/deepstate/eclipser.py index d5fe367..a244e4c 100644 --- a/bin/deepstate/eclipser.py +++ b/bin/deepstate/eclipser.py @@ -49,7 +49,7 @@ def main(): parser.add_argument( "--verbose", type=int, help="Verbosity level.", - default=1) + default=None) parser.add_argument( "--exectimeout", type=int, help="Execution timeout (ms) for Eclipser fuzz runs.", @@ -100,9 +100,11 @@ def main(): sys.exit(1) cmd = ["dotnet", eclipser, "fuzz"] - cmd += ["-p", deepstate, "-v", str(args.verbose)] + cmd += ["-p", deepstate] + if args.verbose is not None: + cmd += ["-v", str(args.verbose)] cmd += ["-t", str(args.timeout), "-o", out + "/eclipser.run", "--src", "file"] - deepargs = "--input_test_file eclipser.input --abort_on_fail" + deepargs = "--input_test_file eclipser.input --abort_on_fail --no_fork" if whichTest is not None: deepargs += " --input_which_test " + whichTest cmd += ["--initarg", deepargs]