Searched refs:preempt_limit (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dconflict.py443 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 Dgraph_to_graph.py80 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 Dauto_infea.py71 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