本文整理汇总了Python中path函数的典型用法代码示例。如果您正苦于以下问题:Python path函数的具体用法?Python path怎么用?Python path使用的例子?那么恭喜您, 这里精选的函数代码示例或许可以为您提供帮助。
在下文中一共展示了path函数的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: compile_tool
def compile_tool():
global tool
path('tools/' + tool).remove()
proc = Process(target=monitor)
proc.start()
os.system('bjam gcc debug -a %s.o' % tool)
proc.terminate()
示例2: test_bes
def test_bes(filename, equation_count, term_size = 2):
txtfile = filename + '.txt'
besfile = filename + '.bes'
answerfile = 'temp.answer'
p = make_bes(equation_count, term_size)
path(txtfile).write_text('%s' % p)
os.system('txt2bes %s %s' % (txtfile, besfile))
示例3: remove_temporary_files
def remove_temporary_files():
for filename in mcrl2_tool_options.files_to_be_removed.keys():
if path(filename).exists():
if mcrl2_tool_options.verbose:
print 'removing', filename
path(filename).remove()
mcrl2_tool_options.files_to_be_removed.clear()
示例4: add_tool_dir
def add_tool_dir(toolname):
if mcrl2_tool_options.tooldir != '':
guess = path(mcrl2_tool_options.tooldir) / toolname / toolname
if os.path.isfile(guess):
return guess
return path(mcrl2_tool_options.tooldir) / 'bin' / toolname
return toolname
示例5: compile_tools
def compile_tools():
toolsdir = path('tools')
if not toolsdir.exists():
toolsdir.mkdir()
global tool
for file in path('../include/mcrl2/pbes/tools').files('*.h'):
tool = file.namebase
compile_tool()
示例6: mem_usage
def mem_usage(process_name):
global tool
stdout, stderr, returncode = run(["top", "-n1", "-b"])
lines = stdout.split("\n")
for line in lines:
if re.search(process_name, line) != None and len(line) >= 20:
print line
path("tools/" + tool).write_text(line + "\n", append=True)
示例7: run_examples
def run_examples(exampledir):
for dir in path(exampledir).dirs():
os.chdir(dir)
if path('myrun.py').exists():
os.system('echo ---------------------------------------------------------------------------')
os.system('echo --- {} ---'.format(dir))
os.system('echo ---------------------------------------------------------------------------')
os.system('python myrun.py')
os.chdir(cwd)
示例8: save_counter_example
def save_counter_example(self):
txtfile = '%s_counter_example_%d.txt' % (self.name, self.counter)
pbesfile = '%s_counter_example_%d.pbes' % (self.name, self.counter)
path(txtfile).write_text(str(self.pbes))
run_txt2pbes(txtfile, pbesfile)
text = run_pbespp(pbesfile)
path(txtfile).write_text(text)
print '--- %s counter example ---' % self.name
print text
self.counter = self.counter + 1
示例9: make_return_continuous_path
def make_return_continuous_path(x0,xf,y0,yf,tf,rx,ry,N):
x0,xf = xf,x0
y0,yf = yf,y0
def path(x0,xf,rx):
f = np.poly1d(poly3(x0,xf,0,tf,rx,rx))
return f(np.linspace(0,tf,N))
path_x = path(x0,xf,rx)
path_y = path(y0,yf,ry)
p = np.vstack((path_x,path_y))
return p
示例10: test_pbes_solvers
def test_pbes_solvers(p, filename):
txtfile = filename + '.txt'
path(txtfile).write_text('%s' % p)
pbesfile = filename + '.pbes'
run_txt2pbes(txtfile, pbesfile)
answer1 = run_pbes2bool(pbesfile)
answer2 = run_pbespgsolve(pbesfile)
print filename, answer1, answer2
if answer1 == None or answer2 == None:
return True
return answer1 == answer2
示例11: test_pbesstategraph
def test_pbesstategraph(p, filename):
txtfile = filename + '.txt'
path(txtfile).write_text('%s' % p)
testfile = '../random/tests/pbesstategraph.yml'
inputfiles = [txtfile]
reporterrors = True
settings = dict()
settings['verbose'] = False
settings['toolpath'] = '../../tools/bin'
result = run_replay(testfile, inputfiles, reporterrors, settings)
print filename, result
return result
示例12: test_pbesabsinthe
def test_pbesabsinthe(p, filename, strategy):
txtfile = filename + '.txt'
path(txtfile).write_text('%s' % p)
pbesfile1 = filename + 'a.pbes'
pbesfile2 = filename + 'b.pbes'
run_txt2pbes(txtfile, pbesfile1)
run_pbesabsinthe(pbesfile1, pbesfile2, strategy)
answer1 = run_pbes2bool(pbesfile1)
answer2 = run_pbes2bool(pbesfile2)
print filename, answer1, answer2
if answer1 == None or answer2 == None:
return True
return answer1 == answer2
示例13: test_pbesinst
def test_pbesinst(p, filename):
txtfile = filename + ".txt"
path(txtfile).write_text("%s" % p)
pbesfile = filename + ".pbes"
besfile = filename + ".bes"
run_txt2pbes(txtfile, pbesfile)
if run_pbesinst(pbesfile, besfile, strategy="lazy"):
answer1 = run_pbes2bool(pbesfile)
answer2 = run_bessolve(besfile)
print filename, answer1, answer2
if answer1 == None or answer2 == None:
return True
return answer1 == answer2
return True
示例14: test_pbesinst_finite
def test_pbesinst_finite(p, filename):
txtfile = filename + '.txt'
path(txtfile).write_text('%s' % p)
pbesfile1 = filename + '.pbes'
pbesfile2 = filename + 'a.pbes'
run_txt2pbes(txtfile, pbesfile1)
if run_pbesinst(pbesfile1, pbesfile2, strategy = 'finite', selection = '*(*:Bool)'):
answer1 = run_pbes2bool(pbesfile1)
answer2 = run_pbes2bool(pbesfile2)
print filename, answer1, answer2
if answer1 == None or answer2 == None:
return True
return answer1 == answer2
return True
示例15: test_alphabet
def test_alphabet(p, filename):
txtfile = filename + ".mcrl2"
path(txtfile).write_text("%s" % p)
lpsfile1 = filename + "a.lps"
lpsfile2 = filename + "b.lps"
ltsfile1 = filename + "a.lts"
ltsfile2 = filename + "b.lts"
run_mcrl22lps(txtfile, lpsfile1)
run_mcrl22lps(txtfile, lpsfile2, "--no-alpha")
run_lps2lts(lpsfile1, ltsfile1)
run_lps2lts(lpsfile2, ltsfile2)
answer_text = run_ltscompare(ltsfile1, ltsfile2, "-ebisim")
answer = answer_text.find("LTSs are strongly bisimilar") != -1
return answer