Example #1
0
 def __init__(self, executable, breakpoint, verbose=False):
     DD.__init__(self)
     self.executable = executable
     self.breakpoint = breakpoint
     self.debug_dd = (0, 1)[verbose]
     self.verbose = (0, 1)[verbose]
     # Caching results in a memory explosion for long runs
     self.cache_outcomes = 0
Example #2
0
 def __init__(self, executable, target_args, loglevel=INFO):
     DD.__init__(self)
     self.executable = executable
     self.target_args = target_args
     if loglevel >= INFO:
         self.debug_dd = 0
         self.verbose = 0
     else:
         self.debug_dd = 1
         self.verbose = 1
     # Caching results in a memory explosion for long runs
     self.cache_outcomes = 0
Example #3
0
 def __init__(self):
     DD.__init__(self)
     self.debug_dd = 0
     self.verbose = 0
Example #4
0
 def __init__(self):
     DD.__init__(self)
     self.debug_dd = 1
     # Caching results in a memory explosion for long runs
     self.cache_outcomes = 0