def solve_quals(file,bare,time,quiet,flags): bname = file[:-3] os.system("rm -f %s.annot" % bname) if quiet: out = null else: out = None if time: time = ["time"] else: time = [] return common.logged_sys_call(time + solve + flags + [("%s.ml" % bname)], out)
def solve_quals(file, bare, time, quiet, flags): bname = file[:-3] os.system("rm -f %s.annot" % bname) if quiet: out = null else: out = None if time: time = ["time"] else: time = [] return common.logged_sys_call(time + solve + flags + [("%s.ml" % bname)], out)
def gen_quals(src,flags): bname = src[:-3] (fname,qname,hname) = (bname+".ml", bname+".quals", bname+".hquals") os.system("rm -f %s" % qname) files = [] if os.path.exists(hname): files += [hname] if not "-bare" in flags: files += [d_pats] # TODO: Ensure that these files get deleted? (handle, tname) = tempfile.mkstemp() os.close(handle) (handle, tname2) = tempfile.mkstemp() os.close(handle) del handle common.cat_files(files, tname) gen = ("%s %s -summarize" % (solve, flags)).split() succ = common.logged_sys_call(gen + [tname2, fname], False) if succ == 0: split= ("%s/depsplit %s %s %s" % (path, tname, tname2, qname)).split() common.logged_sys_call(split, True) return succ
def gen_quals(src,bare,lq, col): bname = src[:-3] (fname,qname,hname) = (bname+".ml", bname+".quals", bname+".hquals") os.system("rm -f %s" % qname) if bare: os.system("cp -f %s %s" % (hname, tname)) else: cat_files([hname,d_pats],tname) if lq: lq = "-lqualifs" else: lq = "" gen = ("./liquid.opt %s -no-anormal -collect %d -dqualifs" % (lq, col)).split() qfile = open(qname, "w") succ = common.logged_sys_call(gen + [tname, fname]) qfile.close() return succ
def solve_quals(file,quiet,flags): bname = file[:-3] os.system("rm -f %s.annot" % bname) return common.logged_sys_call([solve, "-dframes"] + flags + [("%s.ml" % bname)], quiet)