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

/seL4-l4v-10.1.1/graph-refine/
H A Dtarget_objects.py22 target_args = [] variable
81 def load_target (target, target_args = None):
83 if target_args != None:
84 target_args.extend (target_args)
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dauto_infea.py59 from graph_refine.target_objects import target_dir, target_args namespace

Completed in 92 milliseconds