Esempio n. 1
0
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)
Esempio n. 2
0
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)
Esempio n. 3
0
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
Esempio n. 4
0
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
Esempio n. 5
0
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
Esempio n. 6
0
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)