Searched refs:sol_file (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | cplex.py | 34 def rmSol(sol_file): 37 p = subprocess.Popen(['test','-e',sol_file]) 40 p = subprocess.Popen(['rm',sol_file]) 44 def cplexSolve(ilp_file_name,silent=True,sol_file=None,expect_unbounded=False): 47 if sol_file == None: 49 sol_file = ilp_file_name[:-4] + ".sol" 50 rmSol(sol_file) 63 return parseSolFile(sol_file, expect_unbounded) 65 def parseSolFile (sol_file, expect_unbounded): 67 f_out = open(sol_file,' [all...] |
H A D | auto_infea.py | 62 sol_file = results_dir+'/case_%d.sol' % case_i 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) 83 p = Popen(['python', 'reconstruct.py', '--refutable', dir_name, sol_file, tcfg_map, kernel_elf_file], stdout=f_refutables)
|
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): 495 print 'conflict.conflict: sol_file %s' % sol_file 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) 533 sol_file = sys.argv[8] variable 534 assert 'sol' in sol_file 536 print 'sol_file: %s' % sol_file [all...] |
H A D | reconstruct.py | 476 print "Usage: reconstruct [OPTION] <dir_name> sol_file map elf_file" 485 sol_file = argv[2] variable 488 read_variables(sol_file)
|
Completed in 38 milliseconds