def __init__(self):
'''
Constructor
'''
AbstractWrapper.__init__(self)
self.parser.add_argument("--binary", dest="binary")
def __init__(self):
'''
Constructor
'''
logging.basicConfig()
AbstractWrapper.__init__(self)
self.parser.add_argument(
"--script",
dest="cssc_script",
required=True,
help=
"simple cssc script with only \"get_command_line_cmd(runargs, config)\""
)
self.parser.add_argument(
"--sol-file",
dest="solubility_file",
default=None,
help="File with \"<instance> {SATISFIABLE|UNSATISFIABLE|UNKNOWN}\" "
)
self.parser.add_argument("--sat-checker",
dest="sat_checker",
default=None,
help="binary of SAT checker")
self.__instance = ""
self.__cmd = ""
self._FAILED_FILE = "failed_runs.txt" # in self._tmp_dir
self.inst_specific = None
def __init__(self):
AbstractWrapper.__init__(self)
self.__script_dir = os.path.abspath(os.path.split(__file__)[0])
self.parser.add_argument("--solution-validator",
dest="solution_validator",
default=None,
help="binary of the VAL plan validator")
self.parser.add_argument("--problem-enc",
dest="problem_enc",
default=None,
help="problem encoding / domain")
def __init__(self):
'''
Constructor
'''
#logging.basicConfig()
AbstractWrapper.__init__(self)
self.__instance = ""
self.__cmd = ""
self._FAILED_FILE = "failed_runs.txt" #in self._tmp_dir
self.inst_specific = None
def test_nolimit(self):
wrapper = AbstractWrapper()
data = Data()
wrapper.data = data
data.tmp_dir = "."
data.runsolver = self.runsolver
data.mem_limit = 500 # mb
data.cutoff = 5
target_cmd = "time"
wrapper.call_target(target_cmd)
wrapper.read_runsolver_output()
# since there was no timeout/memout
# the status is still on its default: CRASHED
self.assertEqual(wrapper.data.status, "CRASHED")
self.assertNotEqual(wrapper.data.additional,
" memory limit was exceeded")
wrapper._watcher_file.close()
wrapper._solver_file.close()
os.remove(wrapper._watcher_file.name)
os.remove(wrapper._solver_file.name)
def test_timelimit(self):
wrapper = AbstractWrapper()
data = Data()
wrapper.data = data
data.tmp_dir = "."
data.runsolver = self.runsolver
data.mem_limit = 500 # mb
data.cutoff = 1
target_cmd = "python test/test_resources/pi.py"
wrapper.call_target(target_cmd)
wrapper.read_runsolver_output()
self.assertEqual(wrapper.data.status, "TIMEOUT")
self.assertNotEqual(wrapper.data.additional,
" memory limit was exceeded")
wrapper._watcher_file.close()
wrapper._solver_file.close()
os.remove(wrapper._watcher_file.name)
os.remove(wrapper._solver_file.name)
def test_nolimit(self):
wrapper = AbstractWrapper()
data = Data()
wrapper.data = data
data.tmp_dir = "."
data.runsolver = self.runsolver
data.mem_limit = 500 # mb
data.cutoff = 5
target_cmd = "time"
wrapper.call_target(target_cmd)
wrapper.read_runsolver_output()
# since there was no timeout/memout
# the status is still on its default: CRASHED
self.assertEqual(wrapper.data.status, "CRASHED")
self.assertNotEqual(wrapper.data.additional,
" memory limit was exceeded")
wrapper._watcher_file.close()
wrapper._solver_file.close()
os.remove(wrapper._watcher_file.name)
os.remove(wrapper._solver_file.name)
def test_timelimit(self):
wrapper = AbstractWrapper()
data = Data()
wrapper.data = data
data.tmp_dir = "."
data.runsolver = self.runsolver
data.mem_limit = 500 # mb
data.cutoff = 1
target_cmd = "python test/test_resources/pi.py"
wrapper.call_target(target_cmd)
wrapper.read_runsolver_output()
self.assertEqual(wrapper.data.status, "TIMEOUT")
self.assertNotEqual(wrapper.data.additional,
" memory limit was exceeded")
wrapper._watcher_file.close()
wrapper._solver_file.close()
os.remove(wrapper._watcher_file.name)
os.remove(wrapper._solver_file.name)
def __init__(self):
'''
Constructor
'''
logging.basicConfig()
AbstractWrapper.__init__(self)
self.parser.add_argument(
"--sol-file",
dest="solubility_file",
default=None,
help="File with \"<instance> {SATISFIABLE|UNSATISFIABLE|UNKNOWN}\" "
)
self.parser.add_argument("--sat-checker",
dest="sat_checker",
default=None,
help="binary of SAT checker")
self._instance = ""
self._instance = ""
self.inst_specific = None
def __init__(self):
AbstractWrapper.__init__(self)
self._return_value = None
def __init__(self):
logging.basicConfig()
AbstractWrapper.__init__(self)
self._return_value = None
def __init__(self):
logging.basicConfig()
AbstractWrapper.__init__(self)
self._return_value = None