Searched refs:auto_infea (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | auto_infea.py | 42 def auto_infea(dir_name, entry_point_function, manual_conflicts_file, results_dir, initial_case_iteration, preemption_limit): function
128 print 'Usage: python auto_infea.py <dir_name> <entry point function> <results directory> <initial i>'
139 auto_infea(dir_name, entry_point_function,preempt_conflicts_file, results_dir, initial_i, preemption_limit = 5)
|
Completed in 97 milliseconds