102 lines
1.8 KiB
INI
102 lines
1.8 KiB
INI
[loggers]
|
|
keys=root,D810,D810Ui,D810Optimizer,D810RulesChain,D810PatternSearch,D810BranchFixer,D810Unflat,D810Tracker,D810Emulator,D810Helper,D810Z3Test
|
|
|
|
[handlers]
|
|
keys=consoleHandler,defaultFileHandler,z3FileHandler
|
|
|
|
[formatters]
|
|
keys=defaultFormatter,rawFormatter
|
|
|
|
[logger_root]
|
|
level=DEBUG
|
|
handlers=consoleHandler
|
|
|
|
[logger_D810]
|
|
level=DEBUG
|
|
handlers=consoleHandler,defaultFileHandler
|
|
qualname=D810
|
|
propagate=0
|
|
|
|
[logger_D810Ui]
|
|
level=ERROR
|
|
handlers=defaultFileHandler
|
|
qualname=D810.ui
|
|
propagate=0
|
|
|
|
[logger_D810Optimizer]
|
|
level=INFO
|
|
handlers=defaultFileHandler
|
|
qualname=D810.optimizer
|
|
propagate=0
|
|
|
|
[logger_D810RulesChain]
|
|
level=INFO
|
|
handlers=defaultFileHandler
|
|
qualname=D810.chain
|
|
propagate=0
|
|
|
|
[logger_D810BranchFixer]
|
|
level=INFO
|
|
handlers=defaultFileHandler
|
|
qualname=D810.branch_fixer
|
|
propagate=0
|
|
|
|
[logger_D810Unflat]
|
|
level=INFO
|
|
handlers=defaultFileHandler
|
|
qualname=D810.unflat
|
|
propagate=0
|
|
|
|
[logger_D810Tracker]
|
|
level=INFO
|
|
handlers=defaultFileHandler
|
|
qualname=D810.tracker
|
|
propagate=0
|
|
|
|
[logger_D810Emulator]
|
|
level=WARNING
|
|
handlers=defaultFileHandler
|
|
qualname=D810.emulator
|
|
propagate=0
|
|
|
|
[logger_D810Helper]
|
|
level=INFO
|
|
handlers=defaultFileHandler
|
|
qualname=D810.helper
|
|
propagate=0
|
|
|
|
[logger_D810PatternSearch]
|
|
level=ERROR
|
|
handlers=defaultFileHandler
|
|
qualname=D810.pattern_search
|
|
propagate=0
|
|
|
|
[logger_D810Z3Test]
|
|
level=INFO
|
|
handlers=z3FileHandler
|
|
qualname=D810.z3_test
|
|
propagate=0
|
|
|
|
[handler_consoleHandler]
|
|
class=StreamHandler
|
|
level=INFO
|
|
formatter=defaultFormatter
|
|
args=(sys.stdout,)
|
|
|
|
[handler_defaultFileHandler]
|
|
class=FileHandler
|
|
level=DEBUG
|
|
formatter=defaultFormatter
|
|
args=('%(default_log_filename)s',)
|
|
|
|
[handler_z3FileHandler]
|
|
class=FileHandler
|
|
level=DEBUG
|
|
formatter=rawFormatter
|
|
args=('%(z3_log_filename)s',)
|
|
|
|
[formatter_defaultFormatter]
|
|
format=%(asctime)s - %(name)s - %(levelname)s - %(message)s
|
|
|
|
[formatter_rawFormatter]
|
|
format=%(message)s |