oopslaTimer.py

#!/usr/bin/python
# Copyright (c) 2009 The Regents of the University of California. All rights reserved.
#
# Permission is hereby granted, without written agreement and without
# license or royalty fees, to use, copy, modify, and distribute this
# software and its documentation for any purpose, provided that the
# above copyright notice and the following two paragraphs appear in
# all copies of this software.
#
# IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY
# FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
# ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN
# IF THE UNIVERSITY OF CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY
# OF SUCH DAMAGE.
#
# THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
# INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
# AND FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS
# ON AN "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION
# TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.

import time, subprocess, optparse, sys, socket, os
sys.path.append("../")
import rtest as rtest

# solve      = "nanojs".split()

inputFileExt = "ts"

null       = open("/dev/null", "w")
now	       = (time.asctime(time.localtime(time.time()))).replace(" ","_")
logdir     = "../tests/logs"
logfile    = logdir + "/regrtest_results_%s_%s" % (socket.gethostname (), now)
if not os.path.exists(logdir):
  os.makedirs(logdir)
argcomment = "--! run with "

def logged_sys_call(args, out=None, err=None):
  return subprocess.call(args, stdout=out, stderr=sys.stdout)

def solve_quals(solve, file, bare, time, quiet, flags, dargs):
  if quiet: out = null
  else: out = None
  if time: time = ["time"]
  else: time = []
  if dargs: dargs = ["--" + " --".join(dargs.split())]
  else: dargs = []
  hygiene_flags = []
  import os.path
  dirname = os.path.dirname(file)
  basename = os.path.basename(file)

  liquid_dir = dirname + "/.liquid/"
  if not os.path.exists(liquid_dir):
    os.makedirs(liquid_dir)
  out = open(liquid_dir + basename + ".log", "w")
  rv  = logged_sys_call(time + solve.split() + flags + dargs + hygiene_flags + [file], out)
  out.close()
  return rv

def run_script(file,quiet):
  if quiet: out = null
  else: out = None
  return logged_sys_call(file, out)

def getfileargs(file):
  f = open(file)
  l = f.readline()
  f.close()
  if l.startswith(argcomment):
    return l[len(argcomment):].strip().split(" ")
  else:
    return []

class Config (rtest.TestConfig):
  def __init__ (self, solver, dargs, testdirs, logfile, threadcount):
    rtest.TestConfig.__init__ (self, testdirs, logfile, threadcount)
    self.dargs  = dargs
    self.solver = solver

  def run_test (self, file, flags):
    os.environ['LCCFLAGS'] = self.dargs
    if file.endswith("." + inputFileExt):
      fargs = getfileargs(file)
      return solve_quals(self.solver, file, True, True, True, flags + fargs, self.dargs)
    elif file.endswith(".sh"):
      return run_script(file, True)

  def is_test (self, file):
    return file.endswith("." + inputFileExt)

#####################################################################################

parser = optparse.OptionParser()
parser.add_option("-t", "--threads", dest="threadcount", default=1, type=int, help="spawn n threads")
parser.add_option("-o", "--opts", dest="opts", default="", type=str, help="additional arguments to rsc")
parser.disable_interspersed_args()
options, args = parser.parse_args()

folders = [
           ("./d3/src-ts/arrays/done", 0),
           ("./transducers/done", 0),
           ("./octane/done", 0)
          ]

tests = [ ("", []) ]

testdirs = list([("/".join([s, d]), p, flags) for (s, p)  in folders 
                                              for (d, flags) in tests ])

runner    = rtest.TestRunner (Config ("rsc", options.opts, testdirs, logfile, options.threadcount))
runner.run ()