borealis/log.tests.ini at master · vorpal-research/borealis · GitHub

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
rootCategory=DEBUG, debugLog

appender.debugLog=FileAppender
appender.debugLog.fileName=wrapper.dbg.log
appender.debugLog.layout=PatternLayout
appender.debugLog.layout.ConversionPattern=[%d] %-5p [%-5c] %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.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.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.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