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 __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