DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fixes

Browse Source
This commit is contained in:
agroce
2019-04-21 14:40:01 -07:00
parent 218ac0eb54
commit 5ea4a239a5
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
bin/deepstate/eclipser.py
View File

@@ -38,19 +38,20 @@ def main():
args = parser.parse_args()
deepstate = args.binary
out = args.output_test
out = args.output_test_dir
whichTest = args.which_test
try:
os.mkdir(out)
except BaseException:
pass
cmd = ["dotnet", "$ECLISPER_HOME/build/Eclipser.dll", "fuzz", "-p", deepstate, "-v", "1"]
eclipser = os.getenv("ECLIPSER_HOME") + "/build/Eclipser.dll"
cmd = ["dotnet", eclipser, "fuzz", "-p", deepstate, "-v", "1"]
cmd += [str(args.timeout), "-o", out + "/eclipser.run", "--src", "file"]
cmd += ["--initarg"]
cmd += ["--input_test_file " + out + "/" + "eclipser.input --abort_on_fail --input_which_test " + whichTest]
cmd += ["--fixfilepath", out + "/" + "eclipser.input", "--maxfilelen", "8192"]
subprocess.call(cmd)
decodeCmd = ["dotnet", "$ECLISPER_HOME/build/Eclipser.dll", "decode"]
decodeCmd = ["dotnet", eclipser, "decode"]
decodeCmd += ["-i", out + "/eclipser.run", "-o", out + "/tests"]
subprocess.call(decodeCmd)