DeepMutation/config at master · micheletufano/DeepMutation · 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
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
# Configuration file example.

################## Paths #####################
# Path to output directory
output.path=data/out/Chart/1f/

# Path to the project directory
project.path=data/in/Chart/1f/

# Path to the src root directory
source.path=data/in/Chart/1f/source/

# Path to lib directory
library.path=spoonLibs/Chart/

# Path to libWrapper.so (generated post-build)
wrapper.library.file=dist/libWrapper.so

# Path to model directories (comma-separated)
model.paths=models/50len_ident_lit/

# Path to idioms.csv
idioms.file=models/idioms.csv

# (Optional) Path to list of input methods
#input.methods.file=data/methods.input

############## MethodExtractor ###############
extractor.enable=true

# Project SDK
compliance.level=4

#
compiled=true

############## MethodAbstractor ##############
abstractor.enable=true

# Maximum number of tokens of an extracted method
token.threshold=50

############## MethodMutator #################
mutator.enable=true

# python3 command
python=python3

# verbose
verbose=false

# Use beam search
use.beams=false

# Number of beams
num.beams=5

############# MutantTranslator ###############
translator.enable=true

############## MutantTester ##################
tester.enable=true

# Enable parallel testing
max.threads=8

# Compile command
compile.command=defects4j compile

# Test command
test.command=defects4j test

# Timeout per command (in seconds)
timeout=300

# Remove project copies after testing
clean.up=true

# Baseline is established by running the provided
# commands on a copy of the original project.
# Success/failure is determined by a string diff.
use.baseline=false

# Alternatively, set fail strings that appear in
# command output (comma-separated)
compile.fail.strings=FAIL
test.fail.strings=FAIL,Failing