Searched refs:preemption_limit (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | graph_to_graph.py | 79 preemption_limit = 5 80 conflict.conflict(entry_point_function, tcfg_map_file_name, [], stripped_ilp, ilp_to_generate, dir_name, sol_to_generate, emit_conflicts=True, do_cplex=True, preempt_limit= preemption_limit,default_phantom_preempt=True)
|
H A D | auto_infea.py | 39 def auto_infea(dir_name, entry_point_function, manual_conflicts_file, results_dir, initial_case_iteration, preemption_limit): 71 wcet = conflict.conflict(entry_point_function, tcfg_map, [manual_conflicts_file,auto_refutes_file],ilp_nofooter,ilp_file,dir_name, sol_file, emit_conflicts=True, do_cplex=True, silent_cplex=True, preempt_limit=preemption_limit) 136 auto_infea(dir_name, entry_point_function,preempt_conflicts_file, results_dir, initial_i, preemption_limit = 5)
|
H A D | conflict.py | 461 preemption_limit(fout,fake_preemption_points,preempt_limit) 473 def preemption_limit(fout,fake_preemption_points,preempt_limit): function
|
Completed in 74 milliseconds