Skip to content

Commit 887776c

Browse files
committed
Updated README with detailed options for compiling smart contracts and running benchmarks
1 parent aa42ba0 commit 887776c

File tree

1 file changed

+22
-4
lines changed

1 file changed

+22
-4
lines changed

scripts/README.md

Lines changed: 22 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,14 +15,32 @@ brew install solc-select # compiler
1515
pip install -r requirements.txt
1616
```
1717

18-
Compile smart contracts into bytecode:
18+
## Compile smart contracts into bytecode
1919
```
20-
python3.11 compile-smart-contracts.py [-h] [--solidifi] [--smartbugs] [--slise] [--longest-bytecode]
20+
compile-smart-contracts.py [-h] [--solidifi] [--smartbugs] [--slise] [--longest-bytecode] [--cross-chain]
21+
```
22+
```
23+
options:
24+
--solidifi Compile SolidiFI dataset
25+
--smartbugs Compile SmartBugs dataset
26+
--slise Compile SliSE dataset
27+
--longest-bytecode Save only the longest bytecode
28+
--cross-chain Compile cross-chain dataset
2129
```
2230

23-
Run the benchmark:
31+
## Run the benchmark
32+
```
33+
run-benchmark.py [-h] [--solidifi] [--smartbugs] [--slise] [--no-analysis] [--reentrancy] [--tx-origin] [--randomness-dependency]
34+
```
2435
```
25-
python3.11 run-benchmark.py [-h] [--solidifi] [--smartbugs] [--slise] [--no-analysis] [--reentrancy] [--tx-origin] [--timestamp-dependency]
36+
options:
37+
--solidifi Run analysis on SolidiFI dataset
38+
--smartbugs Run analysis on SmartBugs dataset
39+
--slise Run analysis on SliSE dataset
40+
--no-analysis Do not run the analysis, compute only the results
41+
--reentrancy Run analysis on reentrancy contracts
42+
--tx-origin Run analysis on tx-origin contracts
43+
--randomness-dependency Run analysis on randomness-dependency contracts
2644
```
2745

2846
## Dataset used

0 commit comments

Comments
 (0)