Searched refs:new_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):
505 print 'new_ilp:%s' % new_ilp
506 print_constraints(conflict_files, old_ilp, new_ilp, sol_file, preempt_limit)
508 cplex_ret = cplex.cplexSolve(new_ilp,silent=silent_cplex,sol_file=sol_file)
528 new_ilp = sys.argv[4] variable
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