Skip to content

Commit

Permalink
working on scripts
Browse files Browse the repository at this point in the history
  • Loading branch information
tutugordillo committed Jan 7, 2025
1 parent bdd5bfa commit dfb76c9
Showing 1 changed file with 17 additions and 10 deletions.
27 changes: 17 additions & 10 deletions scripts/run_experiments.sh
Original file line number Diff line number Diff line change
Expand Up @@ -38,20 +38,27 @@ find "$DIRECTORIO_BASE" -type f -name "*standard_input.json" | while read -r yul

# python3 extract_info.py "$yul_dir"

python3 replace_bytecode_test.py "$yul_dir/test" "$yul_dir/$yul_base.log"

echo "python3 replace_bytecode_test.py $yul_dir/test $yul_dir/$yul_base.log"
if [ -f "/ruta/al/directorio/nombre_del_archivo" ]; then

python3 replace_bytecode_test.py "$yul_dir/test" "$yul_dir/$yul_base.log"

/Users/pablo/Repositorios/ethereum/solidity/build/test/tools/testrunner /Users/pablo/Repositorios/ethereum/evmone/build/lib/libevmone.dylib $yul_dir/test $yul_dir/resultOriginal.json
echo "python3 replace_bytecode_test.py $yul_dir/test $yul_dir/$yul_base.log"

/Users/pablo/Repositorios/ethereum/solidity/build/test/tools/testrunner /Users/pablo/Repositorios/ethereum/evmone/build/lib/libevmone.dylib $yul_dir/test_grey $yul_dir/resultGrey.json
/Users/pablo/Repositorios/ethereum/solidity/build/test/tools/testrunner /Users/pablo/Repositorios/ethereum/evmone/build/lib/libevmone.dylib $yul_dir/test $yul_dir/resultOriginal.json

if diff $yul_dir/resultOriginal.json $yul_dir/resultGrey.json > /dev/null; then
echo "[RES]: Test passed."
else
echo "[RES]: Test failed."
fi

/Users/pablo/Repositorios/ethereum/solidity/build/test/tools/testrunner /Users/pablo/Repositorios/ethereum/evmone/build/lib/libevmone.dylib $yul_dir/test_grey $yul_dir/resultGrey.json

if diff $yul_dir/resultOriginal.json $yul_dir/resultGrey.json > /dev/null; then
echo "[RES]: Test passed."
else
echo "[RES]: Test failed."
fi

else
echo "Test not found"

fi

echo "*************************************"

Expand Down

0 comments on commit dfb76c9

Please sign in to comment.