Lines Matching refs:arg
280 for arg in args:
283 if arg == 'verbose':
285 elif arg.startswith ('trace-to:'):
286 (_, s) = arg.split (':', 1)
289 elif arg == 'all':
292 elif arg == 'all_safe':
297 elif arg == 'coverage':
301 elif arg.startswith ('div:'):
302 [_, num, denom] = arg.split (':')
307 elif arg == 'no_loops':
309 elif arg == 'only_loops':
311 elif arg.startswith('save:'):
312 save_compiled_funcs (arg[5:])
313 elif arg.startswith('save-proofs:'):
314 fname = arg[len ('save-proofs:') :]
317 elif arg == '-exclude':
319 elif arg == '-end-exclude':
321 elif arg.startswith ('t:'):
322 tags.add (arg[2:])
323 elif arg.startswith ('target:'):
325 elif arg.startswith ('skip-proofs-of:'):
326 (_, fname) = arg.split(':', 1)
333 excludes.add (arg)
334 elif arg.startswith ('deps:'):
335 r = check_deps (arg[5:],
338 r = name_search (arg, tags = tags)
345 print 'EXCEPTION in syscall arg %s:' % arg