run.py File Reference

Go to the source code of this file.

Namespaces
	run

Constant Groups
	run

Variables
tuple	run.parser = ArgumentParser()
tuple	run.args = parser.parse_args()
tuple	run.output_dir = os.path.abspath("tmp")
tuple	run.current_path = os.path.dirname(os.path.realpath(__file__))
list	run.states_file = argv[1]
tuple	run.output_file = os.path.join(output_dir, os.path.split(states_file)[-1])
tuple	run.build_path = os.path.abspath(os.path.join(current_path, "..", "..", "..", "build"))
tuple	run.project_path = os.path.abspath(os.path.join(current_path, "..", ".."))
tuple	run.staterunner_path = os.path.join(build_path, "tools", "staterunner")
tuple	run.lib_path = os.path.join("..", "..", "src")
tuple	run.env = dict(os.environ)
list	run.run_argument = ["./staterunner", states_file, output_file]
tuple	run.proc = subprocess.call(run_argument, cwd=staterunner_path, env=env)