Lines Matching refs:conflict
55 print 'conflict.py: global states cleaned'
387 fout.write('\ === conflict constraints from %s === \n\n' % conflict_file)
491 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):
498 print 'conflict.conflict: sol_file %s' % sol_file
518 print '''Usage: python conflict.py [tcfg map] [conflict file] [ilp file with footer stripped] [new ilp file] [target_dir] [flag] [preemption limit] [sol file to be generated]
519 conflict file 1 and/or 2 can be empty
522 generate a new conflict file
526 generate a new conflict file and call cplex directly'''
553 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)
554 print 'conflict terminated'