Searched refs:sol_file (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dcplex.py34 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 Dauto_infea.py62 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 Dconflict.py488 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 Dreconstruct.py476 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