-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlog.ini
126 lines (92 loc) · 3.52 KB
/
log.ini
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
rootCategory=DEBUG, console, debugLog
appender.console=ConsoleAppender
appender.console.layout=PatternLayout
appender.console.layout.ConversionPattern=%m
appender.console.threshold=WARN
appender.debugLog=FileAppender
appender.debugLog.fileName=wrapper.dbg.log
appender.debugLog.layout=PatternLayout
appender.debugLog.layout.ConversionPattern=[%d] %-5p [%-10c] %m
category.defect-summary=DEBUG, privilegedConsole
appender.privilegedConsole=ConsoleAppender
appender.privilegedConsole.layout=PatternLayout
appender.privilegedConsole.layout.ConversionPattern=%m
category.func-tracer=DEBUG, tracer
additivity.func-tracer=false
appender.tracer=FileAppender
appender.tracer.fileName=trace.log
appender.tracer.layout=PatternLayout
appender.tracer.layout.ConversionPattern=%d %m
category.module-printer=DEBUG, modulePrinter
additivity.module-printer=false
appender.modulePrinter=FileAppender
appender.modulePrinter.fileName=module-printer.log
appender.modulePrinter.layout=PatternLayout
appender.modulePrinter.layout.ConversionPattern=[%d] %-5p %m
category.ir-interpreter=DEBUG, ir-interpreter
additivity.ir-interpreter=false
appender.ir-interpreter=FileAppender
appender.ir-interpreter.fileName=ir-interpreter.log
appender.ir-interpreter.layout=PatternLayout
appender.ir-interpreter.layout.ConversionPattern=[%d] %-5p %m
category.ps-interpreter=DEBUG, ps-interpreter
additivity.ps-interpreter=false
appender.ps-interpreter=FileAppender
appender.ps-interpreter.fileName=ps-interpreter.log
appender.ps-interpreter.layout=PatternLayout
appender.ps-interpreter.layout.ConversionPattern=[%d] %-5p %m
category.domain=DEBUG, domain
additivity.domain=false
appender.domain=FileAppender
appender.domain.fileName=domain.log
appender.domain.layout=PatternLayout
appender.domain.layout.ConversionPattern=[%d] %-5p %m
category.decompiler=DEBUG, decompiler
additivity.decompiler=false
appender.decompiler=FileAppender
appender.decompiler.fileName=decompiler.log
appender.decompiler.layout=PatternLayout
appender.decompiler.layout.ConversionPattern=[%d] %-5p %m
category.z3-solver=DEBUG, Z3
additivity.z3-solver=false
appender.Z3=FileAppender
appender.Z3.fileName=z3.log
appender.Z3.layout=PatternLayout
appender.Z3.layout.ConversionPattern=[%d] %-5p %m
category.cvc4-solver=DEBUG, CVC4
additivity.cvc4-solver=false
appender.CVC4=FileAppender
appender.CVC4.fileName=cvc4.log
appender.CVC4.layout=PatternLayout
appender.CVC4.layout.ConversionPattern=[%d] %-5p %m
category.boolector-solver=DEBUG, BOOLECTOR
additivity.boolector-solver=false
appender.BOOLECTOR=FileAppender
appender.BOOLECTOR.fileName=boolector.log
appender.BOOLECTOR.layout=PatternLayout
appender.BOOLECTOR.layout.ConversionPattern=[%d] %-5p %m
category.stp-solver=DEBUG, STP
additivity.stp-solver=false
appender.STP=FileAppender
appender.STP.fileName=stp.log
appender.STP.layout=PatternLayout
appender.STP.layout.ConversionPattern=[%d] %-5p %m
category.mathsat-solver=DEBUG, MSAT
additivity.mathsat-solver=false
appender.MSAT=FileAppender
appender.MSAT.fileName=msat.log
appender.MSAT.layout=PatternLayout
appender.MSAT.layout.ConversionPattern=[%d] %-5p %m
category.portfolio-solver=DEBUG, PORTFOLIO
additivity.portfolio-solver=false
appender.PORTFOLIO=FileAppender
appender.PORTFOLIO.fileName=portfolio.log
appender.PORTFOLIO.layout=PatternLayout
appender.PORTFOLIO.layout.ConversionPattern=[%d] %-5p %m
category.wtf=DEBUG, WTF
additivity.wtf=false
appender.WTF=FileAppender
appender.WTF.fileName=wtf.log
appender.WTF.layout=PatternLayout
appender.WTF.layout.ConversionPattern=[%d] %-5p %m
category.annotator=DEBUG, debugLog