diff --git a/.circleci/osx_install_dependencies.sh b/.circleci/osx_install_dependencies.sh index 22e14af7e..fadff605e 100755 --- a/.circleci/osx_install_dependencies.sh +++ b/.circleci/osx_install_dependencies.sh @@ -52,8 +52,8 @@ then rm -rf z3-4.8.6-x64-osx-10.14.6 # evmone - wget https://github.com/ethereum/evmone/releases/download/v0.1.0/evmone-0.1.0-darwin-x86_64.tar.gz - tar xzpf evmone-0.1.0-darwin-x86_64.tar.gz -C /usr/local - rm -f evmone-0.1.0-darwin-x86_64.tar.gz + wget https://github.com/ethereum/evmone/releases/download/v0.3.0/evmone-0.3.0-darwin-x86_64.tar.gz + tar xzpf evmone-0.3.0-darwin-x86_64.tar.gz -C /usr/local + rm -f evmone-0.3.0-darwin-x86_64.tar.gz fi diff --git a/docs/contributing.rst b/docs/contributing.rst index a78d2e5d7..6220d7d7f 100644 --- a/docs/contributing.rst +++ b/docs/contributing.rst @@ -94,7 +94,7 @@ The test system will automatically try to discover the location of the ``evmone` starting from the current directory. The required file is called ``libevmone.so`` on Linux systems, ``evmone.dll`` on Windows systems and ``libevmone.dylib`` on MacOS. If it is not found, the relevant tests are skipped. To run all tests, download the library from -`Github `_ +`Github `_ and either place it in the project root path or inside the ``deps`` folder. If you do not have libz3 installed on your system, you should disable the SMT tests: diff --git a/test/Common.h b/test/Common.h index ebbe2d2ad..bc632ff59 100644 --- a/test/Common.h +++ b/test/Common.h @@ -32,13 +32,13 @@ namespace test #ifdef _WIN32 static constexpr auto evmoneFilename = "evmone.dll"; -static constexpr auto evmoneDownloadLink = "https://github.com/ethereum/evmone/releases/download/v0.1.0/evmone-0.1.0-windows-amd64.zip"; +static constexpr auto evmoneDownloadLink = "https://github.com/ethereum/evmone/releases/download/v0.3.0/evmone-0.3.0-windows-amd64.zip"; #elif defined(__APPLE__) static constexpr auto evmoneFilename = "libevmone.dylib"; -static constexpr auto evmoneDownloadLink = "https://github.com/ethereum/evmone/releases/download/v0.1.0/evmone-0.1.0-darwin-x86_64.tar.gz"; +static constexpr auto evmoneDownloadLink = "https://github.com/ethereum/evmone/releases/download/v0.3.0/evmone-0.3.0-darwin-x86_64.tar.gz"; #else static constexpr auto evmoneFilename = "libevmone.so"; -static constexpr auto evmoneDownloadLink = "https://github.com/ethereum/evmone/releases/download/v0.1.0/evmone-0.1.0-linux-x86_64.tar.gz"; +static constexpr auto evmoneDownloadLink = "https://github.com/ethereum/evmone/releases/download/v0.3.0/evmone-0.3.0-linux-x86_64.tar.gz"; #endif