File tree 1 file changed +22
-5
lines changed
1 file changed +22
-5
lines changed Original file line number Diff line number Diff line change 7
7
"callSequenceLength" : 100 ,
8
8
"corpusDirectory" : " tests/medusa-corpus" ,
9
9
"coverageEnabled" : true ,
10
- "deploymentOrder" : [],
10
+ "targetContracts" : [],
11
+ "targetContractsBalances" : [],
11
12
"constructorArgs" : {},
12
13
"deployerAddress" : " 0x10000" ,
13
14
"senderAddresses" : [
24
25
"stopOnFailedContractMatching" : true ,
25
26
"stopOnNoTests" : true ,
26
27
"testAllContracts" : false ,
27
- "onlyCallFromDeploymentOrder" : false ,
28
28
"traceAll" : false ,
29
29
"assertionTesting" : {
30
30
"enabled" : true ,
31
- "testViewMethods" : false
31
+ "testViewMethods" : false ,
32
+ "panicCodeConfig" : {
33
+ "failOnCompilerInsertedPanic" : false ,
34
+ "failOnAssertion" : true ,
35
+ "failOnArithmeticUnderflow" : false ,
36
+ "failOnDivideByZero" : false ,
37
+ "failOnEnumTypeConversionOutOfBounds" : false ,
38
+ "failOnIncorrectStorageAccess" : false ,
39
+ "failOnPopEmptyArray" : false ,
40
+ "failOnOutOfBoundsArrayAccess" : false ,
41
+ "failOnAllocateTooMuchMemory" : false ,
42
+ "failOnCallUninitializedVariable" : false
43
+ }
32
44
},
33
45
"propertyTesting" : {
34
46
"enabled" : false ,
35
47
"testPrefixes" : [
36
- " fuzz_ "
48
+ " property_ "
37
49
]
38
50
},
39
51
"optimizationTesting" : {
59
71
"exportDirectory" : " " ,
60
72
"args" : []
61
73
}
74
+ },
75
+ "logging" : {
76
+ "level" : " info" ,
77
+ "logDirectory" : " " ,
78
+ "noColor" : false
62
79
}
63
- }
80
+ }
You can’t perform that action at this time.
0 commit comments