Lines Matching defs:args
126 args = parser.parse_args()
128 if args.root == None and not args.no_isabelle:
130 if args.root != None:
131 args.root = os.path.abspath(args.root)
133 output = open(args.output, "w")
134 output.write("Processing %s\n\n" % args.output)
140 shutil.copyfile(args.input, os.path.join(tmp_dir, "input.c"))
143 lines_of_code = int(subprocess.check_output(["c_count", args.input]).strip().split("\n")[-1])
162 if not args.no_isabelle:
163 subprocess.check_call(["isabelle", "build", "-v", "-d", args.root, "-d", ".", "-c", "Stats"], cwd=tmp_dir)
211 for i in xrange(int(args.repeats)):
212 if not args.no_isabelle:
213 subprocess.check_call(["isabelle", "build", "-v", "-o", "threads=1", "-d", args.root, "-d", ".", "-c", "Stats"], cwd=tmp_dir)
238 if args.browse:
244 if args.browse: