Skip to content

Commit dcb2651

Browse files
gustavo-griecogustavo-grieco
committed
format
1 parent 1699de7 commit dcb2651

File tree

6 files changed

+201
-223
lines changed

6 files changed

+201
-223
lines changed

‎.github/workflows/medusa.yml‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -153,16 +153,16 @@ jobs:
153153
- name: Go setup
154154
uses: actions/setup-go@v4
155155
with:
156-
go-version: "^1.18.1"
156+
go-version: "^1.18.1"
157157

158158
- name: Install medusa
159159
run: |
160-
git clone https://github.com/crytic/medusa.git
161-
cd medusa
162-
go build -o medusa -v .
163-
go install -v .
164-
sudo cp medusa /usr/bin
165-
pip install crytic-compile solc-select
160+
git clone https://github.com/crytic/medusa.git
161+
cd medusa
162+
go build -o medusa -v .
163+
go install -v .
164+
sudo cp medusa /usr/bin
165+
pip install crytic-compile solc-select
166166
167167
- name: Run Medusa
168168
continue-on-error: true
@@ -181,4 +181,4 @@ jobs:
181181
echo "Output mismatch. Expected something matching '${{ matrix.expected }}'. Got the following:"
182182
cat "${{ matrix.files }}.out"
183183
exit 1
184-
fi
184+
fi

‎program-analysis/echidna/example/medusa.json‎

Lines changed: 71 additions & 79 deletions
Original file line numberDiff line numberDiff line change
@@ -1,80 +1,72 @@
11
{
2-
"fuzzing": {
3-
"workers": 10,
4-
"workerResetLimit": 50,
5-
"timeout": 0,
6-
"testLimit": 0,
7-
"callSequenceLength": 100,
8-
"corpusDirectory": "",
9-
"coverageEnabled": true,
10-
"targetContracts": [],
11-
"targetContractsBalances": [],
12-
"constructorArgs": {},
13-
"deployerAddress": "0x30000",
14-
"senderAddresses": [
15-
"0x10000",
16-
"0x20000",
17-
"0x30000"
18-
],
19-
"blockNumberDelayMax": 60480,
20-
"blockTimestampDelayMax": 604800,
21-
"blockGasLimit": 125000000,
22-
"transactionGasLimit": 12500000,
23-
"testing": {
24-
"stopOnFailedTest": true,
25-
"stopOnFailedContractMatching": false,
26-
"stopOnNoTests": true,
27-
"testAllContracts": false,
28-
"traceAll": false,
29-
"assertionTesting": {
30-
"enabled": true,
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-
}
44-
},
45-
"propertyTesting": {
46-
"enabled": true,
47-
"testPrefixes": [
48-
"echidna_"
49-
]
50-
},
51-
"optimizationTesting": {
52-
"enabled": false,
53-
"testPrefixes": [
54-
"optimize_"
55-
]
56-
}
57-
},
58-
"chainConfig": {
59-
"codeSizeCheckDisabled": true,
60-
"cheatCodes": {
61-
"cheatCodesEnabled": true,
62-
"enableFFI": false
63-
}
64-
}
65-
},
66-
"compilation": {
67-
"platform": "crytic-compile",
68-
"platformConfig": {
69-
"target": ".",
70-
"solcVersion": "",
71-
"exportDirectory": "",
72-
"args": []
73-
}
74-
},
75-
"logging": {
76-
"level": "info",
77-
"logDirectory": "",
78-
"noColor": false
79-
}
80-
}
2+
"fuzzing": {
3+
"workers": 10,
4+
"workerResetLimit": 50,
5+
"timeout": 0,
6+
"testLimit": 0,
7+
"callSequenceLength": 100,
8+
"corpusDirectory": "",
9+
"coverageEnabled": true,
10+
"targetContracts": [],
11+
"targetContractsBalances": [],
12+
"constructorArgs": {},
13+
"deployerAddress": "0x30000",
14+
"senderAddresses": ["0x10000", "0x20000", "0x30000"],
15+
"blockNumberDelayMax": 60480,
16+
"blockTimestampDelayMax": 604800,
17+
"blockGasLimit": 125000000,
18+
"transactionGasLimit": 12500000,
19+
"testing": {
20+
"stopOnFailedTest": true,
21+
"stopOnFailedContractMatching": false,
22+
"stopOnNoTests": true,
23+
"testAllContracts": false,
24+
"traceAll": false,
25+
"assertionTesting": {
26+
"enabled": true,
27+
"testViewMethods": false,
28+
"panicCodeConfig": {
29+
"failOnCompilerInsertedPanic": false,
30+
"failOnAssertion": true,
31+
"failOnArithmeticUnderflow": false,
32+
"failOnDivideByZero": false,
33+
"failOnEnumTypeConversionOutOfBounds": false,
34+
"failOnIncorrectStorageAccess": false,
35+
"failOnPopEmptyArray": false,
36+
"failOnOutOfBoundsArrayAccess": false,
37+
"failOnAllocateTooMuchMemory": false,
38+
"failOnCallUninitializedVariable": false
39+
}
40+
},
41+
"propertyTesting": {
42+
"enabled": true,
43+
"testPrefixes": ["echidna_"]
44+
},
45+
"optimizationTesting": {
46+
"enabled": false,
47+
"testPrefixes": ["optimize_"]
48+
}
49+
},
50+
"chainConfig": {
51+
"codeSizeCheckDisabled": true,
52+
"cheatCodes": {
53+
"cheatCodesEnabled": true,
54+
"enableFFI": false
55+
}
56+
}
57+
},
58+
"compilation": {
59+
"platform": "crytic-compile",
60+
"platformConfig": {
61+
"target": ".",
62+
"solcVersion": "",
63+
"exportDirectory": "",
64+
"args": []
65+
}
66+
},
67+
"logging": {
68+
"level": "info",
69+
"logDirectory": "",
70+
"noColor": false
71+
}
72+
}

‎program-analysis/echidna/exercises/exercise1/medusa.json‎

Lines changed: 17 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,19 @@
11
{
2-
"fuzzing": {
3-
"testing": {
4-
"propertyTesting": {
5-
"enabled": true,
6-
"testPrefixes": [
7-
"echidna_"
8-
]
9-
}
10-
}
11-
},
12-
"compilation": {
13-
"platform": "crytic-compile",
14-
"platformConfig": {
15-
"target": ".",
16-
"solcVersion": "",
17-
"exportDirectory": "",
18-
"args": []
19-
}
20-
}
2+
"fuzzing": {
3+
"testing": {
4+
"propertyTesting": {
5+
"enabled": true,
6+
"testPrefixes": ["echidna_"]
7+
}
8+
}
9+
},
10+
"compilation": {
11+
"platform": "crytic-compile",
12+
"platformConfig": {
13+
"target": ".",
14+
"solcVersion": "",
15+
"exportDirectory": "",
16+
"args": []
17+
}
18+
}
2119
}

‎program-analysis/echidna/exercises/exercise2/medusa.json‎

Lines changed: 17 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,19 @@
11
{
2-
"fuzzing": {
3-
"testing": {
4-
"propertyTesting": {
5-
"enabled": true,
6-
"testPrefixes": [
7-
"echidna_"
8-
]
9-
}
10-
}
11-
},
12-
"compilation": {
13-
"platform": "crytic-compile",
14-
"platformConfig": {
15-
"target": ".",
16-
"solcVersion": "",
17-
"exportDirectory": "",
18-
"args": []
19-
}
20-
}
2+
"fuzzing": {
3+
"testing": {
4+
"propertyTesting": {
5+
"enabled": true,
6+
"testPrefixes": ["echidna_"]
7+
}
8+
}
9+
},
10+
"compilation": {
11+
"platform": "crytic-compile",
12+
"platformConfig": {
13+
"target": ".",
14+
"solcVersion": "",
15+
"exportDirectory": "",
16+
"args": []
17+
}
18+
}
2119
}

‎program-analysis/echidna/exercises/exercise3/medusa.json‎

Lines changed: 17 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,19 @@
11
{
2-
"fuzzing": {
3-
"testing": {
4-
"propertyTesting": {
5-
"enabled": true,
6-
"testPrefixes": [
7-
"echidna_"
8-
]
9-
}
10-
}
11-
},
12-
"compilation": {
13-
"platform": "crytic-compile",
14-
"platformConfig": {
15-
"target": ".",
16-
"solcVersion": "",
17-
"exportDirectory": "",
18-
"args": []
19-
}
20-
}
2+
"fuzzing": {
3+
"testing": {
4+
"propertyTesting": {
5+
"enabled": true,
6+
"testPrefixes": ["echidna_"]
7+
}
8+
}
9+
},
10+
"compilation": {
11+
"platform": "crytic-compile",
12+
"platformConfig": {
13+
"target": ".",
14+
"solcVersion": "",
15+
"exportDirectory": "",
16+
"args": []
17+
}
18+
}
2119
}

0 commit comments

Comments
 (0)