forked from vorpal-research/kex
-
Notifications
You must be signed in to change notification settings - Fork 0
/
kex.ini
191 lines (159 loc) · 3.64 KB
/
kex.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
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
;suppress inspection "DuplicateKeyInSection" for whole file
[kex]
minimizeTestSuite = false
runtimeDepsPath = runtime-deps/
libPath = lib/
rtVersion = 1.8
kexRtVersion = 0.0.1
intrinsicsVersion = 0.1.2
junitVersion = 4.13.2
outputDir = temp/
useJavaRuntime = true
useKexRuntime = true
computeCoverage = true
computeCoverageSaturation = false
printDetailedCoverage = true
useReflectionInfo = false
[compile]
enabled = true
compileDir = compiled/
[testGen]
enabled = true
testsDir = tests/
defaultPackageName = example
accessLevel = private
testCaseLanguage = java
generateSetup = true
generateAssertions = true
logJUnit = true
testTimeout = 10
surroundInTryCatch = false
ignoreStatic = class java.lang.System
ignoreStatic = class kex.java.util.Arrays
ignoreStatic = package java.time.*
ignoreStatic = package org.slf4j.*
; classes won't appear in instantiationManager
; external dependencies
ignoreInstantiation = package org.junit.*
ignoreInstantiation = package org.objenesis.*
ignoreInstantiation = package net.bytebuddy.*
maxArrayLength = 1000
[mock]
enabled = true
mockitoVersion = 4.11.0
;rule = any
;rule = lambda
rule = unimplemented
; true -- mocks are usually needed (hot-path)
expectMocks = true
; workarounds
mockitoClassesWorkaround = true
java8WorkaroundEnabled = true
easyRandomExcludeLambdas = false
; logging
logTypeFix = false
logStackTraceTypeFix = false
[reanimator]
enabled = true
maxStackSize = 5
useSetters = false
maxQuerySize = 1000
maxSearchDepth = 1000
maxGenerationDepth = 100
maxConversionDepth = 10
useRecursiveConstructors = false
ignoreSyntheticObjects = true
[easy-random]
seed = 3735928559
depth = 10
minCollectionSize = 0
maxCollectionSize = 10
minStringLength = 0
maxStringLength = 10
generationAttempts = 100
ignoreErrors = true
bypassSetters = true
ignoreFieldInitializationErrors = true
exclude = class java.sql.SQLException
exclude = package com.sun.xml.*
exclude = package com.fasterxml.jackson.*
exclude = package sun.*
exclude = package com.github.luben.*
exclude = package org.vorpal.research.smt.*
exclude = package net.sf.saxon.*
exclude = class java.lang.Thread
exclude = class io.netty.buffer.UnpooledHeapByteBuf
exclude = class java.util.zip.ZipFile
exclude = class io.netty.buffer.ByteBuf
[symbolic]
timeLimit = 120
numberOfExecutors = 8
numberOfConcreteMethods = 3
searchStrategy = sgs
n = 8
[concolic]
timeLimit = 120
numberOfExecutors = 1
searchStrategy = coverage
[crash]
timeLimit = 600
numberOfExecutors = 8
[random-runner]
enabled = false
attempts = 10
[inliner]
enabled = true
depth = 5
irInlining = false
ignore = class org.vorpal.research.kex.test.Intrinsics
ignore = class kotlin.jvm.internal.Intrinsics
ignoreStatic = class org.apache.commons.math.exception.util.LocalizedFormats
[annotations]
enabled = true
path = annotations/
printAnnotationInfo = false
[loop]
derollCount = 1
maxDerollCount = 1
useBackstabbing = false
[smt]
engine = ksmt
timeout = 20
defaultAllocationSize = 512
psInlining = true
memspacing = false
slicing = false
logQuery = false
logFormulae = false
logSMTLib = false
simplifyFormulae = false
useADSolver = false
[ksmt]
solver = z3
solver = cvc5
solver = bitwuzla
; solver = yices
runners = 1
seed = 42
[view]
dot = /usr/bin/dot
viewer = /usr/bin/firefox
[debug]
saveInstrumentedCode = false
saveCompiledCode = true
dumpDirectory = fails
[defect]
outputFile = defects.json
[executor]
;executorPath = kex-executor/target/kex-executor-0.0.1-jar-with-dependencies.jar
;executorConfigPath = kex.ini
;executorPolicyPath = kex.policy
numberOfWorkers = 1
masterJvmParams = -Xmx2g
workerJvmParams = -Xmx4g
connectionTimeout = 100
communicationTimeout = 100
[gui]
enabled = false
serverPort = 8080
serverTimeout = 20