Searched refs:preempt_limit (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | conflict.py | 443 def print_constraints(conflict_files, old_cons_file, new_cons_file,sol_file_name, preempt_limit): 461 preemption_limit(fout,fake_preemption_points,preempt_limit) 473 def preemption_limit(fout,fake_preemption_points,preempt_limit): 477 times_limit(fout,fake_preemption_points+[preemp_addr],preempt_limit) 488 def conflict(entry_point_function, tcfg_map, conflict_files, old_ilp, new_ilp, dir_name, sol_file, emit_conflicts=False, do_cplex=False, interactive=False, silent_cplex=False, preempt_limit= None, default_phantom_preempt=False): 489 if preempt_limit == None: 490 preempt_limit = 5 506 print_constraints(conflict_files, old_ilp, new_ilp, sol_file, preempt_limit) 531 preempt_limit = int(sys.argv[7]) variable 532 print 'preempt_limit [all...] |
H A D | graph_to_graph.py | 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 | 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)
|
Completed in 35 milliseconds