Searched refs:old_ilp (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/graph-refine/graph-to-graph/ |
| H A D | conflict.py | 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):
506 print_constraints(conflict_files, old_ilp, new_ilp, sol_file, preempt_limit)
527 old_ilp = sys.argv[3] variable
537 print 'old_ilp %s' % old_ilp
550 ret = conflict('handleSyscall', tcfg_map,conflict_files,old_ilp,new_ilp,dir_name,sol_file,emit_conflicts=emit_conflicts,do_cplex=do_cplex,interactive=interactive,preempt_limit = preempt_limit, default_phantom_preempt=True)
|
Completed in 30 milliseconds