mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
146 lines
3.9 KiB
Bash
Executable File
146 lines
3.9 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
#------------------------------------------------------------------------------
|
|
# Bash script to execute the Solidity tests.
|
|
#
|
|
# The documentation for solidity is hosted at:
|
|
#
|
|
# https://docs.soliditylang.org
|
|
#
|
|
# ------------------------------------------------------------------------------
|
|
# This file is part of solidity.
|
|
#
|
|
# solidity is free software: you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation, either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# solidity is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with solidity. If not, see <http://www.gnu.org/licenses/>
|
|
#
|
|
# (c) 2016 solidity contributors.
|
|
#------------------------------------------------------------------------------
|
|
|
|
set -e
|
|
|
|
REPO_ROOT="$(dirname "$0")/.."
|
|
SOLIDITY_BUILD_DIR="${SOLIDITY_BUILD_DIR:-${REPO_ROOT}/build}"
|
|
IFS=" " read -r -a SMT_FLAGS <<< "$SMT_FLAGS"
|
|
|
|
# shellcheck source=scripts/common.sh
|
|
source "${REPO_ROOT}/scripts/common.sh"
|
|
|
|
WORKDIR=$(mktemp -d)
|
|
CMDLINE_PID=
|
|
|
|
cleanup() {
|
|
# ensure failing commands don't cause termination during cleanup (especially within safe_kill)
|
|
set +e
|
|
|
|
if [[ -n "$CMDLINE_PID" ]]
|
|
then
|
|
safe_kill "$CMDLINE_PID" "Commandline tests"
|
|
fi
|
|
|
|
echo "Cleaning up working directory ${WORKDIR} ..."
|
|
rm -rf "$WORKDIR" || true
|
|
}
|
|
trap cleanup INT TERM
|
|
|
|
if [ "$1" = --junit_report ]
|
|
then
|
|
if [ -z "$2" ]
|
|
then
|
|
echo "Usage: $0 [--junit_report <report_directory>]"
|
|
exit 1
|
|
fi
|
|
log_directory="$2"
|
|
else
|
|
log_directory=""
|
|
fi
|
|
|
|
printTask "Testing Python scripts..."
|
|
"$REPO_ROOT/test/pyscriptTests.py"
|
|
|
|
printTask "Running commandline tests..."
|
|
# Only run in parallel if this is run on CI infrastructure
|
|
if [[ -n "$CI" ]]
|
|
then
|
|
"$REPO_ROOT/test/cmdlineTests.sh" &
|
|
CMDLINE_PID=$!
|
|
else
|
|
if ! "$REPO_ROOT/test/cmdlineTests.sh"
|
|
then
|
|
printError "Commandline tests FAILED"
|
|
exit 1
|
|
fi
|
|
fi
|
|
|
|
|
|
EVM_VERSIONS="homestead byzantium"
|
|
|
|
if [ -z "$CI" ]
|
|
then
|
|
EVM_VERSIONS+=" constantinople petersburg istanbul berlin"
|
|
fi
|
|
|
|
# And then run the Solidity unit-tests in the matrix combination of optimizer / no optimizer
|
|
# and homestead / byzantium VM
|
|
for optimize in "" "--optimize"
|
|
do
|
|
for vm in $EVM_VERSIONS
|
|
do
|
|
FORCE_ABIV1_RUNS="no"
|
|
if [[ "$vm" == "berlin" ]]
|
|
then
|
|
FORCE_ABIV1_RUNS="no yes" # run both in berlin
|
|
fi
|
|
for abiv1 in $FORCE_ABIV1_RUNS
|
|
do
|
|
force_abiv1_flag=()
|
|
if [[ "$abiv1" == "yes" ]]
|
|
then
|
|
force_abiv1_flag=(--abiencoderv1)
|
|
fi
|
|
printTask "--> Running tests using $optimize --evm-version $vm ${force_abiv1_flag[*]}..."
|
|
|
|
log=()
|
|
if [ -n "$log_directory" ]
|
|
then
|
|
if [ -n "$optimize" ]
|
|
then
|
|
log+=("--logger=JUNIT,error,$log_directory/opt_$vm.xml")
|
|
else
|
|
log+=("--logger=JUNIT,error,$log_directory/noopt_$vm.xml")
|
|
fi
|
|
fi
|
|
|
|
EWASM_ARGS=""
|
|
[ "${vm}" = "byzantium" ] && [ "${optimize}" = "" ] && EWASM_ARGS="--ewasm"
|
|
|
|
set +e
|
|
"${SOLIDITY_BUILD_DIR}"/test/soltest --show-progress "${log[@]}" -- ${EWASM_ARGS} --testpath "$REPO_ROOT"/test "$optimize" --evm-version "$vm" "${SMT_FLAGS[@]}" "${force_abiv1_flag[@]}"
|
|
|
|
if test "0" -ne "$?"; then
|
|
exit 1
|
|
fi
|
|
set -e
|
|
|
|
done
|
|
done
|
|
done
|
|
|
|
if [[ -n $CMDLINE_PID ]] && ! wait $CMDLINE_PID
|
|
then
|
|
printError "Commandline tests FAILED"
|
|
CMDLINE_PID=
|
|
exit 1
|
|
fi
|
|
|
|
cleanup
|