From: Alexander Fedotov Date: Sun, 13 Mar 2016 09:58:15 +0000 (+0100) Subject: started with a python runner script X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=f36e9ed1caf9e2577c2215c6ca08877aa4729626;p=mc1516pa.git started with a python runner script --- diff --git a/code/SokRunner.py b/code/SokRunner.py new file mode 100644 index 0000000..1a92e32 --- /dev/null +++ b/code/SokRunner.py @@ -0,0 +1,58 @@ +import os, errno +import subprocess + +#solver path +solverpath = "C:\\Users\\Alex Fedotov\\Documents\\Studies\\Model Checking\\Assignments\\Solver\\" + +#paths to folders with sokoban screens +paths = ["C:\\Users\\Alex Fedotov\\Documents\\Studies\\Model Checking\\Assignments\\Sokoban\\screens", + ] + +#path to output folder (base) +output = "C:\\Users\\Alex Fedotov\\Documents\\Studies\\Test" + +commands = ["C:\\Users\\Alex Fedotov\\Documents\\Studies\\Model Checking\\Assignments\\Solver\\solver.exe"] + +boxbound = 3 +sizebound = 60 +timebound = 10 + +def checkPaths(): + isOk = True + for path in paths: + if not os.path.isdir(path): + isOk = False + print("You specified a wrong path: %s" % path) + return isOk + +def checkScreen(screenpath): + scrSize = 0 + scrBox = 0 + with open(screenpath,"r") as src: + for line in src: + scrSize += len(line.rstrip()) + scrBox += line.count('$') + scrBox += line.count('*') + src.close() + return boxbound >= scrBox and sizebound >= scrSize + +for com in commands: + if checkPaths(): + out = open(output + "\\results.txt", "w") + for path in paths: + all_rs = os.listdir(path) + for test in all_rs: + input_path = path + "\\" + test + os.makedirs(output, exist_ok=True) + os.chdir(solverpath) + if checkScreen(input_path): + runcommand = [] + runcommand.append(com) + runcommand.append(input_path) + #to be continued... + proc = subprocess.run(runcommand, stdout=subprocess.PIPE, universal_newlines=True) + proc.wait() + out.write(test + ":" + proc.stdout) + print(test + ":" + proc.stdout) + #input("Press enter to continue...") + out.close();