Searched refs:target_dir_name (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dconvert_loop_bounds.py29 def phantomPreemptsAnnoFileName(target_dir_name):
30 return '%s/preempt_refutes.txt' % target_dir_name
32 def convert_loop_bounds(target_dir_name, worker_ids=None, cached_only=False):
35 print 'target_dir_name: %s' % target_dir_name
36 args = target_objects.load_target(target_dir_name)
93 parser.add_argument("target_dir_name")
106 target_dir_name = args.target_dir_name variable
108 lbfs = convert_loop_bounds(target_dir_name, worker_id
[all...]
/seL4-l4v-master/l4v/tools/autocorres/tools/
H A Drelease.py173 target_dir_name = "autocorres-%s" % args.version variable
174 target_dir = os.path.join(base_dir, target_dir_name)
392 "-C", base_dir, "-f", args.output, target_dir_name])

Completed in 85 milliseconds