Merge pull request #7633 from ethereum/fix/tests-run

Remove macOS flag for SMT tests
2023-10-03 13:03:40 +00:00 · 2019-11-05 20:00:31 +01:00
parent 3b3d19010d c9a56d5339
commit 4cd0c84f75
1 changed files with 0 additions and 5 deletions
@@ -36,11 +36,6 @@ source "${REPO_ROOT}/scripts/common.sh"
 WORKDIR=`mktemp -d`
 CMDLINE_PID=

-if [[ "$OSTYPE" == "darwin"* ]]
-then
-    SMT_FLAGS="--no-smt"
-fi
-
 cleanup() {
    # ensure failing commands don't cause termination during cleanup (especially within safe_kill)
    set +e