cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[TMP] soltest_all.sh: Make all test runs include all cases to work around failures

Browse Source
This commit is contained in:
Kamil Śliwak 2021-10-28 20:02:15 +02:00
parent 1234f4d719
commit dbcb89c534
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.circleci/soltest_all.sh
View File

@ -43,13 +43,12 @@ printTask "Running steps $RUN_STEPS..."
STEP=1 STEP=1
# Run for ABI encoder v1, without SMTChecker tests. # Run for ABI encoder v1
if circleci_step_selected "$RUN_STEPS" "$STEP" if circleci_step_selected "$RUN_STEPS" "$STEP"
then then
EVM="${DEFAULT_EVM}" \ EVM="${DEFAULT_EVM}" \
OPTIMIZE=1 \ OPTIMIZE=1 \
ABI_ENCODER_V1=1 \ ABI_ENCODER_V1=1 \
BOOST_TEST_ARGS="-t !smtCheckerTests" \
"${REPODIR}/.circleci/soltest.sh" "${REPODIR}/.circleci/soltest.sh"
fi fi
((++STEP)) ((++STEP))
@ -63,16 +62,12 @@ do
[ "${EVM}" = "byzantium" ] && [ "${OPTIMIZE}" = "0" ] && EWASM_ARGS="--ewasm" [ "${EVM}" = "byzantium" ] && [ "${OPTIMIZE}" = "0" ] && EWASM_ARGS="--ewasm"
ENFORCE_GAS_ARGS="" ENFORCE_GAS_ARGS=""
[ "${EVM}" = "${DEFAULT_EVM}" ] && ENFORCE_GAS_ARGS="--enforce-gas-cost" [ "${EVM}" = "${DEFAULT_EVM}" ] && ENFORCE_GAS_ARGS="--enforce-gas-cost"
# Run SMTChecker tests only when OPTIMIZE == 0
DISABLE_SMTCHECKER=""
[ "${OPTIMIZE}" != "0" ] && DISABLE_SMTCHECKER="-t !smtCheckerTests"
if circleci_step_selected "$RUN_STEPS" "$STEP" if circleci_step_selected "$RUN_STEPS" "$STEP"
then then
EVM="$EVM" \ EVM="$EVM" \
OPTIMIZE="$OPTIMIZE" \ OPTIMIZE="$OPTIMIZE" \
SOLTEST_FLAGS="$SOLTEST_FLAGS $ENFORCE_GAS_ARGS $EWASM_ARGS" \ SOLTEST_FLAGS="$SOLTEST_FLAGS $ENFORCE_GAS_ARGS $EWASM_ARGS" \
BOOST_TEST_ARGS="-t !@nooptions $DISABLE_SMTCHECKER" \
"${REPODIR}/.circleci/soltest.sh" "${REPODIR}/.circleci/soltest.sh"
fi fi
((++STEP)) ((++STEP))