def __init__(self, runner, args):
BaseProcessor.__init__(self, runner, args)
def __init__(self, runner, args):
BaseProcessor.__init__(self, runner, args)
self.runner = runner
self.storage = DummyStorage() if DEVELOPMENT else S3Storage()
def __init__(self, runner, args):
BaseProcessor.__init__(self, runner, args)
self.source_file = runner.temp_code_file
self.klee_result_dir = os.path.join(runner.tempdir, 'klee-out-0')
def __init__(self, runner, args):
BaseProcessor.__init__(self, runner, args)
def __init__(self, runner, args):
BaseProcessor.__init__(self, runner, args)
self.runner = runner
self.storage = DummyStorage() if DEVELOPMENT else S3Storage()