File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -137,10 +137,10 @@ def map_file_names_to_ids(sorted_data, index_path):
137137def build_evmlisa ():
138138 print ("[EVMLISA] Building EVMLiSA..." )
139139 command = (
140- f"cd ../../ && "
140+ f"cd ../../../ && "
141141 f"./gradlew build > /dev/null 2> /dev/null && "
142142 f"./gradlew distZip > /dev/null 2> /dev/null && "
143- f"unzip -o build/distributions/evm-lisa.zip -d script- python/journal/execution > /dev/null"
143+ f"unzip -o build/distributions/evm-lisa.zip -d scripts/ python/journal/execution > /dev/null"
144144 )
145145 subprocess .run (command , shell = True , check = True )
146146 print ("[EVMLISA] EVMLiSA built successfully." )
@@ -161,11 +161,11 @@ def run_evmlisa(bytecode_file, result_evmlisa_dir):
161161
162162 command = (
163163 f"./execution/evm-lisa/bin/evm-lisa "
164- f"--filepath { bytecode_file } "
164+ f"--filepath-bytecode { bytecode_file } "
165165 f"--stack-size 40 "
166166 f"--stack-set-size 15 "
167167 f"--creation-code "
168- f"--reentrancy- checker "
168+ f"--checker-reentrancy "
169169 f"--link-unsound-jumps-to-all-jumpdest "
170170 # f"--dump-report "
171171 # f"--output {os.path.splitext(bytecode_filename)[0]}"
You can’t perform that action at this time.
0 commit comments