Example #1
0
 def __init__(self, runner, args):
     BaseProcessor.__init__(self, runner, args)
Example #2
0
 def __init__(self, runner, args):
     BaseProcessor.__init__(self, runner, args)
     self.runner = runner
     self.storage = DummyStorage() if DEVELOPMENT else S3Storage()
Example #3
0
 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')
Example #4
0
 def __init__(self, runner, args):
     BaseProcessor.__init__(self, runner, args)
Example #5
0
 def __init__(self, runner, args):
     BaseProcessor.__init__(self, runner, args)
     self.runner = runner
     self.storage = DummyStorage() if DEVELOPMENT else S3Storage()