forked from vorpal-research/kex
-
Notifications
You must be signed in to change notification settings - Fork 0
/
kex-test.ini
140 lines (114 loc) · 2.43 KB
/
kex-test.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
;suppress inspection "DuplicateKeyInSection" for whole file
[kex]
runtimeDepsPath = ../runtime-deps/
libPath = lib/
kexRtVersion = 0.0.1
intrinsicsVersion = 0.1.2
junitVersion = 4.13.2
outputDir = ../test-temp/
useJavaRuntime = true
useKexRuntime = true
[compile]
compileDir = compiled/
[testGen]
enabled = true
accessLevel = public
testCaseLanguage = java
generateSetup = true
generateAssertions = true
logJUnit = true
surroundInTryCatch = false
ignoreInstantiation = package org.junit.*
ignoreInstantiation = package org.objenesis.*
ignoreInstantiation = package net.bytebuddy.*
ignoreInstantiation = package org.mockito.*
[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 = true
; extra logging
logTypeFix = false
logStackTraceTypeFix = false
; for testing
zeroCoverageEpsilon = false
[reanimator]
enabled = true
maxStackSize = 5
useSetters = false
maxQuerySize = 1000
maxSearchDepth = 1000
maxGenerationDepth = 100
maxConversionDepth = 10
[easy-random]
seed = 12345
depth = 10
minCollectionSize = 0
maxCollectionSize = 100
minStringLength = 0
maxStringLength = 100
generationAttempts = 100
[executor]
executorPath = ../kex-executor/target/kex-executor-0.0.10-jar-with-dependencies.jar
executorConfigPath = ../kex-test.ini
executorPolicyPath = ../kex.policy
numberOfWorkers = 1
masterJvmParams = -Xmx2g
workerJvmParams = -Xmx2g
[inliner]
enabled = true
depth = 5
irInlining = false
ignore = class org.vorpal.research.kex.test.Intrinsics
ignore = class kotlin.jvm.internal.Intrinsics
[symbolic]
timeLimit = 300
numberOfExecutors = 1
numberOfConcreteMethods = 5
[concolic]
timeLimit = 300
numberOfExecutors = 1
searchStrategy = coverage
[crash]
timeLimit = 100
numberOfExecutors = 3
[annotations]
enabled = true
path = annotations/
printAnnotationInfo = false
[loop]
derollCount = 3
maxDerollCount = 0
useBackstabbing = false
[smt]
engine = ksmt
timeout = 100
defaultAllocationSize = 512
psInlining = true
memspacing = false
slicing = false
logQuery = true
logFormulae = false
logSMTLib = false
simplifyFormulae = true
[ksmt]
solver = z3
; solver = cvc5
; solver = bitwuzla
; solver = yices
runners = 1
seed = 42
[debug]
saveInstrumentedCode = false
saveCompiledCode = true
dumpDirectory = fails
[view]
dot = /usr/bin/dot
viewer = /usr/bin/firefox